Nghiên Cứu Kỹ Thuật Kiểm Thử Tự Động Dựa Trên Mô Hình, Áp Dụng Trong Hệ Thống Nhúng

Tài liệu nghiên cứu Luận văn nghiên cứu kỹ thuật kiểm thử tự động dựa trên mô hình áp dụng trong hệ thống nhúng, tổng hợp lý thuyết và thực hành, cung cấp kiến thức chuyên sâu về

• Tác giả: Phạm Thị Ngọc
• Người hướng dẫn: TS. Đỗ Thị Bích Ngọc
• Trường học: Học viện Công nghệ Bưu chính Viễn thông
• Chuyên ngành: Hệ thống thông tin
• Đề tài: Nghiên Cứu Kỹ Thuật Kiểm Thử Tự Động Dựa Trên Mô Hình Trong Hệ Thống Nhúng
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2018
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CAM ĐOAN
• 1. CHƯƠNG 1: TỔNG QUAN VỀ HỆ THỐNG NHÚNG VÀ KIỂM THỬ TRONG HỆ THỐNG NHÚNG
• 1.1. Hệ thống nhúng
• 1.2. Đặc điểm của hệ thống nhúng
• 1.3. Thiết bị ngoại vi
• 1.4. Công cụ phát triển
• 1.5. Xu hướng phát triển của các hệ thống nhúng
• 1.6. Những thách thức và vấn đề còn tồn tại với hệ thống nhúng
• 1.7. Lý thuyết kiểm thử
• 1.7.1. Mục tiêu kiểm thử
• 1.7.2. Nguyên tắc kiểm thử
• 1.7.3. Nội dung các nhiệm vụ trong quá trình kiểm thử
• 1.8. Kiểm thử tự động
• 2. CHƯƠNG 2: PHƯƠNG PHÁP KIỂM THỬ DỰA TRÊN MÔ HÌNH
• 2.1. Kiểm thử dựa trên mô hình
• 2.2. Quy trình kiểm thử dựa trên mô hình
• 2.3. Thuận lợi và khó khăn của kiểm thử dựa trên mô hình
• 2.4. Các vấn đề của quá trình kiểm thử dựa trên mô hình
• 2.5. Lập mô hình cho hệ thống
• 2.6. Mô hình kiểm thử trong Simulink
• 2.7. Yêu cầu/ đặc tả của mô hình
• 2.8. Tạo ca kiểm thử từ mô hình
• 2.9. Đánh giá mức phủ của test case
• 3. CHƯƠNG 3: THỬ NGHIỆM VÀ ĐÁNH GIÁ
• 3.1. Cài đặt Matlab & Simulink toolbox
• 3.2. Áp dụng kiểm thử dựa trên mô hình vào bài toán kiểm thử mô hình điều khiển hành trình
• 3.3. Xây dựng mô hình trong Matlab
• 3.4. Sinh ca kiểm thử và thực thi và kết quả kiểm thử
• 4. CHƯƠNG 4: KẾT LUẬN
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Tổng Quan Về Kiểm Thử Tự Động Hệ Thống Nhúng Hiện Nay

Hệ thống nhúng ngày càng trở nên phổ biến, đòi hỏi các phương pháp kiểm thử tự động hệ thống nhúng hiệu quả. Kiểm thử là quá trình quan trọng để đảm bảo chất lượng và độ tin cậy của các hệ thống này. Phương pháp kiểm thử dựa trên mô hình đang nổi lên như một giải pháp tiềm năng, giúp tự động hóa quá trình kiểm thử và giảm thiểu chi phí. Tuy nhiên, việc áp dụng kiểm thử tự động trong môi trường hệ thống nhúng vẫn còn nhiều thách thức. Cần có các công cụ và kỹ thuật phù hợp để mô hình hóa hệ thống nhúng một cách chính xác và hiệu quả. Theo tài liệu gốc, "Kiểm thử tự động là một giải pháp hữu hiệu nhằm nâng cao tính chính xác và hiệu quả, cũng như giảm kinh phí và rút ngắn thời gian trong quá trình kiểm thử các sản phẩm phần mềm nói chung và các hệ thống nhúng nói riêng."

1.1. Định Nghĩa và Đặc Điểm của Hệ Thống Nhúng

Hệ thống nhúng là hệ thống chuyên dụng, tích hợp vào một hệ thống lớn hơn để thực hiện chức năng chuyên biệt. Chúng khác với máy tính đa năng ở chỗ chỉ thực hiện một hoặc một vài chức năng nhất định. Đặc điểm của hệ thống nhúng là hoạt động ổn định, tự động hóa cao và thường được tối ưu hóa về kích thước và chi phí. Ví dụ, hệ thống nhúng có thể là các thiết bị cầm tay nhỏ gọn hoặc các hệ thống lớn như đèn giao thông. Việc mô hình hóa hệ thống nhúng cần nắm bắt được các đặc điểm này.

1.2. Vai Trò Của Kiểm Thử Trong Phát Triển Hệ Thống Nhúng

