TAILIEUCHUNG - Ngôn ngữ đặc tả ca sử dụng

Bài viết đề xuất lý thuyết cho ngôn ngữ mô hình hóa USL (Use Case Specification Language) cho phép đặc tả ca sử dụng bằng mô hình. Ngôn ngữ cho phép đặc tả chính xác các chuỗi hành động tương tác và ngữ nghĩa đầy đủ cho các hành động, điều kiện gác trên các luồng chuyển. | ISSN 2354-0575 NGÔN NGỮ ĐẶC TẢ CA SỬ DỤNG Chu Thị Minh Huệ Trần Đỗ Thu Hà Hoàng Quốc Việt Trường Đại học Sư phạm Kỹ thuật Hưng Yên Ngày nhận 28 1 2016 Ngày xét duyệt 09 3 2016 Tóm tắt Mô hình ca sử dụng nắm bắt các chức năng mà hệ thống phần mềm đáp ứng. Hiện nay mô hình ca sử dụng thông thường được biểu diễn bằng biểu đồ ca sử dụng như trong ngôn ngữ mô hình hóa UML và tài liệu hóa các đặc tả của từng ca sử dụng ở dạng văn bản. Mô hình ca sử dụng được xây dựng trong pha đặc tả yêu cầu mô hình nắm bắt toàn bộ các hành vi của hệ thống và các tương tác giữa hệ thống và các tác nhân bên ngoài. Đặc tả ca sử dụng là đầu vào cho hoạt động thiết kế các ca kiểm thử ở mức kiểm thử hệ thống và xây dựng các mô hình thiết kế như mô hình tương tác trong UML. Để giảm chi phí cho phát triển phần mềm giải pháp tự động hóa là một trong các giải pháp tốt và đem lại lợi ích lớn trong phát triển phần mềm. Đặc tả ca sử dụng thường được tài liệu hóa bằng ngôn ngữ tự nhiên vì vậy giải pháp sinh tự động tài liệu thiết kế kiểm thử hoặc mô hình thiết kế từ đặc tả ca sử dụng vẫn còn nhiều thách thức đặt ra. Trong bài báo này chúng tôi đề xuất một phương pháp cho đặc tả hình thức ca sử dụng bằng một mô hình. Mô hình này cho phép đặc tả chính xác ca sử dụng bằng một ngôn ngữ mô hình hóa USL. Ngôn ngữ USL được mở rộng từ biểu đồ hoạt động trong UML và thêm và các cam kết cho phép đặc tả chi tiết các hành động và các ràng buộc trên các hành động các điều kiện trên luồng chuyển. Với cách tiếp cận này chúng tôi xây dựng một ngôn ngữ mô hình hóa gồm có một siêu mô hình mô tả cú pháp trừu tượng và đề xuất các ký hiệu cho cú pháp cụ thể của ngôn ngữ. Từ đó đem lại khả năng chuyển trực tiếp từ mô hình đặc tả ca sử dụng sang các mô hình thiết kế hoặc sinh tự động các ca kiểm thử. Từ khoá Đặc tả ca sử dụng. 1. Giới thiệu dụng. Trong 4 7 11 một đường đi trong luồng thực Theo định dạng chuẩn trong tài liệu đặc tả hiện Use case là một kịch bản thực hiện Use case phần mềm SRS 6 một mô hình ca sử dụng use .

• Kỹ thuật lập trình
• Ngôn ngữ đặc tả ca sử dụng
• Ngôn ngữ mô hình hóa USL
• Kịch bản thực hiện ca sử dụng
• Tự động hóa từ mô hình ca sử dụng
• Ngôn ngữ đặc tả USL