
Kiểm thử dựa trên mô hình với cách tiếp cận mô hình hoá chuyên biệt miền: LATS Công nghệ thông tin: 9.48.01.03.01/ Chu Thị Minh Huệ
Tác giả : Chu Thị Minh Huệ
Năm xuất bản : 2019
Nơi xuất bản : H.
Mô tả vật lý : XIII, 147tr.: hình vẽ, bảng; 30cm 1 tt
Số phân loại : 005.14
Chủ đề : 1. $2Bộ TK TVQGMô hình hoá. 2. $2Bộ TK TVQGPhần mềm. 3. Kiểm thử.
Thông tin chi tiết
Tóm tắt : | Đề xuất ngôn ngữ USL để đặ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 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 hoá chuyên biệt miền. Xây dựng ngôn ngữ TCSL để đặc tả rõ các ca kiểm thử. Đề xuất phương pháp USLTG để sinh tự động các ca kiểm thử sử dụng bằng cách chuyển đổi tự động các mô hình USL vào trong một mô hình TCSL... |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
LA19.1304.1, LA19.1304.2, LA19.1304.3 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-753344.html |