Thông tin tài liệu
Nhan đề : | Efficiently Generating Test Data to Kill Stubborn Mutants by Dynamically Reducing the Search Domain |
Tác giả: | Dang, Xiangying |
Người tham gia: | Yao, Xiangjuan Gong, Dunwei Tian, Tian |
Năm xuất bản : | 2020 |
Nhà xuất bản : | IEEE Xplore |
Số tùng thư/báo cáo: | IEEE Transactions on Reliability ( Volume: 69, Issue: 1, March 2020) |
Tóm tắt : | Mutation testing is a fault-oriented software testing technique, and a test suite generated based on the criterion of mutation testing generally has a high capability in detecting faults. A mutant that is hard killed is called a stubborn one. The traditional methods of test data generation often fail to generate test data that kill stubborn mutants. To improve the efficiency of killing stubborn mutants, in this article, we propose a method of generating test data by dynamically reducing the search domain under the criterion of strong mutation testing. To fulfill this task, we first present a method of measuring the stubbornness of a mutant based on the reachability condition of a mutated statement. Then, we formulate the problem of generating test data to kill the mutant as an optimization one with a unique constraint. Finally, we generate test data using a coevolutionary genetic algorithm. Given the fact that the domain of test data that kills a stubborn mutant is generally small, we adopt a method of dynamically reducing the search domain to improve the efficiency of the algorithm. We apply the proposed method to test eight benchmark and industrial programs. The experimental results demonstrate that the proposed method has capabilities in seeking stubborn mutants and efficiently generating test data to kill stubborn mutants |
URI: | http://tailieuso.tlu.edu.vn/handle/DHTL/10470 |
Nguồn trực tuyến: | https://doi.org/10.1109/TR.2019.2922684 |
Trong bộ sưu tập: | Tài liệu hỗ trợ nghiên cứu khoa học |
XEM MÔ TẢ
38
XEM & TẢI
9
Danh sách tệp tin đính kèm:
Bạn đọc là cán bộ, giáo viên, sinh viên của Trường Đại học Thuỷ Lợi cần đăng nhập để Xem trực tuyến/Tải về
Khi sử dụng tài liệu trong thư viện số bạn đọc phải tuân thủ đầy đủ luật bản quyền.