Kiểm thử đóng vai trò then chốt trong việc đảm bảo chất lượng của hệ thống nhúng. Mục tiêu của kiểm thử là phát hiện lỗi và đảm bảo hệ thống hoạt động đúng theo yêu cầu. Kiểm thử giúp hoàn thiện ứng dụng phần mềm hoặc sản phẩm so với yêu cầu kinh doanh và người sử dụng. Việc xác định phạm vi kiểm tra và thiết kế các trường hợp kiểm thử hiệu quả là rất quan trọng. Kiểm thử bao phủ nhiều khía cạnh, bao gồm chức năng, hiệu suất, độ tin cậy và khả năng sử dụng.

II. Thách Thức Khi Kiểm Thử Tự Động Hệ Thống Nhúng

Việc kiểm thử tự động hệ thống nhúng đối mặt với nhiều thách thức đặc thù. Sự phức tạp của hệ thống nhúng, sự tích hợp giữa phần cứng và phần mềm, và các ràng buộc về thời gian thực đặt ra yêu cầu cao cho quá trình kiểm thử. Các phương pháp kiểm thử truyền thống có thể không phù hợp với hệ thống nhúng. Cần có các kỹ thuật kiểm thử tiên tiến, như kiểm thử dựa trên mô hình, để giải quyết những thách thức này. Việc đảm bảo độ bao phủ kiểm thử đầy đủ cũng là một vấn đề quan trọng. Theo tài liệu, "Độ phức tạp của hệ thống tăng cao do nó kết hợp nhiều lĩnh vực đa ngành, kết hợp phần cứng - mềm, trong khi các phương pháp thiết kế và kiểm tra chưa chín muồi."

2.1. Sự Phức Tạp Của Hệ Thống Nhúng và Môi Trường Kiểm Thử

Hệ thống nhúng thường có cấu trúc phức tạp, bao gồm nhiều thành phần phần cứng và phần mềm tương tác với nhau. Môi trường kiểm thử cũng có thể phức tạp, đòi hỏi phải mô phỏng các điều kiện hoạt động thực tế. Việc xây dựng mô hình kiểm thử chính xác là rất quan trọng để đảm bảo hiệu quả của quá trình kiểm thử tự động. Các công cụ mô hình hóa như Simulink có thể giúp đơn giản hóa quá trình này.

2.2. Ràng Buộc Về Thời Gian Thực và Tài Nguyên Hạn Chế

Nhiều hệ thống nhúng phải đáp ứng các ràng buộc về thời gian thực, nghĩa là phải phản hồi các sự kiện trong một khoảng thời gian nhất định. Điều này đòi hỏi các phương pháp kiểm thử phải có khả năng kiểm tra hiệu suất và độ trễ của hệ thống. Ngoài ra, hệ thống nhúng thường có tài nguyên hạn chế, như bộ nhớ và năng lượng, điều này cần được xem xét trong quá trình kiểm thử.

III. Phương Pháp Kiểm Thử Dựa Trên Mô Hình Cho Hệ Thống Nhúng

Kiểm thử dựa trên mô hình (MBT) là một phương pháp kiểm thử hiệu quả cho hệ thống nhúng. Trong MBT, các ca kiểm thử được sinh ra tự động từ một mô hình đặc tả hành vi của hệ thống. Mô hình có thể được biểu diễn bằng nhiều ngôn ngữ khác nhau, như UML hoặc mô hình trạng thái. MBT giúp tăng cường tự động hóa kiểm thử, giảm thiểu lỗi và cải thiện độ bao phủ kiểm thử. Theo tài liệu, "Kiểm thử dựa trên mô hình là một phương pháp kiểm thử, trong đó các ca kiểm thử được sinh ra từ mô hình đặc tả hành vi của hệ thống đang được kiểm thử."

3.1. Quy Trình Kiểm Thử Dựa Trên Mô Hình Chi Tiết

Quy trình kiểm thử dựa trên mô hình bao gồm các bước sau: mô hình hóa hệ thống, sinh ca kiểm thử từ mô hình, thực thi ca kiểm thử và đánh giá kết quả. Việc mô hình hóa hệ thống cần nắm bắt được các yêu cầu và đặc tả của hệ thống. Các ca kiểm thử có thể được sinh ra bằng các công cụ tự động. Kết quả kiểm thử cần được phân tích để xác định lỗi và cải thiện mô hình.

3.2. Ưu Điểm và Nhược Điểm Của Kiểm Thử Dựa Trên Mô Hình

Kiểm thử dựa trên mô hình có nhiều ưu điểm, bao gồm tăng cường tự động hóa kiểm thử, giảm thiểu lỗi, cải thiện độ bao phủ kiểm thử và dễ dàng tái sử dụng. Tuy nhiên, MBT cũng có một số nhược điểm, như đòi hỏi kỹ năng mô hình hóa cao và có thể tốn kém để triển khai. Việc lựa chọn phương pháp kiểm thử phù hợp cần cân nhắc các ưu điểm và nhược điểm này.

3.3. Các Công Cụ Hỗ Trợ Kiểm Thử Dựa Trên Mô Hình

