Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10

• Main Author: Phan, Văn Tiến
• Other Authors: Nguyễn, Trường Thắng
• Format: Theses and Dissertations
• Published: 2017
• Subjects: Công nghệ phần mềm; Dữ liệu; Kiểm chứng mô hình; Phần mềm
• Online Access: http://repository.vnu.edu.vn/handle/VNU_123/42878
• Institution: Vietnam National University, Hanoi

Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chươn...