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
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...
Saved in:
主要作者: | Phan, Văn Tiến |
---|---|
其他作者: | Nguyễn, Trường Thắng |
格式: | Theses and Dissertations |
出版: |
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/42878 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Phương pháp tạo giả định tối thiểu áp dụng để kiểm chứng phần mềm hướng thành phẩm
由: Nguyễn, Văn Hiếu
出版: (2016) -
Kiểm chứng từng phần cho chương trình C
由: Hoàng, Mạnh Khôi, et al.
出版: (2016) -
Kiểm chứng dịch vụ Web với logic thời gian
由: Đào, Thị Hường
出版: (2017) -
Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
由: Nguyễn, Thị Loan, et al.
出版: (2016) -
Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
由: Đậu, Quốc Toản
出版: (2016)