Có nhiều công cụ hỗ trợ kiểm thử dựa trên mô hình, như Simulink, Rhapsody và Conformiq. Các công cụ này cung cấp các tính năng để mô hình hóa hệ thống, sinh ca kiểm thử và thực thi ca kiểm thử. Việc lựa chọn công cụ phù hợp phụ thuộc vào yêu cầu cụ thể của dự án.

IV. Ứng Dụng Thực Tiễn Kiểm Thử Tự Động Trong Hệ Thống Nhúng

Kiểm thử tự động đã được áp dụng thành công trong nhiều lĩnh vực của hệ thống nhúng, như ô tô, hàng không và y tế. Trong lĩnh vực ô tô, kiểm thử tự động được sử dụng để kiểm tra các hệ thống điều khiển động cơ, hệ thống phanh và hệ thống lái tự động. Trong lĩnh vực hàng không, kiểm thử tự động được sử dụng để kiểm tra các hệ thống điều khiển bay và hệ thống dẫn đường. Trong lĩnh vực y tế, kiểm thử tự động được sử dụng để kiểm tra các thiết bị y tế và hệ thống giám sát bệnh nhân.

4.1. Ví Dụ Về Kiểm Thử Hệ Thống Điều Khiển Hành Trình Ô Tô

Hệ thống điều khiển hành trình ô tô là một ví dụ điển hình về ứng dụng kiểm thử tự động. Mô hình của hệ thống điều khiển hành trình có thể được xây dựng bằng Simulink. Các ca kiểm thử có thể được sinh ra tự động từ mô hình để kiểm tra các chức năng như duy trì tốc độ, tăng tốc và giảm tốc. Kết quả kiểm thử có thể được sử dụng để cải thiện độ tin cậy và an toàn của hệ thống.

4.2. Đánh Giá Hiệu Quả Của Kiểm Thử Tự Động

Hiệu quả của kiểm thử tự động có thể được đánh giá bằng nhiều phương pháp khác nhau, như độ bao phủ kiểm thử, số lượng lỗi được phát hiện và chi phí kiểm thử. Độ bao phủ kiểm thử đo lường mức độ các ca kiểm thử bao phủ các phần khác nhau của hệ thống. Số lượng lỗi được phát hiện cho thấy khả năng của kiểm thử trong việc tìm ra các vấn đề. Chi phí kiểm thử bao gồm chi phí xây dựng mô hình, sinh ca kiểm thử và thực thi ca kiểm thử.

V. Kết Luận và Hướng Phát Triển Kiểm Thử Tự Động Tương Lai

Kiểm thử tự động dựa trên mô hình là một phương pháp hứa hẹn để cải thiện chất lượng và hiệu quả của kiểm thử hệ thống nhúng. Tuy nhiên, vẫn còn nhiều thách thức cần giải quyết, như phát triển các mô hình chính xác và hiệu quả, và tích hợp kiểm thử tự động vào quy trình phát triển. Trong tương lai, kiểm thử tự động sẽ đóng vai trò ngày càng quan trọng trong việc đảm bảo độ tin cậy và an toàn của hệ thống nhúng. Theo tài liệu, "Với mục đích tìm hiểu những kỹ thuật kiểm thử mới áp dụng vào hệ thống nhúng, tôi nhận thấy việc nghiên cứu các phương pháp kiểm thử tự động dựa trên mô hình trong hệ thống nhúng là một vấn đề rất cần thiết hiện nay."

5.1. Tóm Tắt Các Kết Quả Nghiên Cứu Chính

Nghiên cứu này đã trình bày tổng quan về kiểm thử tự động dựa trên mô hình cho hệ thống nhúng, xác định các thách thức và cơ hội, và trình bày một ví dụ ứng dụng thực tế. Kết quả nghiên cứu cho thấy rằng kiểm thử tự động có thể giúp cải thiện đáng kể chất lượng và hiệu quả của kiểm thử hệ thống nhúng.

5.2. Các Hướng Nghiên Cứu Tiềm Năng Trong Tương Lai

Các hướng nghiên cứu tiềm năng trong tương lai bao gồm phát triển các mô hình tự động từ yêu cầu, tích hợp kiểm thử tự động với các phương pháp phát triển khác, và phát triển các công cụ kiểm thử thông minh hơn. Ngoài ra, cần có thêm nghiên cứu về kiểm thử các hệ thống nhúng phức tạp và phân tán.

Nội dung chính

Tổng quan nghiên cứu

Hệ thống nhúng, xuất hiện từ những năm 1960, đã trở thành một lĩnh vực công nghệ thông tin phát triển mạnh mẽ với ứng dụng rộng rãi trong công nghiệp và đời sống. Theo ước tính, các hệ thống nhúng chiếm tỷ trọng lớn trong các thiết bị điện tử hiện đại, từ đồng hồ kỹ thuật số đến hệ thống điều khiển trong ô tô và nhà máy. Sự phức tạp ngày càng tăng của hệ thống nhúng đòi hỏi các phương pháp kiểm thử hiệu quả nhằm đảm bảo độ tin cậy và tính chính xác của sản phẩm. Trong đó, kiểm thử tự động dựa trên mô hình được xem là giải pháp tối ưu giúp giảm chi phí, rút ngắn thời gian và nâng cao chất lượng kiểm thử.

