TAILIEUCHUNG - 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ự

• 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