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ị
Đang chuẩn bị liên kết để tải về tài liệu:
Một phương pháp hiệu quả sinh dữ liệu kiểm thử mức đơn vị
Kim Xuân
106
6
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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ự
TÀI LIỆU LIÊN QUAN
Sáng kiến kinh nghiệm: Một số biện pháp hướng dẫn học sinh lớp 1 Trường Tiểu học Hoàng Văn Thụ giải toán qua mạng internet đạt hiệu quả
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
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
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?
Sáng kiến kinh nghiệm: Định hướng tư duy và phân tích bài toán thông qua một số bài tập hình học tọa độ trong mặt phẳng, nhằm nâng cao hiệu quả học tập chuyên đề phương pháp tọa độ trong mặt phẳng cho học sinh lớp 10 – Trường THPT Quảng Xương 4
SKKN: Một số biện pháp nâng cao hiệu quả giảng dạy bài 28: thực hành “quan sát vi sinh vật” Sinh học 10 ban cơ bản
SKKN: Một số biện pháp rèn kỹ năng đọc - hiểu qua phân môn Tập đọc cho học sinh lớp 5A, trường Tiểu học Mỹ Thủy - Lệ Thủy - Quảng Bình
Bồi dưỡng năng lực vận dụng phương pháp thực nghiệm trong dạy học vật lí qua việc tổ chức dạy học theo góc - Một hiệu quả kép trong quá trình đào tạo sinh viên
Luận văn Thạc sĩ Khoa học lâm nghiệp: nghiên cứu phương pháp hiệu chỉnh biểu quá trình sinh trưởng để xác định một số chỉ tiêu sản lượng cho các lâm trường phần Mỡ (Manglietia Glauca) và Sa Mộc (Cunninghamia lanceolata) ở một số tỉnh phía Bắc
SKKN: Một số giải pháp có thể hỗ trợ cho việc giảng dạy hiệu quả tiết thực hành Sinh học 10 nâng cao
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.