loading

Khung hình thức hỗ trợ đảm bảo chất lượng chuyển đổi mô hình: LATS Kỹ thuật phần mềm: 9.48.01.03.01/ Nguyễn Thị Hạnh

Tác giả : Nguyễn Thị Hạnh

Năm xuất bản : 2023

Nơi xuất bản : H.

Mô tả vật lý : x, 152 tr.: minh hoạ; 30 cm 1 tt

Số phân loại : 005.3

Chủ đề : 1. Chuyển đổi. 2. Kĩ thuật phần mềm. 3. Kiểm tra. 4. Mô hình. 5. Phát triển. 6. Kĩ nghệ hướng mô hình.

Thông tin chi tiết

Tóm tắt :

Thiết kế ngôn ngữ đặc tả cho phép biểu diễn tập yêu cầu chính thức bởi các cam kết chuyển đổi mô hình trực quan, dễ thẩm định và hỗ trợ cho việc áp dụng các kỹ thuật thiết kế kiểm thử. Đề xuất phương pháp phân tích các loại cam kết khác nhau của đặc tả để thiết kế ca kiểm thử. Phát triển công cụ hỗ trợ cho việc đặc tả và kiểm thử tự động chuyển đổi mô hình

 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 LA23.0304.1, LA23.0304.2, LA23.0304.3
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-907887.html