A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs
Số trang: 18
Loại file: pdf
Dung lượng: 941.22 KB
Lượt xem: 11
Lượt tải: 0
Xem trước 2 trang đầu tiên của tài liệu này:
Thông tin tài liệu:
This paper proposes an automated test cases generation method from sequence diagrams, class diagrams, and object constraint language in order to solve several steps of the model-based testing process. The method supports UML 2.0 sequence diagrams including eight kinds of combined fragments. Test cases are generated with respect to the given concurrency coverage criteria.
Nội dung trích xuất từ tài liệu:
A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs
Nội dung trích xuất từ tài liệu:
A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs
Tìm kiếm theo từ khóa liên quan:
Khoa học máy tính Tạp chí khoa học Model based Testing Sequence Diagram Object Constraint LanguageGợi ý tài liệu liên quan:
-
Tóm tắt Đồ án tốt nghiệp Khoa học máy tính: Xây dựng ứng dụng quản lý quán cà phê
15 trang 460 1 0 -
Đề thi kết thúc học phần học kì 2 môn Cơ sở dữ liệu năm 2019-2020 có đáp án - Trường ĐH Đồng Tháp
5 trang 371 6 0 -
6 trang 278 0 0
-
Thống kê tiền tệ theo tiêu chuẩn quốc tế và thực trạng thống kê tiền tệ tại Việt Nam
7 trang 265 0 0 -
5 trang 232 0 0
-
32 trang 211 0 0
-
10 trang 208 0 0
-
Quản lý tài sản cố định trong doanh nghiệp
7 trang 206 0 0 -
Đồ án nghiên cứu khoa học: Ứng dụng công nghệ cảm biến IoT vào mô hình thủy canh
30 trang 199 0 0 -
6 trang 192 0 0