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 |