Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hóa chuyên biệt miền
Trình bày ngôn ngữ USL (Use Case Specification Language) để đặc tả rõ ràng các ca sử dụng, hướng đến khả năng sinh tự động các chế tác phần mềm (software artifacts) khác nhau trong quy trình phát triển phần mềm bằng các chuyển đổi mô hình. Ngôn ngữ được xây dựng với cách tiếp cận mô hình hóa chuyên...
Saved in:
主要作者: | Chu, Thị Minh Huệ |
---|---|
其他作者: | Nguyễn, Ngọc Bình |
格式: | Dissertations |
語言: | Vietnamese |
出版: |
2020
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/69930 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Mô hình hóa chuyên biệt miền cho ứng dụng Web
由: Phạm, Văn Thanh
出版: (2016) -
Xây dựng ứng dụng kiểm thử phần mềm tự động sử dụng selenium và webdriver
由: Phạm, Thị Hải Yến
出版: (2020) -
The IT Measurement Compendium
出版: (2017) -
25 years of model checking : history, achievements, perspectives
出版: (2017) -
Unfoldings : ba partial-order approach to model checking
由: Esparza, Javier, et al.
出版: (2017)