Untitled Document
|
|
|
Số đăng ký KQ |
2012-52-175 |
|
Tên nhiệm vụ |
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 |
|
Tổ chức chủ trì |
ĐH Đà Nẵng |
|
Cơ quan chủ quản |
Bộ Giáo dục và Đào tạo |
|
Cấp quản lý nhiệm vụ |
Quốc gia |
|
Chủ nhiệm nhiệm vụ |
Nguyễn Thanh Bình, TS |
|
Cán bộ phối hợp |
Đặng Thiên Bình, ThS; Đặng Vấn Hưng, TS; Nguyễn Văn Khang, ThS; Trịnh Công Duy, ThS |
|
Lĩnh vực nghiên cứu |
2. Khoa học kỹ thuật và công nghệ |
|
Thời gian
bắt đầu |
2010 |
|
Thời gian
kết thúc |
2011 |
|
Năm viết
báo cáo |
2012 |
|
Nơi viết
báo cáo |
Đà Nẵng |
|
Số trang |
188 tr. |
|
Tóm tắt |
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ừ khoá |
Phần mềm máy tính; SATAN; Scicos; Simulink |
|
Nơi lưu trữ |
24 Lý Thường Kiệt, Hà Nội |
|
Ký hiệu kho |
9155 |
|
|
|
Trạng thái |
Đã nghiệm thu |
|
|
Tìm kiếm cơ bản Tìm kiếm nâng cao
|
Copyright © by NASATI
Tel: 04-39349923 -
Fax: 04-39349127
|
|