Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng của công cụ SATAN, thử nghiệm ứng dụng trong môi trường Scicos và Simulink / Nguyễn Thanh Bình, TS (chủ nhiệm đề tài) , Đặng Thiên Bình, ThS; Đặng Vấn Hưng, TS; Nguyễn Văn Khang, ThS; Trịnh Công Duy, ThS. - Đà Nẵng : ĐH Đà Nẵng , 2012. - 188 tr.

   Trình bày kết quả nghiên cứu: Kiểm thử phần mềm và phân tích tính khả kiểm thử phần mềm; Phân tích tính khả kiểm thử với Satan; Môi trường Scicos và môi trường Simulink; Mở rộng công cụ Satan cho các môi trường Scicos và Simulink; Phân tích tính khả kiểm thử các mô hình máy trạng thái hữu hạn

   Tìm kiếm cơ bản    Tìm kiếm nâng cao