Các kỹ thuật sinh tự động dữ liệu kiểm thử dựa trên các biểu đồ UML : Luận án TS. Máy tính: 624801

Đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML 2.0 và các ràng buộc OCL. Biểu đồ tuần tự UML 2.0 được áp dụng cho tất cả mười hai toán tử, có cấu trúc phức tạp, các khối lồng ghép nhau. Quá trình sinh dữ liệu kiểm thử tự động được áp dụng cho các biến số và cấu trúc động. Các kịc...

Full description

Saved in:
Bibliographic Details
Main Author: Vũ, Thị Đào
Other Authors: Nguyễn, Việt Hà
Format: Theses and Dissertations
Language:Vietnamese
Published: 2019
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/65175
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: Vietnamese

Similar Items