Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801
134 tr.
Saved in:
| Main Author: | |
|---|---|
| Format: | Theses and Dissertations |
| Published: |
H.: Trường Đại học Công Nghệ
2018
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/61243 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| id |
oai:112.137.131.14:VNU_123-61243 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-612432018-09-22T06:55:32Z Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 Lê, Chí Luận Phần mềm ứng dụng Công nghệ thông tin 134 tr. Đề xuất một phương pháp hoàn chỉnh nhằm tự động sinh mô hình và kiểm chứng từng phần cho các thiết kế phần mềm được đặc tả bằng biểu đồ tuần tự UML 2.0. Ý tưởng chính của phương pháp này là tự động sinh mô hình đặc tả chí nh xác hành vi của các biểu đồ tuần tự biểu diễn dưới dạng các máy hữu hạn trạng thái được gán nhãn (LTSs). Các mô hình này cùng với thuộc tính được kiểm chứng (chỉ cho các thuộc tính an toàn) sẽ được cung cấp cho phương pháp kiểm chứng giả định – đảm bảo nhằm kiểm chứng tính đúng đắn của hệ thống mà không cần ghép nối các mô hình của các thành phần lại với nhau. Bằng cách áp dụng phương pháp kiểm chứng này, bài toán bùng nổ không gian trạng thái hứa hẹn được giải quyết. Một công cụ hỗ trợ cũng đã được cài đặt và thực nghiệm với một số ví dụ điển hình nhằm minh chứng cho tính đúng đắn và tính hiệu quả của phương pháp đề xuất. 2018-03-07T08:37:11Z 2018-03-07T08:37:11Z 2017 Thesis http://repository.vnu.edu.vn/handle/VNU_123/61243 application/pdf H.: Trường Đại học Công Nghệ |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| topic |
Phần mềm ứng dụng Công nghệ thông tin |
| spellingShingle |
Phần mềm ứng dụng Công nghệ thông tin Lê, Chí Luận Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 |
| description |
134 tr. |
| format |
Theses and Dissertations |
| author |
Lê, Chí Luận |
| author_facet |
Lê, Chí Luận |
| author_sort |
Lê, Chí Luận |
| title |
Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 |
| title_short |
Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 |
| title_full |
Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 |
| title_fullStr |
Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 |
| title_full_unstemmed |
Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : Luận án TS. Máy tính: 624801 |
| title_sort |
đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự : luận án ts. máy tính: 624801 |
| publisher |
H.: Trường Đại học Công Nghệ |
| publishDate |
2018 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/61243 |
| _version_ |
1680963161627295744 |