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
Cơ sở dữ liệu
Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị
tailieunhanh - Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị
Kiểm thử là một phương pháp quan trọng để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử sẽ rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp hoặc một công cụ để tạo ra các bộ test. Bài báo này, chúng tôi đề xuất một phương pháp sinh dữ liệu kiểm thử tự động cho các đơn vị phần mềm dựa vào kỹ thuật kiểm chứng mô hình. Các test case thu được một cách tự động dựa vào các phản ví dụ của công thức logic thời gian tuyến tính (LTL - Linear Temporal Logic) vi phạm các chuẩn bao phủ đã được lựa chọn. | Nguyễn Hồng Tân và Đtg Tạp chí KHOA HỌC & CÔNG NGHỆ 99(11): 79 - 84 MỘT PHƯƠNG PHÁP HIỆU QUẢ SINH DỮ LIỆU KIỂM THỬ MỨC ĐƠN VỊ Nguyễn Hồng Tân*, Hà Thị Thanh Trường Đại học Công nghệ thông tin và truyền thông – ĐH Thái Nguyên TÓM TẮT Kiểm thử là một phương pháp quan trọng để nâng cao chất lượng của một sản phẩm phần mềm được tạo ra bằng cách kiểm tra lỗi trong việc thực hiện chương trình theo một số chuẩn được gọi là chuẩn bao phủ. Kiểm thử sẽ rất tốn kém nếu nó không được hỗ trợ bởi một phương pháp hoặc một công cụ để tạo ra các bộ test. Bài báo này, chúng tôi đề xuất một phương pháp sinh dữ liệu kiểm thử tự động cho các đơn vị phần mềm dựa vào kỹ thuật kiểm chứng mô hình. Các test case thu được một cách tự động dựa vào các phản ví dụ của công thức logic thời gian tuyến tính (LTL Linear Temporal Logic) vi phạm các chuẩn bao phủ đã được lựa chọn. Từ khóa: Kiểm chứng mô hình, Test case, Kiểm thử đơn vị GIỚI THIỆU* Kiểm thử có thể chỉ ra sự xuất hiện của lỗi tồn tại trong phần mềm. Mặt khác, kiểm chứng mô hình là một kỹ thuật hiệu quả áp dụng để chỉ ra mô hình hệ thống có thỏa mãn được các tính chất hay không [10]. Mặc dù kiểm thử phần mềm và kiểm chứng mô hình đã được đề cập đến trước đây như hoạt động xác minh và thẩm định riêng biệt nhưng gần đây đã có một số nghiên cứu về tiềm năng của kiểm thử mô hình theo hướng giảm chi phí của kiểm thử phần mềm. Những phương pháp tiếp cận đó đều dựa trên các thuật toán kiểm chứng mô hình để phát hiện ra các thuộc tính vi phạm trong hệ thống khi thực hiện chương trình. Kiểm thử hộp trắng dựa trên các test case được tạo ra bằng kiểm chứng mô hình trước đó đã được giải quyết [5,6,7,8,9]. Các điểm chung của các kỹ thuật nói trên là sự phát triển của một tập hợp các công thức LTL mà khi áp dụng vào các chương trình mô hình tạo ra tập hợp các test case theo yêu cầu. Chương trình mô hình đại diện cho luồng điều khiển của đơn vị được kiểm thử và mặc dù sự tồn tại của nó như là tiền điều kiện thì rất khó để thực hiện nó một cách tự
Kim Xuân
103
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
Phương pháp giảng dạy chủ động nhằm nâng cao hiệu quả học tập cho sinh viên Học viện Ngân hàng
14
69
1
Phương pháp học tập cho sinh viên đại học
12
138
3
Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị
6
86
0
Bài giảng Phương pháp học tập tốt cho sinh viên
24
108
3
Bạn đang tìm một phương pháp để việc học thật hiệu quả và không tốn nhiều thời gian, công sức?
4
98
0
Sáng kiến kinh nghiệm: Ứng dụng phương pháp giảng dạy theo hình thức kết hợp giữa phương pháp sermina và phương pháp thuyết trình nhằm nâng cao hiệu quả học tập môn sinh học di truyền cho sinh viên năm thứ nhất
14
144
0
Ứng dụng phương pháp giảng dạy tích cực nhằm tăng cường hiệu quả học tập môn Sinh học- Di truyền cho sinh viên trường Đại học Điều dưỡng Nam Định
9
84
0
Báo cáo khoa học cấp Bộ: Nâng cao hiệu quả của việc nuôi sinh khối Artemia trên ruộng muối
116
69
1
Nghiên cứu mối quan hệ giữa phương pháp học tập và kết quả học tập của sinh viên chuyên ngành Kế toán - Kiểm toán tại một số trường đại học khối ngành Kinh tế trên địa bàn Hà Nội
7
105
1
Chế tạo dung dịch nano bạc bằng phương pháp mixen đảo và đánh giá hiệu quả diệt khuẩn của nó đối với một số vi sinh vật thường gặp
6
131
0
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
461887
55
Giới thiệu :Lập trình mã nguồn mở
14
22723
61
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
10906
530
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10083
447
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
9540
104
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8302
1127
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8248
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7867
2220
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6713
253
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
5795
1391
TỪ KHÓA LIÊN QUAN
Cơ sở dữ liệu
Phương pháp hiệu quả sinh dữ liệu
Dữ liệu kiểm thử mức đơn vị
Kiểm chứng mô hình
Kiểm thử đơn vị
Hiệu quả sinh dữ liệu
Dữ liệu mất cân bằng
Phân lớp dữ liệu
Mức độ an toàn
Sinh thêm phần tử ngẫu nhiên
Giảm bớt phần tử ngẫu nhiên
Dữ liệu tiếng Việt
Nâng cao chất lượng đội ngũ giảng viên
Phương pháp máy học
Phương pháp kết hợp BiLSTM CNN
Nâng cao hiệu quả giảng dạy
Chuỗi thời gian mờ
Quan hệ logic mờ
Thuật toán tối ưu bầy đàn
Kỹ thuật giải mờ
Giá trị MSE
Khai phá dữ liệu
Nâng cao hiệu quả tuyển sinh
Mô hình khai phá dữ liệu
Quá trình tiền xử lý dữ liệu
Quản trị tri thức
Phân tích đường bao dữ liệu
Mạng lưới hai giai đoạn
Lý thuyết trò chơi
Hiệu quả sinh lời trên tài sản
Hiệu quả sinh lời trên vốn đầu tư
Dữ liệu có số chiều cao
Bình phương tối thiểu từng phần
Sinh thêm phần tử nhân tạo
Bộ dữ liệu chuẩn từ nguồn UCI
Khai thác dữ liệu
Tập hiếm tối thiểu
Dữ liệu giao dịch thỏa mãn minsup
Tổ chức lưu trữ dữ liệu giao dịch
Thuật toán sinh itemset
Mô hình tăng trưởng kinh tế
Khả năng sinh lời
Hiệu quả kinh doanh ngân hàng
Yếu tố kinh tế vĩ mô
Nhân tố thuộc về ngân hàng
Hồi quy dữ liệu bảng
Rủi ro tín dụng
Khả năng sinh lợi
Hiệu quả hoạt động tài chính
Ngân hàng thương mại cổ phần
Hệ số dư nợ cho vay
Công tác tuyển sinh
Đăng ký trực tuyến
Quản lý giáo dục
Mô hình hóa hệ thống
Thiết kế dữ liệu
mức thức ăn tinh
kinh tế vỗ béo
hệ thống chăn nuôi
sinh vật nổi
dữ liệu đất đai
khoa học phát triển
nghiên cứu khoa học
công nghệ khoa học
TÀI LIỆU MỚI ĐĂNG
Mass Transfer in Multiphase Systems and its Applications Part 19
40
258
1
02-05-2024
Bibliography on Medieval Women, Gender, and Medicine 1980-2009
82
211
0
02-05-2024
BÀI GIẢNG VỀ - MẠCH ĐIỆN II - Chương I: Phân tích mạch trong miền thời gian
38
143
0
02-05-2024
báo cáo hóa học:" Rare ligamentum flavum cyst causing incapacitating lumbar spinal stenosis: Experience with 3 Chinese patients"
4
98
0
02-05-2024
A Practical Guide for Health Researchers - part 7
24
110
0
02-05-2024
MẪU CHỨNG CHỈ QUẢN LÝ VŨ KHÍ, VẬT LIỆU NỔ, CCHT
1
120
0
02-05-2024
Thương hiệu sản phẩm làng nghề: Đã ít, lại thiếu tính cạnh tranh
5
118
0
02-05-2024
Báo cáo khoa học: "Modèle d’évolution des peuplements en futaie jardinée M Bruciamacchie"
10
78
0
02-05-2024
Norton ghost : Chương trình sao chép ổ cứng part 9
8
103
0
02-05-2024
The Constituents of Medicinal Plants
185
100
0
02-05-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7867
2220
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
5795
1391
Ebook Chào con ba mẹ đã sẵn sàng
112
3772
1233
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5334
1136
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8302
1127
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3518
644
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
10906
530
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3695
525
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4071
516
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4136
480
crossorigin="anonymous">
Đã 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.