Nghiên cứu 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

BỘ KHOA HỌC VÀ CÔNG NGHỆ ĐẠI HỌC ĐÀ NẴNG NHIỆM VỤ HỢP TÁC QUỐC TẾ KHOA HỌC VÀ CÔNG NGHỆ THEO NGHỊ ĐỊNH THƯ BÁO CÁO TỔNG HỢP KẾT QUẢ KHOA HỌC CÔNG NGHỆ ĐỀ TÀI 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 Cơ quan chủ trì đề tài: Đại học Đà Nẵng Chủ nhiệm đề tài: TS. Nguyễn Thanh Bình Đà Nẵng - 2012 BỘ KHOA HỌC VÀ CÔNG NGHỆ ĐẠI HỌC ĐÀ NẴNG NHIỆM VỤ HỢP TÁC QUỐC TẾ KHOA HỌC VÀ CÔNG NGHỆ THEO NGHỊ ĐỊNH THƯ BÁO CÁO TỔNG HỢP KẾT QUẢ KHOA HỌC CÔNG NGHỆ ĐỀ TÀI 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 Chủ nhiệm đề tài Cơ quan chủ trì đề tài TS. Nguyễn Thanh Bình Bộ Khoa học và Công nghệ Đà Nẵng - 2012 i ĐẠI HỌC ĐÀ NẴNG __________________ CỘNG HOÀ XÃ HỘI CHỦ NGHĨA VIỆT NAM Độc lập - Tự do - Hạnh phúc Đà Nẵng, ngày 26 tháng 12 năm 2011 BÁO CÁO THỐNG KÊ KẾT QUẢ THỰC HIỆN ĐỀ TÀI I. THÔNG TIN CHUNG 1. Tên đề tài: 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 2. Chủ nhiệm đề tài/dự án: Họ và tên: Nguyễn Thanh Bình Ngày, tháng, năm sinh: 16/06/1975 Nam/ Nữ: Nam Học hàm, học vị: Tiến sỹ Chức danh khoa học: Giảng viên Chức vụ: Trưởng Khoa Điện thoại: Tổ chức: 0511 3 736 949 Nhà riêng: 0511 3 955 461 Mobile: 0914 74 79 74 E-mail: ntbinh@dut.udn.vn Tên tổ chức đang công tác: Trường Đại học Bách Khoa, Đại học Đà Nẵng Địa chỉ tổ chức: 54, Nguyễn Lương Bằng, Liên Chiểu, TP. Đà Nẵng Địa chỉ nhà riêng: Lô 202, Tổ 7, Mỹ An, Ngũ Hành Sơn, Đà Nẵng 3. Tổ chức chủ trì đề tài/dự án: Tên tổ chức chủ trì đề tài: Đại học Đà Nẵng Điện thoại: 0511 3 817 180 Fax: 0511 3 823 683 E-mail: vthung@ac.udn.vn Website: http://www.ud.edu.vn/ Địa chỉ: 41, Lê Duẩn, TP. Đà Nẵng Họ và tên thủ trưởng tổ chức: Trần Văn Nam Số tài khoản: Ngân hàng: Tên cơ quan chủ quản đề tài: Đại học Đà Nẵng ii II. TÌNH HÌNH THỰC HIỆN 1. Thời gian thực hiện đề tài/dự án: - Theo Hợp đồng đã ký kết: từ tháng 01/2010 đến tháng 12/2011 - Thực tế thực hiện: từ tháng 01/2010 đến tháng 12/2011 2. Kinh phí và sử dụng kinh phí: a) Tổng số kinh phí thực hiện: 950 tr.đ, trong đó: + Kính phí hỗ trợ từ SNKH: 950 tr.đ. + Kinh phí từ các nguồn khác (của đối tác nước ngoài): 16.000 USD. b) Tình hình cấp và sử dụng kinh phí từ nguồn SNKH: Số TT Theo kế hoạch Thực tế đạt được Ghi chú (Số đề nghị quyết toán) Thời gian (Tháng, năm) Kinh phí (Tr.đ) Thời gian (Tháng, năm) Kinh phí (Tr.đ) 1 01/2010 700 05/2010 700 700 2 01/2011 250 11/2011 250 250 c) Kết quả sử dụng kinh phí theo các khoản chi: Đối với đề tài: Đơn vị tính: Triệu đồng Số TT Nội dung các khoản chi Theo kế hoạch Thực tế đạt được Tổng SNK H Nguồn khác Tổng SNKH Nguồn khác 1 Trả công lao động (khoa học, phổ thông) 450 450 450 450 2 Nguyên, vật liệu, năng lượng 40 40 40 40 3 Thiết bị, máy móc 62 62 68,2 68,2 4 Đoàn ra 140 140 129,045 129,045 5 Đoàn vào 92 92 92 92 6 Chi khác 166 166 170,755 170,755 Tổng cộng 950 950 950 950 - Lý do thay đổi (nếu có): 1. Thiết bị máy móc: Do giá thực tế khi mua cao hơn so với giá lúc dự toán. iii 2. Đoàn ra: Thay đổi số lượng người tham gia đoàn ra. 3. Các văn bản hành chính trong quá trình thực hiện đề tài/dự án: (Liệt kê các quyết định, văn bản của cơ quan quản lý từ công đoạn xác định nhiệm vụ, xét chọn, phê duyệt kinh phí, hợp đồng, điều chỉnh (thời gian, nội dung, kinh phí thực hiện nếu có); văn bản của tổ chức chủ trì đề tài, dự án (đơn, kiến nghị điều chỉnh nếu có) Số TT Số, thời gian ban hành văn bản Tên văn bản Ghi chú 1 2615/QĐ- BKHCN, 2009 Về việc phê duyệt danh mục và kinh phí thực hiện các nhiệm vụ hợp tác quốc tế về Khoa học và Công nghệ theo Nghị định thư từ năm 2010 2 05/2010/HĐ- NĐT, 2010 Hợp đồng thực hiện nhiệm vụ hợp tác quốc tế về Khoa học và Công nghệ theo Nghị định thư 4. Tổ chức phối hợp thực hiện đề tài, dự án: Số TT Tên tổ chức đăng ký theo Thuyết minh Tên tổ chức đã tham gia thực hiện Nội dung tham gia chủ yếu Sản phẩm chủ yếu đạt được Ghi chú* 1 Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng Tham gia nghiên cứu đề tài và phát triển phần mềm Báo cáo, bài báo, đào tạo, phần mềm 2 Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội Tham gia nghiên cứu đề tài Báo cáo 3 Khoa Tin học, Trường Đại học sư phạm Huế Khoa Tin học, Trường Đại học sư phạm Huế Tham gia nghiên cứu đề tài Báo cáo iv 4 Phòng nghiên cứu LCIS, Viện Đại học Bách khoa Grenoble Phòng nghiên cứu LCIS, Viện Đại học Bách khoa Grenoble Cung cấp công cụ, hỗ trợ cùng nghiên cứu và phát triển phần mềm Bài báo, đào tạo, phần mềm 5. Cá nhân tham gia thực hiện đề tài, dự án: (Người tham gia thực hiện đề tài thuộc tổ chức chủ trì và cơ quan phối hợp, không quá 10 người kể cả chủ nhiệm) Số TT Tên cá nhân đăng ký theo Thuyết minh Tên cá nhân đã tham gia thực hiện Nội dung tham gia chính Sản phẩm chủ yếu đạt được Ghi chú* 1 TS. Nguyễn Thanh Bình TS. Nguyễn Thanh Bình Chủ trì nghiên cứu Bài báo, Đào tạo, Phần mềm 2 ThS. Đặng Thiên Bình ThS. Đặng Thiên Bình Tham gia nghiên cứu, viết phần mềm Bài báo, Phần mềm 3 TS. Đặng Văn Hưng TS. Đặng Văn Hưng Tham gia nghiên cứu Báo cáo 4 ThS. Nguyễn Văn Khang ThS. Nguyễn Văn Khang Tham gia nghiên cứu Báo cáo 5 ThS. Trịnh Công Duy ThS. Trịnh Công Duy Tham gia nghiên cứu, viết phần mềm Phần mềm 6. Tình hình hợp tác quốc tế: Số TT Theo kế hoạch (Nội dung, thời gian, kinh phí, địa điểm, tên tổ chức hợp tác, số đoàn, số lượng người tham gia ) Thực tế đạt được (Nội dung, thời gian, kinh phí, địa điểm, tên tổ chức hợp tác, số đoàn, số lượng người tham gia ) Ghi chú* 1 Trao đổi, tiếp nhận công cụ SATAN, 6/2010, Kinh phí 40,000,000đ, Phòng thí nghiệm LCIS, Valence, Pháp, 01 đoàn ra, 02 người. Trao đổi, tiếp nhận công cụ SATAN, 6/2010, Kinh phí 35,606,000đ, Phòng thí nghiệm LCIS, Valence, Pháp, 01 đoàn ra, 01 người. 2 Triển khai và chuyển giao kết quả mở rộng công cụ Triển khai và thực hiện mở rộng công cụ SATAN, v SATAN, 01/2012, Kinh phí 100,000,000đ, Phòng thí nghiệm LCIS, Valence, Pháp, 01 đoàn ra, 02 người. 01/2012, Kinh phí 93,439,000đ, Phòng thí nghiệm LCIS, Valence, Pháp, 01 đoàn ra, 02 người. 3 Trao đổi về triển khai đề tài, Kinh phí 62,000,000đ, 09/2010, Phòng thí nghiệm DATIC, Đà Nẵng, 01 đoàn vào, 02 người. Trao đổi về triển khai đề tài, Kinh phí 64,56,000đ, 12/2010, Phòng thí nghiệm DATIC, Đà Nẵng, 01 đoàn vào, 03 người. 4 Tư vấn kết quả thực hiện đề tài, Kinh phí 30,000,000đ, 12/2011, Phòng thí nghiệm DATIC, Đà Nẵng, 01 đoàn vào, 02 người. Tư vấn kết quả thực hiện đề tài, Kinh phí 30,000,000đ, 12/2011, Phòng thí nghiệm DATIC, Đà Nẵng, 01 đoàn vào, 01 người. 7. Tình hình tổ chức hội thảo, hội nghị: Số TT Theo kế hoạch (Nội dung, thời gian, kinh phí, địa điểm ) Thực tế đạt được (Nội dung, thời gian, kinh phí, địa điểm ) Ghi chú* 1 Kiểm thử và phân tích khả năng kiểm thử phần mềm, 6/2011, 23 triệu đồng, Phòng thí nghiệm DATIC, Đà Nẵng Kiểm thử và phân tích khả năng kiểm thử phần mềm, 11/2011, 23 triệu đồng, Phòng thí nghiệm DATIC, Đà Nẵng 8. Tóm tắt các nội dung, công việc chủ yếu: (Nêu tại mục 15 của thuyết minh, không bao gồm: Hội thảo khoa học, điều tra khảo sát trong nước và nước ngoài) Số TT Các nội dung, công việc chủ yếu (Các mốc đánh giá chủ yếu) Thời gian (Bắt đầu, kết thúc - tháng … năm) Người, cơ quan thực hiện Theo kế hoạch Thực tế đạt được 1 Nghiên cứu và đánh giá tổng quan về các kỹ thuật phân tích khả năng kiểm thử hiện có. 1/1/2010 - 30/03/2010 1/1/2010 - 30/03/2010 Đặng Văn Hưng, Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội Nguyễn Thanh Bình, Phòng thí nghiệm DATIC. vi Nguy ễn Văn Khang, Khoa Tin học, Trường Đại học Sư phạm Huế 2 Nghiên cứu công cụ phân tích khả năng kiểm thử SATAN. 01/04/2010 - 30/05/2010 01/04/2010 - 30/05/2010 Trịnh Công Duy, Đặng Thiên Bình, Phòng thí nghiệm DATIC. Michel Delaunay, Phòng thí nghiệm LCIS. 3 Tiếp thu công cụ phân tích khả năng kiểm thử SATAN 01/06/2010 - 30/06/2010 01/06/2010 - 30/06/2010 Trịnh Công Duy, Đặng Thiên Bình, Nguyễn Thanh Bình, Phòng thí nghiệm DATIC. Michel Delaunay, Phòng thí nghiệm LCIS. 4 Tìm hiểu các môi trường hỗ trợ phát triển phần mềm: Simulink và Scicos. 01/07/2010 - 31/08/2010 01/07/2010 - 31/08/2010 Đặng Thiên Bình, Phòng thí nghiệm DATIC. 5 Mở rộng tính năng của công cụ SATAN để phân tích khả năng kiểm thử của các phần mềm phát triển trên môi trường mã nguồn mở Scicos. 01/09/2010 - 28/02/2011 01/09/2010 - 28/02/2011 Đặng Thiên Bình, Nguyễn Thanh Bình, Phòng thí nghiệm DATIC. Michel Delaunay, Chantal Robach, Phòng thí nghiệm LCIS. 6 Mở rộng tính năng của công cụ SATAN để phân tích khả năng kiểm thử của các phần mềm phát triển trên môi trường mã nguồn mở Simulink. 01/03/2011 - 30/10/2011 01/03/2011 - 30/09/2011 Đặng Thiên Bình, Nguyễn Thanh Bình, Phòng thí nghiệm DATIC. Michel Delaunay, Chantal Robach, Phòng thí nghiệm LCIS. 7 Thử nghiệm ứng dụng phân tích khả năng kiểm thử tại phòng thí nghiệm sản xuất tự động, Trường Đại học Bách khoa Đà Nẵng. 01/09/2011 - 30/10/2011 01/09/2011 - 30/10/2011 Đặng Thiên Bình, Nguyễn Thanh Bình, Phòng thí nghiệm DATIC. III. SẢN PHẨM KH&CN CỦA ĐỀ TÀI, DỰ ÁN 1. Sản phẩm KH&CN đã tạo ra: a) Sản phẩm vii Số TT Tên sản phẩm Yêu cầu khoa học cần đạt Số lượng, nơi công bố (Tạp chí, nhà xuất bản) Theo kế hoạch Thực tế đạt được 1 Công cụ SATAN Toàn bộ mã nguồn công cụ SATAN. Mã nguồn biên dịch và thực thi được. Tài liệu kỹ thuật về công cụ SATAN. Toàn bộ mã nguồn công cụ SATAN. Mã nguồn biên dịch và thực thi được. Tài liệu kỹ thuật về công cụ SATAN. 2 Chương trình mở rộng tính năng công cụ SATAN phân tích khả năng kiểm thử các thiết kế trong môi trường Scicos. Thiết kế rõ ràng, chặt chẽ. Mã nguồn dễ bảo trì. Được kiểm thử đầy đủ. Có tài liệu hướng dẫn sử dụng và hướng dẫn cài đặt. Tích hợp vào SATAN. Thiết kế rõ ràng, chặt chẽ. Mã nguồn dễ bảo trì. Được kiểm thử đầy đủ. Có tài liệu hướng dẫn sử dụng và hướng dẫn cài đặt. Tích hợp vào SATAN. 3 Chương trình mở rộng tính năng công cụ SATAN phân tích khả năng kiểm thử các thiết kế trong môi trường Simulink. Thiết kế rõ ràng, chặt chẽ. Mã nguồn dễ bảo trì. Được kiểm thử đầy đủ. Có tài liệu hướng dẫn sử dụng và hướng dẫn cài đặt. Tích hợp vào SATAN. Thiết kế rõ ràng, chặt chẽ. Mã nguồn dễ bảo trì. Được kiểm thử đầy đủ. Có tài liệu hướng dẫn sử dụng và hướng dẫn cài đặt. Tích hợp vào SATAN. 4 Đào tạo sau đại học Góp phần đào tạo 01 Nghiên cứu sinh và 02 học viên Cao học. Góp phần đào tạo 01 Nghiên cứu sinh và 04 học viên Cao học. 5 Bài báo khoa học 01 bài báo đăng trên kỷ yếu hội thảo khoa học quốc tế. 01 bài báo đăng 01 bài báo đăng trên tạp chí quốc tế. 02 bài báo đăng trên k ỷ yếu hội viii trên t ạp chí hoặc kỷ yếu hội thảo khoa học quốc gia. thảo khoa học quốc tế. 01 bài báo đăng trên tạp chí khoa học và công nghệ (6 trường Đại học Kỹ thuật). b) Kết quả đào tạo: Số TT Cấp đào tạo, Chuyên ngành đào tạo Số lượng Ghi chú (Thời gian kết thúc) Theo kế hoạch Thực tế đạt được 1 Thạc sỹ 02 04 2010, 2011 2 Tiến sỹ 01 01 2013 c) Thống kê danh mục sản phẩm KHCN đã được ứng dụng vào thực tế Số TT Tên kết quả đã được ứng dụng Thời gian Địa điểm (Ghi rõ tên, địa chỉ nơi ứng dụng) Kết quả sơ bộ 1 Thử nghiệm phân tích khả năng kiểm thử 2011 Phòng thí nghiệm sản xuất tự động, Trường Đại học Bách Khoa, Đà Nẵng Kết quả áp dụng mang lại thông tin hữu ích cho người kiểm thử. 2 Thử nghiệm phân tích khả năng kiểm thử 2010 Công ty Astrium, Paris, Pháp Kết quả phân tích khả năng kiểm thử tương ứng với khó khăn khi kiểm thử. 3 Thử nghiệm phân tích khả năng kiểm thử 2011 Công ty LogiGear, Việt Nam Ứng dụng công cụ SATAN. 2. Đánh giá về hiệu quả do đề tài, dự án mang lại: a) Hiệu quả về khoa học và công nghệ: Nhóm nghiên cứu DATIC phối hợp với nhóm nghiên cứu CTSYS của phòng thí nghiệm LCIS đã nắm rỏ được tình hình nghiên cứu về lĩnh vực khả năng [...]...kiểm thử trên thế giới, làm chủ và áp dụng được công cụ phân tích khả năng kiểm thử SATAN, mở rộng công cụ SATAN áp dụng cho các môi trường Simlink và Scicos Xây dựng được nhóm nghiên cứu chuyên sâu ở DATIC về khả năng kiểm thử phần mềm b) Hiệu quả về kinh tế xã hội: Kết quả nghiên cứu của đề tài có thể triển khai để đánh giá khả năng kiểm thử của các phần mềm được phát triển trong môi trường Simulink. .. và trình bày về các công trình nghiên cứu liên quan Trong chương 2, chúng tôi tập trung vào việc nghiên cứu phương pháp phân tích tính khả kiểm thử được cài đặt bởi công cụ SATAN và tính năng kỹ thuật của công cụ SATAN, nhằm chuẩn bị cho việc mở rộng công cụ trong các môi trường phát triển phần mềm khác Chương 3 giới thiệu về hai môi trường phát triển phần mềm SCICOS và SIMULINK Trong chương 4, chúng... kế và phát triển bởi phòng thí nghiệm LCIS (Laboratoire de Conception et d’Intégration de Systèmes), đã có nhiều ứng dụng trong phân tích tính khả kiểm thử phần mềm của các hệ thống phần mềm luồng dữ liệu được phát triển trong các môi trường như SCADE và GALA Trong khuôn khổ hợp tác với nhóm nghiên cứu của phòng thí nghiệm LCIS, chúng tôi nghiên cứu về công cụ SATAN và đề xuất sự mở rộng ứng dụng của. .. (lập trình) Mục tiêu của đề tài nhằm nghiên cứu tính khả kiểm thử của các phần mềm được phát triển chủ yếu cho các lĩnh vực công nghiệp, đặc biệt trong lĩnh vực hàng không Các ứng dụng thử nghiệm trong đề tài chủ yếu được cung cấp bởi các đối tác công nghiệp Nghiên cứu về tính khả kiểm thử phần mềm đã và đang được thực hiện trong lĩnh vực phần cứng, cũng như phần mềm Trong đó, công cụ SATAN (System’s... trình bày các mở rộng của công cụ SATAN nhằm có thể phân tích tính khả kiểm thử của các mô hình luồng dữ liệu được 11 thiết kế trên môi trường SCICOS và SIMULINK Chúng tôi cũng thực hiện một số thử nghiệm trên các ứng dụng cụ thể được cung cấp bởi các đối tác doanh nghiệp Chương 5 trình bày đề xuất phương pháp phân tích tính khả kiểm thử của các mô hình máy trạng thái hữu hạn và kết quả thử nghiệm 12 CHƯƠNG... thiết kế gồm hai phần: phần tính toán và phần điều khiển Phần tính toán thường được biểu diễn bởi mô hình luồng dữ liệu Phần điều khiển thường được biểu diễn bởi các mô hình máy trạng thái hữu hạn, như STATEFLOW trong SIMULINK Sự mở rộng của công cụ SATAN chỉ cho phép phân tích tính khả kiểm thử của các mô hình luồng dữ liệu trong các môi trường SCICOS và SIMULINK Trong nghiên cứu này, chúng tôi đề xuất... nghiệm 12 CHƯƠNG 1 KIỂM THỬ PHẦN MỀM VÀ PHÂN TÍCH TÍNH KHẢ KIỂM THỬ PHẦN MỀM 1.1 Giới thiệu Có nhiều đặc tính của phần mềm ảnh hưởng đến tính khả kiểm thử, chẳng hạn như khả năng hoạt động, khả năng điều khiển, khả năng phân tích, tính đơn giản, tính bền vững và khả năng dễ hiểu [1] Phần lớn các phương pháp phân tích tính khả kiểm thử được nghiên cứu dựa trên một vài trong số các đặc tính này Mỗi phương... công cụ trong các môi trường phát triển phần mềm SCICOS và SIMULINK Phương pháp phân tích tính khả kiểm thử này gồm bốn hoạt động cơ bản: − Xây dựng mô hình tính khả kiểm thử, nhằm biểu diễn luồng thông tin trong hệ thống phần mềm 10 − Tính toán các luồng thông tin dựa trên mô hình tính khả kiểm thử − Áp dụng các chiến lược kiểm thử nhằm giảm số luồng thông tin − Tính toán các độ đo tính khả kiểm thử. .. kiểm thử một phần mềm trong một ngữ cảnh kiểm thử cho trước Ngữ cảnh kiểm thử gồm các ràng buộc kiểm thử (như ngân sách cho phép và chất lượng yêu cầu), sự sử dụng các thành phần phần mềm (như mục tiêu đặc biệt hay tái sử dụng) , các tiêu chí kiểm thử áp dụng và công cụ kiểm thử được sử dụng 20 1.3.2 Phân loại các định nghĩa phân tích tính khả kiểm thử phần mềm Tất cả các định nghĩa tính khả kiểm thử. .. thiệu 69 3.2.2 Xây dựng và mô phỏng các mô hình SCICOS 70 3.2.3 Thư viện các khối SCICOS 72 3.3 Môi trường SIMULINK 73 3.3.1 Giới thiệu 73 3.3.2 Các thư viện SIMULINK 74 3.3.3 Thiết kế và mô phỏng bằng SIMULINK 75 3.4 Tổng kết chương 3 77 CHƯƠNG 4 MỞ RỘNG CÔNG CỤ SATAN CHO CÁC MÔI TRƯỜNG SIMULINK VÀ SCICOS 78 4.1 Giới thiệu . 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 2. Chủ nhiệm đề tài/dự án: Họ và. ĐỀ TÀI 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 Chủ nhiệm đề tài Cơ quan. ĐỀ TÀI 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 Cơ quan chủ trì đề