DSpace at VNU: Nghiên cứu ứng dụng “NModel” trong việc phát triển hệ thống nhúng thời gian thực

Nghiên cứu ứng dụng “NModel” việc phát triển hệ thống nhúng thời gian thực Nguyễn Thị Hạnh Trường Đại học Công nghệ Luận văn Thạc sĩ ngành: Kỹ thuật phần mềm; Mã số: 60 48 01 03 Người hướng dẫn: PGS.TS Đặng Văn Đức Năm bảo vệ: 2014 Keywords Công nghệ thông tin; Hệ thống nhúng thời gian thực; Tin học; Kỹ thuật phần mềm Content 1.1 Đặt vấn đề Ngày nay, hệ thống nhúng phát triển với ứng dụng rộng rãi nhiều lĩnh vực cơng nghiệp đời sống Các hệ thống nhúng có kiến trúc phần cứng phần mềm đa dạng phong phú Như biết, phát triển phần mềm hoạt động kiểm thử có vai trò quan trọng, mang tính sống sản phẩm với phần mềm nhúng ngoại lệ Sự phát triển hệ thống nhúng kéo theo yêu cầu phát triển hoạt động kiểm thử phần mềm nhúng Thông thường, cách phổ biến để kiểm thử phần mềm cho hệ thống nhúng nói chung chạy phần mềm chương trình giả lập phần cứng, chương trình giả lập vi điều khiển ảo chương trình mơ hình dung hệ thống mạch bao gồm vi điều khiển thiết bị khác Tuy nhiên nay, hệ thống nhúng Việt Nam phát triển khiêm tốn so với giới, lĩnh vực kiểm thử nhúng lại khiêm tốn Có báo, tài liệu nói hoạt động kiểm thử nhúng khơng có nhiều cơng cụ hỗ trợ cho việc kiểm thử Do đó, việc nghiên cứu tìm hiểu phương pháp, kỹ thuật kiểm thử công cụ cho phần mềm nhúng vấn đề cần thiết nay, góp phần thúc đẩy phát triển lĩnh vực hệ thống nhúng, lĩnh vực giàu tiềm bước đầu phát triển việt nam Trong luận văn này, chọn nghiên cứu kiểm thử dựa mơ hình với NModel việc phát triển phần mềm nhúng, cụ thể kiểm thử cho toán hệ thống Client/Server – thiết bị điều khiển từ xa có sử dụng cảm biến nhiệt độ 1.2 Nội dung nghiên cứu Mục tiêu luận văn: Mục tiêu đặt nghiên cứu phương pháp kiểm thử dựa mơ hình để hỗ trợ cho việc phát triển hệ thống nhúng Nhiệm vụ luận văn: Trong luận văn này, nhiệm vụ nghiên cứu ứng dụng cụ thể NModel sau áp dụng kiểm thử toán thiết bị điều khiển từ xa Client/Server Luận văn tập trung nghiên cứu khảo sát tổng quan lý thuyết hệ thống nhúng; lý thuyết phân tích kiểm thử dựa mơ hình kỹ thuật kiểm thử phần mềm; luận văn nghiên cứu loại chương trình mơ hình NModel để kiểm thử toán thiết bị điều khiển từ xa Client/Server Từ hiểu biết phân tích kiểm thử phần mềm, luận văn áp dụng quy trình phương pháp kiểm thử ngoại tuyến kiểm thử trực tuyến (on-the-fly) để kiểm thử toán Hệ thống Client/Server – thiết bị điều khiển từ xa toán hệ thống nhúng đơn giản đầy đủ, không sử dụng hệ điều hành nhúng Các chương trình viết ngơn ngữ C# kiểm thử chạy mô công cụ NModel 1.3 Tầm quan trọng kiểm thử dựa mơ hình Trong phát triển phần mềm, kiểm thử viên thường thực công việc phương pháp truyền thống nên đơi bị nhàm chán cơng việc lặp lặp lại, tốn thời gian để thực kiểm thử Do đó, kiểm thử dựa mơ hình khắc phục số vấn đề sau:  Quá trình sinh ca kiểm thử tự động nên rút ngắn thời gian làm phần mềm, chất lượng phần mềm cải thiện hơn, sinh nhiều ca kiểm thử phát nhiều lỗi  Loại bỏ nhàm chán tính chủ quan làm việc nên giúp cho kiểm thử viên hài lòng với cơng việc  Tự động tạo kiểm tra để tránh ca kiểm thử trùng khơng hữu hiệu  Khi có u cầu thay đổi hệ thống việc thay đổi ca kiểm thử việc thay đổi mơ hình hệ thống 1.4 Cấu trúc luận văn Các phần lại luận văn có cấu trúc sau: Chương trình bày tổng quan hệ thống nhúng phần mềm nhúng Chương trình bày lý thuyết phân tích kiểm thử dựa mơ hình, hệ thống với mơ hình hữu hạn Chương giới thiệu cách cài đặt cách sử dụng công cụ NModel, trình bày tốn kết thực nghiệm kiểm thử hệ thống Client/Server – thiết bị điều khiển từ xa Cuối kết luận trình nghiên cứu, đưa kết đạt được, hướng nghiên cứu References Tiếng Việt TS Lưu Hồng Việt, “Tài liệu tóm tắt giảng Hệ thống điều khiển nhúng”, Đại học Bách Khoa Hà Nội Tiếng Anh Colin Campbell, Margus Veanes, and Jonathan Jacky (2007, 2008), “NModel Reference” J A Cook J S Freudenberg (2008), “Embedded Software Architecture”, EECS 461 Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte Cambridge University Press (2008, available December 2007), “Model-based Software Testing and Analysis with C#”, Cambridge University Juhan Ernits, Margus Veanes, and Johannes Helander (June 2008), “Model-Based Testing of Robots with NModel” Juhan Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes (2009), “Model-Based Testing of Web Applications Using NModel” M Veanes, C Campbell, W Grieskamp, L Nachmanson, W Schulte, and N Tillmann (2005), Model-based testing of object-oriented reactive systems with Spec Explorer, Tech Rep MSR-TR-2005-59, Microsoft Research Preliminary version of a book chapter in the forthcoming text book Formal Methods and Testing M Broy, B Jonsson, J.-P Katoen, M Leucker, and A Pretschner (The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004), editors, Model-Based Testing of Reactive Systems Website http://nmodel.codeplex.com/ 10 http://blogs.msdn.com/b/specexplorer/archive/2009/10/27/what-is-model-basedtesting.aspx 11 http://nmodelrs.berlios.de/ 12 http://www.kiemthuphanmem.com/blogs/3/24/model-based-testing-l-g-mbt) 13 http://voer.edu.vn/c/he-dieu-hanh-cho-cac-he-thong-nhung-hdh-thoi-gianthuc/9f009757/07006533#.UzP9xc51mKE 14 http://www.testingvn.com/ ... thay đổi hệ thống việc thay đổi ca kiểm thử việc thay đổi mơ hình hệ thống 1.4 Cấu trúc luận văn Các phần lại luận văn có cấu trúc sau: Chương trình bày tổng quan hệ thống nhúng phần mềm nhúng Chương... sử dụng hệ điều hành nhúng Các chương trình viết ngơn ngữ C# kiểm thử chạy mô công cụ NModel 1.3 Tầm quan trọng kiểm thử dựa mơ hình Trong phát triển phần mềm, kiểm thử viên thường thực công việc. .. truyền thống nên đơi bị nhàm chán cơng việc lặp lặp lại, tốn thời gian để thực kiểm thử Do đó, kiểm thử dựa mơ hình khắc phục số vấn đề sau:  Quá trình sinh ca kiểm thử tự động nên rút ngắn thời gian