Mục tiêu nghiên cứu của luận văn là phát triển và áp dụng kỹ thuật kiểm thử tự động dựa trên mô hình trong hệ thống nhúng, cụ thể là hệ thống điều khiển hành trình ô tô. Nghiên cứu tập trung vào việc xây dựng mô hình kiểm thử trong môi trường Matlab/Simulink, sinh các ca kiểm thử tự động, thực thi và đánh giá mức độ phủ kiểm thử nhằm đảm bảo hệ thống đáp ứng các yêu cầu kỹ thuật. Phạm vi nghiên cứu được giới hạn trong việc áp dụng kỹ thuật kiểm thử dựa trên mô hình cho hệ thống nhúng tại Việt Nam trong giai đoạn 2016-2018.

Ý nghĩa của nghiên cứu thể hiện qua việc nâng cao hiệu quả kiểm thử trong các hệ thống nhúng phức tạp, giảm thiểu lỗi phần mềm, đồng thời cung cấp cơ sở khoa học cho việc ứng dụng kiểm thử tự động trong thực tế sản xuất và phát triển phần mềm hệ thống nhúng.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn dựa trên hai lý thuyết chính: lý thuyết kiểm thử phần mềm và mô hình hóa hệ thống nhúng. Lý thuyết kiểm thử phần mềm tập trung vào các nguyên tắc kiểm thử như phát hiện lỗi, bao phủ kiểm thử và nguyên tắc bắt đầu kiểm thử sớm. Mô hình hóa hệ thống nhúng sử dụng các ký hiệu như sơ đồ khối Simulink, máy trạng thái hữu hạn (FSM) và các mô hình dựa trên chuyển tiếp để mô tả hành vi hệ thống.

Ba khái niệm chuyên ngành quan trọng được áp dụng gồm:

• Kiểm thử dựa trên mô hình (Model-Based Testing - MBT): kỹ thuật sinh tự động các ca kiểm thử từ mô hình đặc tả hành vi hệ thống.
• Độ phủ kiểm thử (Test Coverage): tỷ lệ phần trăm các ca kiểm thử đã thực hiện trên tổng số ca kiểm thử cần thiết, đánh giá mức độ kiểm thử toàn diện.
• Hệ thống nhúng (Embedded System): hệ thống chuyên dụng tích hợp phần cứng và phần mềm, hoạt động ổn định trong môi trường thực tế với yêu cầu thời gian thực và độ tin cậy cao.

Phương pháp nghiên cứu

Nguồn dữ liệu chính được thu thập từ việc xây dựng mô hình hệ thống điều khiển hành trình ô tô trong Matlab/Simulink, kết hợp với các tài liệu kỹ thuật và tài liệu tham khảo chuyên ngành. Cỡ mẫu nghiên cứu bao gồm các ca kiểm thử được sinh tự động từ mô hình, với số lượng khoảng vài chục ca kiểm thử chính thức.

Phương pháp phân tích sử dụng kỹ thuật mô phỏng và đánh giá mức độ phủ kiểm thử thông qua công cụ Simulink Test Manager và Simulink Design Verifier. Quá trình nghiên cứu được thực hiện theo timeline gồm:

• Giai đoạn 1 (3 tháng): Xây dựng mô hình hệ thống và thiết kế ca kiểm thử.
• Giai đoạn 2 (2 tháng): Sinh ca kiểm thử tự động và thực thi mô phỏng.
• Giai đoạn 3 (1 tháng): Đánh giá kết quả, phân tích độ phủ và hiệu quả kiểm thử.

Phương pháp chọn mẫu là chọn các ca kiểm thử đại diện cho các tình huống vận hành khác nhau của hệ thống điều khiển hành trình, đảm bảo bao phủ các trường hợp đầu vào và đầu ra quan trọng.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

1. Hiệu quả sinh ca kiểm thử tự động: Quá trình sinh ca kiểm thử từ mô hình Simulink giúp tạo ra khoảng 30 ca kiểm thử đại diện cho các tình huống vận hành khác nhau của hệ thống điều khiển hành trình. So với phương pháp thủ công, thời gian sinh ca kiểm thử giảm khoảng 50%, đồng thời tăng số lượng ca kiểm thử lên gấp đôi.

2. Độ phủ kiểm thử đạt 100% MCDC: Sau khi thực hiện các ca kiểm thử, mức độ phủ kiểm thử theo tiêu chuẩn Modified Condition/Decision Coverage (MCDC) đạt 100%, đảm bảo rằng tất cả các điều kiện và quyết định trong mô hình đều được kiểm tra đầy đủ.

3. Độ chính xác của mô hình và kết quả kiểm thử: Kết quả mô phỏng cho thấy hệ thống điều khiển hành trình duy trì vận tốc trong phạm vi sai số không quá 10% khi độ dốc đường thay đổi, đáp ứng yêu cầu kỹ thuật đề ra. Thời gian đạt vận tốc hành trình không vượt quá 60 giây, phù hợp với tiêu chuẩn thiết kế.

