Luận văn thạc sĩ: Nghiên cứu ứng dụng NModel trong phát triển hệ thống nhúng thời gian thực

2014

74
1
0

Phí lưu trữ

30 Point

Mục lục chi tiết

LỜI CAM ĐOAN

LỜI CẢM ƠN

1. CHƯƠNG 1: ĐẶT VẤN ĐỀ

1.1. Nội dung nghiên cứu

1.2. Tầm quan trọng của kiểm thử dựa trên mô hình

1.3. Cấu trúc luận văn

2. CHƯƠNG 2: TỔNG QUAN VỀ HỆ THỐNG NHÚNG

2.1. Các khái niệm về hệ thống nhúng

2.2. Hệ thống nhúng

2.3. Hệ thời gian thực

2.4. Cấu trúc phần cứng hệ thống nhúng

2.4.1. Các thành phần cơ bản

2.4.2. Đơn vị xử lý trung tâm (CPU)

2.4.3. Bộ nhớ

2.4.4. Thiết bị ngoại vi

2.4.5. Bus địa chỉ, bus dữ liệu và bus điều khiển

3. NGHIÊN CỨU VỀ KIỂM THỬ VÀ PHÂN TÍCH DỰA TRÊN MÔ HÌNH

3.1. Khái niệm NModel

3.2. Khái niệm chương trình mô hình

3.3. Khái niệm phân tích dựa trên mô hình

3.4. Khái niệm kiểm thử dựa trên mô hình

3.5. Chương trình mô hình trong quy trình phần mềm

3.6. Hệ thống với các mô hình hữu hạn

3.7. Chương trình mô hình

3.8. Cấu trúc chương trình mô hình hợp đồng C#

3.9. Thăm dò và phân tích chương trình mô hình hữu hạn

3.10. Máy trạng thái hữu hạn (FSM-Finite State Machines)

3.11. Cấu trúc chương trình mô hình với thành phần (Composition)

3.12. Điều khiển kịch bản (Scenario control)

3.13. Kiểm thử hệ thống đóng

3.14. Tạo bộ kiểm thử (test suite) cho phương pháp kiểm thử ngoại tuyến (Offline)

3.15. Dấu vết và giới hạn

3.16. Bản khai thác kiểm thử (Test harness) và việc thực thi kiểm thử (Test execution). Hạn chế của kiểm thử ngoại tuyến

3.17. Kiểm thử các hệ thống với trạng thái phức tạp

3.18. Kiểm thử “on-the-fly”

4. XÂY DỰNG DEMO VÀ KIỂM THỬ HỆ THỐNG VỚI NMODEL

4.1. Giới thiệu NModel

4.2. Cài đặt NModel

4.3. Cách sử dụng các công cụ mpv, otg, ct

4.3.1. Công cụ mpv

4.3.2. Công cụ otg

4.3.3. Công cụ ct

4.4. Xây dựng và thực nghiệm với demo hệ thống client/server

4.5. Mô tả bài toán. Kiểm thử demo bằng NModel

4.6. Kiểm thử ngoại tuyến (Offline)

4.7. Kiểm thử on-the-fly

5. KẾT LUẬN VÀ HƯỚNG PHÁT TRIỂN

5.1. Hướng phát triển

TÀI LIỆU THAM KHẢO

Luận văn thạc sĩ vnu uet 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