Ngữ nghĩa hình thức cho UCML

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Thị Minh Huệ Chu, Tuấn Đạt Nguyễn, Thị Nhị Trịnh

Ngôn ngữ: vie

Ký hiệu phân loại: 004 Data processing || Computer science

Thông tin xuất bản: Tạp chí Khoa học và Công nghệ - Trường Đại học Sư phạm Kỹ thuật Hưng Yên, 2022

Mô tả vật lý: 27-33

Bộ sưu tập: Metadata

ID: 424347

Thêm vào giỏ Liên kết toàn văn

UCML (Use Case Modeling Language) là ngôn ngữ đặc tả ca sử dụng đã được đề xuất trong nghiên cứu trước của tác giả. Ngôn ngữ này cho phép mô hình ca sử dụng, sau đó sử dụng mô hình này làm đầu vào để sinh tự động các ca kiểm thử chức năng. Trong nghiên cứu trước, tác giả đã đề xuất cú pháp trừu tượng và cú pháp cụ thể dạng đồ họa cho ngôn ngữ và đã đề xuất các thuật toán sinh các ca kiểm thử tự động từ mô hình trong UCML. Trong bài báo này, tác giả cung cấp một cú pháp trong chuẩn BNF và một mô tả ngữ nghĩa hình thức cho ngôn ngữ UCML.

1. Đọc trực tuyến

1. Đọc trực tuyến

Tạo bộ sưu tập với mã QR