4. Tiết kiệm chi phí và thời gian kiểm thử: Việc áp dụng kiểm thử tự động dựa trên mô hình giúp giảm chi phí nhân lực và thời gian kiểm thử hồi quy, đặc biệt trong giai đoạn bảo trì hệ thống, với khả năng thực thi hàng trăm ca kiểm thử trong vài giờ.

Thảo luận kết quả

Nguyên nhân chính của hiệu quả kiểm thử đến từ việc mô hình hóa chi tiết và chính xác hệ thống điều khiển hành trình trong Simulink, cho phép sinh tự động các ca kiểm thử có độ bao phủ cao. So với các nghiên cứu trước đây chỉ đạt mức độ phủ khoảng 70-80%, kết quả này cho thấy sự tiến bộ rõ rệt trong việc áp dụng công cụ Simulink Test Manager và Design Verifier.

Việc đạt được độ phủ 100% MCDC là minh chứng cho tính toàn diện của bộ ca kiểm thử, giúp phát hiện sớm các lỗi tiềm ẩn trong thiết kế hệ thống nhúng. Kết quả mô phỏng cũng phản ánh đúng các đặc tính vật lý và điều khiển thực tế của hệ thống, từ đó nâng cao độ tin cậy của sản phẩm.

Các biểu đồ vận tốc xe theo thời gian và độ dốc đường minh họa rõ ràng khả năng điều chỉnh của hệ thống, có thể được trình bày trong báo cáo dưới dạng biểu đồ đường và bảng số liệu để so sánh các kịch bản kiểm thử khác nhau.

Tuy nhiên, việc xây dựng mô hình và thiết kế ca kiểm thử đòi hỏi kỹ năng chuyên môn cao, đồng thời chi phí đầu tư ban đầu cho mô hình hóa khá lớn. Đây là thách thức cần được cân nhắc khi áp dụng rộng rãi trong công nghiệp.

Đề xuất và khuyến nghị

1. Triển khai rộng rãi kỹ thuật kiểm thử dựa trên mô hình: Các doanh nghiệp phát triển hệ thống nhúng nên áp dụng phương pháp kiểm thử tự động dựa trên mô hình để nâng cao chất lượng sản phẩm, giảm thiểu lỗi và tiết kiệm chi phí kiểm thử. Thời gian triển khai dự kiến trong 6-12 tháng.

2. Đào tạo nhân lực chuyên sâu về mô hình hóa và kiểm thử: Tổ chức các khóa đào tạo chuyên sâu về Matlab/Simulink và kỹ thuật kiểm thử dựa trên mô hình cho kỹ sư kiểm thử và phát triển phần mềm nhằm nâng cao năng lực thực hiện kiểm thử tự động. Khuyến nghị thực hiện định kỳ hàng năm.

3. Phát triển công cụ hỗ trợ tích hợp: Đầu tư phát triển hoặc mua sắm các công cụ hỗ trợ tích hợp kiểm thử tự động với quy trình phát triển phần mềm hiện tại, giúp tự động hóa toàn bộ chu trình kiểm thử từ sinh ca kiểm thử đến báo cáo kết quả. Thời gian thực hiện 12 tháng.

4. Xây dựng kho dữ liệu ca kiểm thử và kết quả: Thiết lập hệ thống lưu trữ và quản lý các ca kiểm thử, kết quả kiểm thử để phục vụ cho việc kiểm thử hồi quy và phân tích lỗi trong các dự án phát triển tiếp theo. Chủ thể thực hiện là phòng kiểm thử và quản lý dự án, thời gian 3-6 tháng.

Đối tượng nên tham khảo luận văn

1. Kỹ sư phát triển hệ thống nhúng: Nghiên cứu giúp hiểu rõ phương pháp mô hình hóa và kiểm thử tự động, áp dụng vào thiết kế và phát triển sản phẩm nhằm nâng cao chất lượng và độ tin cậy.

2. Chuyên viên kiểm thử phần mềm: Cung cấp kiến thức về kỹ thuật kiểm thử dựa trên mô hình, công cụ hỗ trợ và quy trình thực hiện, giúp tối ưu hóa công tác kiểm thử trong các dự án phần mềm nhúng.

3. Nhà quản lý dự án CNTT: Hỗ trợ trong việc hoạch định chiến lược kiểm thử, phân bổ nguồn lực và đánh giá hiệu quả kiểm thử tự động, từ đó nâng cao hiệu quả quản lý dự án.

4. Giảng viên và sinh viên ngành công nghệ thông tin: Là tài liệu tham khảo quý giá cho việc giảng dạy và nghiên cứu về kiểm thử phần mềm, hệ thống nhúng và ứng dụng Matlab/Simulink trong kỹ thuật kiểm thử.

Câu hỏi thường gặp

1. Kiểm thử dựa trên mô hình là gì?
   Kiểm thử dựa trên mô hình là kỹ thuật sinh tự động các ca kiểm thử từ mô hình đặc tả hành vi của hệ thống, giúp phát hiện lỗi sớm và tăng độ bao phủ kiểm thử. Ví dụ, mô hình Simulink được sử dụng để tạo ca kiểm thử cho hệ thống điều khiển hành trình.

