loading

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
Thư viện Quốc gia Việt Nam LA19.1304.1, LA19.1304.2, LA19.1304.3
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-753344.html