TAILIEUCHUNG - Sinh dữ liệu kiểm thử cho mô hình hệ thống nhúng sử dụng kỹ thuật kiểm thử theo cặp

Bài viết đề xuất 1 phương pháp sinh dữ liệu kiểm thử tự động áp dụng kĩ thuật kiểm thử theo cặp nhằm thu được bộ test data với độ phủ cao. Thực nghiệm cho thấy phương pháp đề xuất cho kết quả tốt hơn so với kiểm thử ngẫu nhiên. | Đỗ Thị Bích Ngọc SINH DỮ LIỆU KIỂM THỬ CHO MÔ HÌNH HỆ THỐNG NHÚNG SỬ DỤNG KỸ THUẬT KIỂM THỬ THEO CẶP Đỗ Thị Bích Ngọc Học Viện Công Nghệ Bưu Chính Viễn Thông Tóm tắt Hệ thống nhúng đang ngày càng đóng vai trò quan Hoạt động kiểm thử một hệ thống phần mềm nói chung trọng trong đời sống hiện đại. Các hệ thống này đòi hỏi tính và hệ thống nhúng nói riêng là vấn đề thường chiếm tới 30- an toàn rất cao. Vì vậy đảm bảo chất lượng cho các hệ 50 thời gian cũng như kinh phí làm ra một hệ thống. thống nhúng này đã và đang thu hút sự quan tâm của cả Trong đó việc sinh dữ liệu kiểm thử test data quyết định giới nghiên cứu và công nghiệp. Trong các hệ thống nhúng đến chất lượng của kết quả kiểm thử. Một bộ test data được quy trình kiểm thử thường yêu cầu độ phủ cao với nhiều đánh giá là tốt nếu có khả năng phát hiện lỗi cao đạt độ độ đo theo các chuẩn quốc tế như CC DC MC DC của phủ theo chuẩn cho trước. Đã có nhiều tiêu chuẩn yêu cầu ISO 26262. Bài báo này đề xuất 1 phương pháp sinh dữ về an toàn các hệ thống nhúng như ISO 26262 IEC 61508 liệu kiểm thử tự động áp dụng kĩ thuật kiểm thử theo cặp EN-50128 IEC 60880 and DO-178C Trong các hệ nhằm thu được bộ test data với độ phủ cao. Thực nghiệm thống này yêu cầu kiểm thử cao hơn đòi hỏi phải có bộ cho thấy phương pháp đề xuất cho kết quả tốt hơn so với test data để phủ hết tất cả các đường chạy xảy ra. kiểm thử ngẫu nhiên. Không như các hệ thống phần mềm thông thường tín hiệu đầu vào của hệ thống nhúng là các chuỗi dữ liệu theo Từ khoá Độ phủ CC độ phủ DC độ phủ MC DC mô thời gian. Do vậy việc sinh test data cho hệ thống nhúng hình hệ thống nhúng kiểm thử kiểm thử theo cặp tín gặp nhiều khó khăn và phức tạp hơn so với hệ thống phần hiệu liên tục mềm thông thường. I. GIỚI THIỆU Việc kiểm thử mô hình hệ thống nhúng có 2 vấn đề Hiện nay hệ thống nhúng đang phát triển mạnh mẽ và chính ngày càng đóng vai trò quan trọng trong cuộc sống của con Vấn đề 1 Đầu vào của hệ thống nhúng thường là tín hiệu người. Hệ thống nhúng bao gồm .