2. Ưu điểm của kiểm thử tự động dựa trên mô hình?
   Phương pháp này giúp tiết kiệm thời gian, chi phí, tăng độ chính xác và khả năng lặp lại kiểm thử. Trong thực tế, nó cho phép thực thi hàng trăm ca kiểm thử trong thời gian ngắn, vượt trội so với kiểm thử thủ công.

3. Làm thế nào để đánh giá mức độ phủ kiểm thử?
   Mức độ phủ kiểm thử được đánh giá bằng tỷ lệ phần trăm các ca kiểm thử đã thực hiện trên tổng số ca cần thiết, thường sử dụng các chỉ số như MCDC. Trong nghiên cứu, mức độ phủ đạt 100% MCDC cho thấy kiểm thử toàn diện.

4. Những khó khăn khi áp dụng kiểm thử dựa trên mô hình?
   Khó khăn chính là yêu cầu kỹ năng cao trong xây dựng mô hình, chi phí đầu tư ban đầu lớn và cần thời gian để phát triển bộ ca kiểm thử phù hợp. Ngoài ra, việc bảo trì và mở rộng bộ kiểm thử cũng phức tạp.

5. Kiểm thử dựa trên mô hình có thể áp dụng cho hệ thống nào?
   Phương pháp này phù hợp với các hệ thống nhúng có tính phức tạp cao, yêu cầu độ tin cậy và thời gian thực, như hệ thống điều khiển ô tô, thiết bị y tế, và các hệ thống công nghiệp tự động.

Kết luận

• Nghiên cứu đã phát triển thành công kỹ thuật kiểm thử tự động dựa trên mô hình áp dụng cho hệ thống nhúng, cụ thể là hệ thống điều khiển hành trình ô tô.
• Mô hình hóa trong Matlab/Simulink và sinh ca kiểm thử tự động giúp đạt độ phủ kiểm thử 100% MCDC, đảm bảo kiểm thử toàn diện.
• Kết quả mô phỏng cho thấy hệ thống đáp ứng các yêu cầu kỹ thuật về vận tốc và khả năng điều chỉnh khi thay đổi độ dốc đường.
• Phương pháp kiểm thử này tiết kiệm đáng kể thời gian và chi phí so với kiểm thử thủ công, đặc biệt trong giai đoạn bảo trì.
• Đề xuất triển khai rộng rãi kỹ thuật kiểm thử dựa trên mô hình, đồng thời đào tạo nhân lực và phát triển công cụ hỗ trợ để nâng cao hiệu quả kiểm thử trong thực tế.

Next steps: Triển khai áp dụng trong các dự án thực tế, mở rộng nghiên cứu sang các hệ thống nhúng phức tạp hơn và tích hợp kiểm thử tự động vào quy trình phát triển phần mềm chuẩn.

Các tổ chức và cá nhân trong lĩnh vực phát triển hệ thống nhúng nên nghiên cứu và áp dụng kỹ thuật kiểm thử dựa trên mô hình để nâng cao chất lượng sản phẩm và hiệu quả kiểm thử.

Trích đoạn nội dung tài liệu

Chương 1 – TỔNG QUAN VỀ HỆ THỐNG NHÚNG VÀ KIỂM THỬ TRONG HỆ THỐNG NHÚNG. Hệ thống nhúng Xuất hiện từ những năm đầu thập niên 1960, hệ thống nhúng đang dần trở thành một ngành phát triển mạnh mẽ trong lĩnh vực công nghệ thông tin (CNTT), với những ứng dụng rộng rãi trong công nghiệp và đời sống. Hệ thống nhúng (embedded system) được định nghĩa là một hệ thống chuyên dụng, thường có khả năng tự hành và được thiết kế tích hợp vào một hệ thống lớn hơn để thực hiện một chức năng chuyên biệt nào đó. Hệ thống nhúng là một thuật ngữ để chỉ một hệ thống có khả năng tự trị được nhúng vào trong một môi trường hay một hệ thống mẹ.

Đó là các hệ thống tích hợp cả phần cứng và phần mềm phục vụ các bài toán chuyên dụng trong nhiều lĩnh vực công nghiệp, tự động hoá điều khiển, quan trắc và truyền tin. Đặc điểm của các hệ thống nhúng là hoạt động ổn định và có tính năng tự động hoá cao. Hệ thống nhúng thường được thiết kế để thực hiện một chức năng chuyên biệt. Khác với các máy tính đa chức năng, chẳng hạn như máy tính cá nhân, một hệ thống nhúng chỉ thực hiện một hoặc một vài chức năng nhất định, thường đi kèm với những yêu cầu cụ thể và bao gồm một số thiết bị máy móc và phần cứng chuyên dụng mà ta không tìm thấy trong một máy tính đa năng nói chung.

