Cải tiến công cụ sinh dữ liệu thử Java PathFinder bởi tối ưu các ràng buộc

##plugins.themes.academic_pro.article.main##

Author

  • Lê Thị Mỹ Hạnh*; Trần Hoàng Dũng, Nguyễn Thanh Bình

Tóm tắt

Sinh dữ liệu thử là một trong các giai đoạn quan trọng và quyết định trong kiểm thử phần mềm. Các kỹ thuật sinh dữ liệu thử cấu trúc dựa trên mã nguồn để tạo ra dữ liệu thử nhằm phát hiện lỗi của người lập trình. Kỹ thuật sinh dữ liệu thử sử dụng thực thi ký hiệu được cài đặt trong công cụ Java PathFinder để sinh dữ liệu thử cho các chương trình Java. Tuy nhiên, hiệu năng công cụ Java PathFinder còn hạn chế: thời gian thực thi khá lớn. Trong bài báo này, chúng tôi đề xuất việc áp dụng thuật toán tối ưu các ràng buộc - biểu diễn các lộ trình thực thi mã nguồn - nhằm giảm thời gian thực thi, nhưng vẫn đảm bảo hiệu quả bao phủ. Giải pháp cải tiến được thử nghiệm trên tập các chương trình Java khác nhau và cho kết quả rất khả quan.

Tài liệu tham khảo

    [1] Cristian Cadar and Koushik Sen, “Symbolic execution for software testing: three decades later”, Commununications of the ACM 56, February. 2013, pp. 82-90.
    [2] Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser, Symbolic Execution for Software Testing in Practice – Preliminary Assessment, Proceedings of the 33rd International Conference on Software Engineering, 2011.
    [3] W. Visser, K. Havelund, G. Brat, S.-J. Park, and F. Lerda, “Model Checking Programs”, Automated Software Engineering Journal, 10(2), April. 2003.
    [4] J. C. King, Symbolic execution and program testing, Communication ACM, 19(7), 1976, pp. 385–394.
    [5] D. Coward, Symbolic execution and testing, Inf. Softw. Technol., 33(1), 1991, pp. 53–64.
    [6] Corina S. Pǎsǎreanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, and Mark Pape, Combining unit-level symbolic execution and system-level concrete execution for testing nasa software, In Proceedings of the 2008 International Symposium on Software testing and analysis (ISSTA '08), ACM, New York, NY, USA, 2008, pp.
    [7] -26.
    [8] Ikpeme Erete and Alessandro Orso, Optimizing Constraint Solving to Better Support Symbolic Execution, Proceedings of the 2012 IEEE Fourth International Conference on Software Testing, Verification and Validation, 2012.
    [9] http://www.choco-solver.org.
    [10] Ngô Pô Na, Xây dựng công cụ sinh dữ liệu thử tự động cho chương trình Java, Luận văn Thạc sỹ, Đại học Đà Nẵng, 2017.
Xem thêm

##plugins.themes.academic_pro.article.sidebar##

Đã Xuất bản

May 31, 2017
Download
PDF
Cách trích dẫn
Le Thi My Hanh*; Tran Hoang Dung, Nguyen Thanh Binh. “Cải tiến công cụ Sinh dữ liệu thử Java PathFinder bởi tối ưu các ràng buộc”. Tạp Chí Khoa học Và Công nghệ - Đại học Đà Nẵng, vol 5, số p.h 114.1, Tháng Năm 2017, tr 104-7, https://jst-ud.vn/jst-ud/article/view/3096.

##plugins.themes.academic_pro.article.details##