Báo cáo tài liệu vi phạm
Giới thiệu
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
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
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
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
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
Đang chuẩn bị liên kết để tải về tài liệu:
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
An Bình
155
6
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
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 .
TÀI LIỆU LIÊN QUAN
Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị
Tổng quan về phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn
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ực thi tượng trưng trong sinh tự động dữ liệu kiểm thử phần mềm
Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án C/C++
Tóm tắt Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp phân tích mã nguồn và sinh dữ liệu kiểm thử cho các dự án C/C++
Báo cáo " Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình "
Luận văn Thạc sĩ Kỹ thuật phần mềm: Phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn và ứng dụng xây dựng hệ thống chấm bài lập trình
Tóm tắt luận án Tiến sĩ Toán học: Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
Luận án Tiến sĩ Toán học: Một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.