Vì hệ thống chỉ được xây dựng cho một số nhiệm vụ nhất định nên các nhà thiết kế có thể tối ưu hóa nó nhằm giảm thiểu kích thước và chi phí sản xuất. Các hệ thống nhúng thường được sản xuất hàng loạt với số lượng lớn. Hệ thống nhúng rất đa dạng, phong phú về chủng loại. Đó có thể là những thiết bị cầm tay nhỏ gọn như đồng hồ kĩ thuật số và máy chơi nhạc MP3, hoặc những sản phẩm lớn như đèn giao thông, bộ kiểm soát trong nhà máy hoặc hệ thống kiểm soát các máy năng lượng hạt nhân.

Xét về độ phức tạp, hệ thống nhúng có thể rất đơn giản với một vi điều khiển hoặc rất phức tạp với nhiều đơn vị, các thiết bị ngoại vi và mạng lưới được nằm gọn trong một lớp vỏ máy lớn. Các thiết bị PDA hoặc máy tính cầm tay cũng có một số đặc điểm tương tự 4 với hệ thống nhúng như các hệ điều hành hoặc vi xử lý điều khiển chúng nhưng các thiết bị này không phải là hệ thống nhúng thật sự bởi chúng là các thiết bị đa năng, cho phép sử dụng nhiều ứng dụng và kết nối đến nhiều thiết bị ngoại vi. Đặc điểm của hệ thống nhúng Hệ thống nhúng thường có một số đặc điểm chung như sau:  Các hệ thống nhúng được thiết kế để thực hiện một số nhiệm vụ chuyên dụng chứ không phải đóng vai trò là các hệ thống máy tính đa chức năng. Một số hệ thống đòi hỏi ràng buộc về tính hoạt động thời gian thực để đảm bảo độ an toàn và tính ứng dụng; một số hệ thống không đòi hỏi hoặc ràng buộc chặt chẽ, cho phép đơn giản hóa hệ thống phần cứng để giảm thiểu chi phí sản xuất.

 Một hệ thống nhúng thường không phải là một khối riêng biệt mà là một hệ thống phức tạp nằm trong thiết bị mà nó điều khiển.  Phần mềm được viết cho các hệ thống nhúng được gọi là firmware và được lưu trữ trong các chip bộ nhớ ROM hoặc bộ nhớ flash chứ không phải là trong một ổ đĩa. Phần mềm thường chạy với số tài nguyên phần cứng hạn chế: không có bàn phím, màn hình hoặc có nhưng với kích thước nhỏ, dung lượng bộ nhớ thấp. Với những đặc điểm như trên, việc thử nghiệm, xác định lỗi trong hệ thống nhúng gặp nhiều khó khăn.

Số lượng trường hợp thử nghiệm lớn, đòi hỏi phải có phương pháp và mô hình kiểm thử phù hợp. Giao diện Các hệ thống nhúng có thể không có giao diện (đối với những hệ thống đơn nhiệm) hoặc có đầy đủ giao diện giao tiếp với người dùng tương tự như các hệ điều hành trong các thiết bị để bàn. Đối với các hệ thống đơn giản, thiết bị nhúng sử dụng nút bấm, đèn LED và hiển thị chữ cỡ nhỏ hoặc chỉ hiển thị số, thường đi kèm với một hệ thống menu đơn giản. Còn trong một hệ thống phức tạp hơn, một màn hình đồ họa, cảm ứng hoặc có các nút bấm ở lề màn hình cho phép thực hiện các thao tác phức tạp mà tối thiểu hóa được khoảng không gian cần sử dụng.

Ý nghĩa của các nút bấm có thể thay đổi theo màn hình và các lựa chọn. Các hệ thống nhúng thường có một màn hình với 5 một nút bấm dạng cần điểu khiển (joystick button). Sự phát triển mạnh mẽ của mạng toàn cầu đã mang đến cho những nhà thiết kế hệ nhúng một lựa chọn mới là sử dụng một giao diện web thông qua việc kết nối mạng. Điều này có thể giúp tránh được chi phí cho những màn hình phức tạp nhưng đồng thời vẫn cung cấp khả năng hiển thị và nhập liệu phức tạp khi cần đến, thông qua một máy tính khác.

Điều này là hết sức hữu dụng đối với các thiết bị điều khiển từ xa, cài đặt vĩnh viễn. Ví dụ, các router là các thiết bị đã ứng dụng tiện ích này. Thiết bị ngoại vi Hệ thống nhúng giao tiếp với bên ngoài thông qua các thiết bị ngoại vi, ví dụ như: • Serial Communication Interfaces (SCI): RS-232, RS-422, RS-485. • Universal Serial Bus (USB).

• Networks: Controller Area Network, LonWorks. • Bộ định thời: PLL(s), Capture/Compare và Time Processing Units. • Discrete IO: General Purpose Input/Output (GPIO). Công cụ phát triển Tương tự như các sản phẩm phần mềm khác, phần mềm hệ thống nhúng cũng được phát triển nhờ việc sử dụng các trình biên dịch (compilers), chương trình dịch hợp ngữ (assembler) hoặc các công cụ gỡ rối (debuggers).

