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:
Main Author: | Chu, Thị Minh Huệ |
---|---|
Other Authors: | Nguyễn, Ngọc Bình |
Format: | Dissertations |
Language: | Vietnamese |
Published: |
2020
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/69930 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | Vietnamese |
Similar Items
-
Mô hình hóa chuyên biệt miền cho ứng dụng Web
by: Phạm, Văn Thanh
Published: (2016) -
Xây dựng ứng dụng kiểm thử phần mềm tự động sử dụng selenium và webdriver
by: Phạm, Thị Hải Yến
Published: (2020) -
The IT Measurement Compendium
Published: (2017) -
25 years of model checking : history, achievements, perspectives
Published: (2017) -
Unfoldings : ba partial-order approach to model checking
by: Esparza, Javier, et al.
Published: (2017)