Luận Văn Phương pháp kiểm thử phần mềm nhúng

Mục lục
Chương 1. Mở đầu 1
1.1. Đặt vấn đề . 1
1.2. Phạm vi nghiên cứu . 1
1.3. Cấu trúc của khóa luận . 2
Chương 2. Hệthống nhúng và phần mềm nhúng . 3
2.1. Hệthống nhúng 3
2.2. Phần mềm nhúng . 5
Chương 3. Kiểm thửphần mềm và kiểm thửphần mềm nhúng 7
3.1 Kiểm thửphần mềm . 7
3.1.1. Kiểm thửphần mềm là gì? . 7
3.1.2. Kiểm thử đơn vị(unit test): 7
3.1.3. Integration Test – Kiểm thửtích hợp 8
3.1.4. System Test - Kiểm thửmức hệthống 8
3.1.5. Acceptance Test - Kiểm thửchấp nhận sản phẩm . 9
3.1.6. Regression Test - Kiểm thửhồi quy 9
3.2. Kiểm thửphần mềm nhúng 10
3.2.1. Tổng quan vềkiểm thửphần mềm nhúng 10
3.2.2. Kiểm thửbằng phương pháp chạy phần mềm trên môi trường giảlập
phần cứng . 10
3.2.3. Kiểm thửphần mềm nhúng bằng Unit Test . 11
Chương 4. Lập trình nhúng cho vi điều khiển 8051 bằng ngôn ngữC . 12
4.1. Vi điều khiển 8051 12
4.2. Lập trình C cho 8051 với trình biên dịch SDCC 13
4.2.1. Ngôn ngữC và lập trình nhúng . 13
4.2.2. Lập trình C cho 8051 14
4.2.3. Trình biên dịch SDCC 15
4.2.4. IDE cho lập trình 8051 với SDCC . 18
4.2.5. Ví dụvềlập trình C cho 8051 với SDCC và MIDE-51 19
Chương 5. Kiểm thửchương trình cho 8051 bằng công cụgiảlập . 21
5.1. Chương trình giảlập vi điều khiển “8051 series microcontroller simulator”.21
5.1.1. 8051 series microcontroller simulator . 21
5.1.2. Ví dụkiểm thửchương trình cho 8051 trên chương trình giảlập 8051
series microcontroller simulator 23
5.1.3. Nhận xét . 28
5.2. Chương trình mô phỏng hệthống mạch điện tửProteus 29
5.2.1. Giới thiệu Proteus . 29
5.2.2. Ví dụvềkiểm thửchương trình nhấp nháy Led trên Proteus . 33
5.2.3. Nhận xét . 37
Chương 6. Kiểm thửchương trình cho 8051 bằng Unit Test, sửdụng công cụ
Embedded Unit . 38
6.1. Giới thiệu Embedded Unit 38
6.2. Cải tiến đểsửdụng Embedded Unit cho lập trình C cho 8051 . 39
6.3. Ví dụkiểm thửchương trình C cho 8051 với Embedded Unit 40
6.4. Nhận xét 44
Chương 7. Kết luận 45
Phụlục . 46
Phụlục A: Kiến trúc vi điều khiển 8051 . 46
Phụlục B: Hướng dẫn sửdụng Embedded Unit . 52
Tài liệu tham khảo 55