Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Hệ điều hành
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
tailieunhanh - 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 .
Liên Hoa
91
6
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Mô hình hóa hệ thống và mô phỏng part 1
21
272
9
Mô hình hóa hệ thống và mô phỏng part 2
21
189
2
Mô hình hóa hệ thống và mô phỏng part 3
21
179
1
Mô hình hóa hệ thống và mô phỏng part 4
21
178
1
Mô hình hóa hệ thống và mô phỏng part 5
21
159
1
Mô hình hóa hệ thống và mô phỏng part 6
21
150
1
Mô hình hóa hệ thống và mô phỏng part 7
21
145
1
Mô hình hóa hệ thống và mô phỏng part 8
21
149
0
Mô hình hóa hệ thống và mô phỏng part 9
21
275
1
Mô hình hóa hệ thống và mô phỏng part 10
17
158
0
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
462059
59
Giới thiệu :Lập trình mã nguồn mở
14
23791
74
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11123
536
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10363
458
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9645
106
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8637
1148
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8356
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7942
2249
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6978
260
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6713
1607
TỪ KHÓA LIÊN QUAN
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
Ràng buộc SMT
Lỗi tràn số
Phân tích tĩnh
Phân loại blocks
Trí tuệ nhân tạo
Trải nghiệm lái xe an toàn
Hệ thống giám sát người lái
Máy tính nhúng Raspberry Pi
Mô hình mạng CNN
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ý
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
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
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ả
Đặc tả hệ thống
Kiểm chứng yêu cầu
Đặc tả giao diện
Yêu cầu của người sử dụng
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
TÀI LIỆU MỚI ĐĂNG
Sáng tạo trong thuật toán và lập trình với ngôn ngữ Pascal và C# Tập 2 - Chương 4
47
291
2
28-06-2024
Management and Services Part 1
10
188
1
28-06-2024
Báo cáo nghiên cứu nông nghiệp " Biofertiliser inoculant technology for the growth of rice in Vietnam: Developing technical infrastructure for quality assurance and village production for farmers "
12
112
0
28-06-2024
Concluding interview 6
6
123
1
28-06-2024
Báo cáo y học: "Aggrecanases and cartilage matrix degradation"
10
125
0
28-06-2024
Giáo dục kỹ năng sống mầm non: Làm gì khi bị trấn lột - Có kẻ lạ mặt rình bám theo bé
4
102
0
28-06-2024
Donald và bạn hữu 25
32
126
0
28-06-2024
Báo cáo khoa học: A mutagenic analysis of the RNase mechanism of the bacterial Kid toxin by mass spectrometry
14
123
0
28-06-2024
Công nghệ nhiệt luyện thép c40
11
129
0
28-06-2024
Báo cáo lâm nghiệp: "Hybridization techniques and frost tolerance studies in intraspecific hybrids of Eucalyptus globulus Labil"
2
101
0
28-06-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7942
2249
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6713
1607
Ebook Chào con ba mẹ đã sẵn sàng
112
4010
1299
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5694
1193
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8637
1148
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3633
665
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3845
601
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4392
544
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11123
536
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4291
483