loading

Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái / Đoàn, Thị Thùy Linh; Đặng, Văn Hưng

Tác giả : Đoàn, Thị Thùy Linh; Đặng, Văn Hưng

Nhà xuất bản : ĐHCN

Năm xuất bản : 2012

Mô tả vật lý : 58 tr. + CD-ROM

Chủ đề : 1. Công nghệ phần mềm. 2. Kiểm thử phần mềm. 3. Kỹ thuật sinh ca. 4. Mô hình máy. 5. Thesis.

Thông tin chi tiết

Tóm tắt :

Trình bày về mô hình FSM và cách biểu diễn một FSM theo kiểu liệt kê, đồ thị hoặc dạng bảng. Ngoài ra, trình bày một số tính chất của một máy hữu hạn trạng thái. Nghiên cứu một số phương pháp xác định chuỗi kiểm chứng trạng thái của mô hình FSM.

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học Công nghệ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/42825