• Hệ điều hành
• Mô hình hệ thống nhúng
• Kỹ thuật kiểm thử theo cặp
• Sinh dữ liệu kiểm thử
• Mô hình hệ thống nhúng Simulink
• Kiểm chứng phần mềm
• Bài giảng Xây dựng các hệ thống nhúng
• Xây dựng các hệ thống nhúng
• Đặc điểm hệ thống nhúng
• Mô hình tổng thể hệ thống nhúng
• Thành phần phần cứng của hệ thống nhúng
• Thiết kế bộ nhớ
• Bài giảng Hệ thống nhúng
• Kỹ thuật máy tính
• Phần mềm nhúng
• Thiết kế hệ thống nhúng
• Các họ vi xử lý
• Kiến trúc hệ thống nhúng
• Bài giảng Thiết kế hệ thống nhúng
• Embedded Systems Design
• Hệ thống nhúng
• Kỹ thuật lập trình nhúng
• Mô hình trạng thái
• Nhập môn công nghệ thông tin
• Công nghệ thông tin
• Công nghệ truyền thông
• Hệ thống thông tin
• Mô hình máy tính
• Máy tính nhúng
• Bài giảng Nhập môn công nghệ thông tin
• Nhập môn công nghệ thông tin và truyền thông
• Mô hình cơ bản của máy tính
• Phân loại máy tính hiện đại
• Bài giảng Kiểm chứng Phần mềm
• Software Testing
• Nguyên lý kiểm thử phần mềm
• Mức độ kiểm thử phần mềm
• Kỹ thuật kiểm thử phần mềm
• Công nghệ phần mềm
• Bài giảng Công nghệ phần mềm
• Kiểm chứng phần mềm
• Kiểm thử phần mềm
• Bài giảng Nhập môn công nghệ phần mềm
• Nhập môn công nghệ phần mềm
• Kiểm tra phần mềm
• Thiết kế test case
• Kiểm tra đơn vị phần mềm
• Kỹ nghệ phần mềm
• Kỹ thuật lập trình
• Lập trình phần mềm
• Rà soát phần mềm
• Nguyên lý trong kiểm thử phần mềm
• luận văn
• mô hình NUSMV
• kiểm chứng mô hình
• chất lượng phần mềm
• Công nghệ phần mềm nâng cao
• Bài giảng Công nghệ phần mềm nâng cao
• Quản lý cấu hình phần mềm
• Phương pháp kiểm chứng phần mềm
• Thiết kế testcase
• Đảm bảo chất lượng phần mềm
• Bài giảng chất lượng phần mềm
• Lỗi phần mềm
• Kỹ thuật debuging
• luận văn tốt nghiêp
• thiết kế phần mềm
• ứng dụng tin học
• xây dựng phần mềm
• Thiết kế hệ thống phần mềm
• Thiết kế dữ liệu
• Thiết kế giao diện
• Thiết kế xử lý
• phương pháp sinh dữ liệu
• quy trình kiểm thử
• nghiên cứu khoa học
• điện toán đám mây
• công cụ spin
• sử dụng spin
• Luận văn Thạc sĩ
• Kiểm chứng giao diện phần mềm
• Phương pháp kiểm chứng giao diện
• Phương pháp mô hình hóa Event B
• Mô hình hóa
• Chương trình phần mềm
• Kiểm chứng chương tình phần mềm
• Hhình thức Event B
• Ứng dụng EAOP
• Phân tích yêu cầu phần mềm
• Yêu cầu phần mềm
• Kỹ thuật kiểm chứng
• Kỹ thuật kiểm tra
• Luận văn Thạc sĩ Công nghệ thông tin
• Thành phần Java tương tranh
• Java tương tranh
• Kiểm chứng thành phần Java
• Phương pháp tạo giả địn
• Tài liệu đặc tả yêu cầu phần mềm
• Phân tích yêu cầu phần mềm
• Đặc tả yêu cầu
• viết đặc tả
• Yêu cầu của sự Đặc tả
• Luận án Tiến sĩ
• Kỹ Thuật phần mềm
• Hệ thống chuyển trạng thái
• Thuật toán học L*
• Phương pháp kiểm chứng hồi quy giả định
• Thuật toán CDNF
• Thuật toán thực thi Teacher
• hệ thống quản lý
• tác tử phần mềm
• kiểm chứng đặt tả
• đặt tả UML
• ngôn ngữ UML
• chứng minh tự động
• Mô hình hóa Event B
• Công cụ Rodin
• Bài giảng Software quality assurance
• Software quality assurance
• Quản trị chất lượng phần mềm
• Kiểm chứng sản phẩm
• Software errors