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...
Saved in:
主要作者: | |
---|---|
其他作者: | |
格式: | Theses and Dissertations |
語言: | Vietnamese |
出版: |
2019
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/65175 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|