liên kết website
Lượt truy cập
 Lượt truy cập :  13079543
  • Kết quả thực hiện nhiệm vụ

2012-52-175

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

ĐH Đà Nẵng

Bộ Giáo dục và Đào tạo

Quốc gia

Nguyễn Thanh Bình, TS

Đặng Thiên Bình, ThS; Đặng Vấn Hưng, TS; Nguyễn Văn Khang, ThS; Trịnh Công Duy, ThS

Khoa học kỹ thuật và công nghệ

2010

2011

2012

Đà Nẵng

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

Phần mềm máy tính; SATAN; Scicos; Simulink

24 Lý Thường Kiệt, Hà Nội

9155