Tuy nhiên, các nhà thiết kế hệ thống nhúng có thể sử dụng một số công cụ chuyên dụng như: • Bộ gỡ rối mạch hoặc các chương trình mô phỏng (emulator). • Tiện ích để thêm các giá trị checksum hoặc CRC vào chương trình, giúp hệ thống nhúng có thể kiểm tra tính hợp lệ của chương trình đó. • Đối với các hệ thống xử lý tín hiệu số, người phát triển hệ thống có thể sử dụng phần mềm workbench như MathCad/ Mathematica để mô phỏng phép toán. • Các trình biên dịch và trình liên kết (linker) chuyên dụng được sử dụng để tối ưu hóa một thiết bị phần cứng.

• Một hệ thống nhúng có thể có ngôn ngữ lập trình và công cụ thiết kế riêng của nó hoặc sử dụng và cải tiến từ một ngôn ngữ đã có sẵn. 6 Các công cụ phần mềm có thể được tạo ra bởi các công ty phần mềm chuyên dụng về hệ thống nhúng hoặc chuyển đổi từ các công cụ phát triển phần mềm GNU. Đôi khi, các công cụ phát triển dành cho máy tính cá nhân cũng được sử dụng nếu bộ xử lý của hệ thống nhúng đó gần giống với bộ xử lý của một máy PC thông dụng. Độ tin cậy Các hệ thống nhúng thường nằm trong các cỗ máy được kỳ vọng là sẽ chạy hàng năm trời liên tục mà không bị lỗi hoặc có thể khôi phục hệ thống khi gặp lỗi.

Vì thế, các phần mềm hệ thống nhúng được phát triển và kiểm thử một cách cẩn thận hơn là phần mềm cho máy tính cá nhân. Ngoài ra, các thiết bị rời không đáng tin cậy như ổ đĩa, công tắc hoặc nút bấm thường bị hạn chế sử dụng. Việc khôi phục hệ thống khi gặp lỗi có thể được thực hiện bằng cách sử dụng các kỹ thuật như watchdog timer – nếu phần mềm không đều đặn nhận được các tín hiệu watchdog định kì thì hệ thống sẽ bị khởi động lại. Một số vấn đề cụ thể về độ tin cậy như: • Hệ thống không thể ngừng để sửa chữa một cách an toàn, ví dụ như ở các hệ thống không gian, hệ thống dây cáp dưới đáy biển, các đèn hiệu dẫn đường… Giải pháp đưa ra là chuyển sang sử dụng các hệ thống con dự trữ hoặc các phần mềm cung cấp một phần chức năng.

• Hệ thống phải được chạy liên tục vì tính an toàn, ví dụ như các thiết bị dẫn đường máy bay, thiết bị kiểm soát độ an toàn trong các nhà máy hóa chất… Giải pháp đưa ra là lựa chọn backup hệ thống, nếu hệ thống ngừng hoạt động sẽ gây tổn thất rất nhiều tiền của ví dụ như các dịch vụ buôn bán tự động, hệ thống chuyển tiền, hệ thống kiểm soát trong các nhà máy … 1. Xu hướng phát triển của các hệ thống nhúng Sau máy tính lớn (mainframe), PC và Internet thì hệ thống nhúng đang là làn sóng đổi mới thứ 3 trong công nghệ thông tin và truyền thông. Xu hướng phát triển của các hệ thống nhúng hiện nay là: 7 Phần mềm ngày càng chiếm tỷ trọng cao và đã trở thành một thành phần cấu tạo nên thiết bị bình đẳng như các phần cơ khí, linh kiện điện tử, linh kiện quang học… • Các hệ nhúng ngày càng phức tạp hơn đáp ứng các yêu cầu khắt khe về thời gian thực, tiêu ít năng lượng và hoạt động tin cậy ổn định hơn. • Các hệ nhúng ngày càng có độ mềm dẻo cao đáp ứng các yêu cầu nhanh chóng đưa sản phẩm ra thương trường, có khả năng bảo trì từ xa, có tính cá nhân cao.

• Các hệ nhúng ngày càng có tính thích nghi, tự tổ chức cao có khả năng tái cấu hình như một thực thể, một tác nhân. • Các hệ nhúng ngày càng có khả năng tiếp nhận năng lượng từ nhiều nguồn khác nhau (ánh sáng, rung động, điện từ trường, sinh học….) để tạo nên các hệ thống tự tiếp nhận năng lượng trong quá trình hoạt động. Những thách thức và vấn đề còn tồn tại với hệ thống nhúng Hệ thống nhúng hiện nay còn phải đối mặt với các vấn đề sau: • Độ phức tạp của sự liên kết đa ngành phối hợp cứng - mềm. Độ phức tạp của hệ thống tăng cao do nó kết hợp nhiều lĩnh vực đa ngành, kết hợp phần cứng - mềm, trong khi các phương pháp thiết kế và kiểm tra chưa chín muồi.

Khoảng cách giữa lý thuyết và thực hành lớn và còn thiếu các phương pháp và lý thuyết hoàn chỉnh cho khảo sát phân tích toàn cục các hệ nhúng. • Thiếu phương pháp tích hợp tối ưu giữa các thành phần tạo nên hệ nhúng bao gồm lý thuyết điều khiển tự động, thiết kế máy, công nghệ phần mềm, điện tử, vi xử lý, các công nghệ hỗ trợ khác.