Ngữ nghĩa hình thức cho UCML

Chỉ số đề mục

50; 81

Lĩnh vực nghiên cứu

Khoa học máy tính và thông tin

Dạng tài liệu

Tác giả

Chu Thị Minh Huệ⁽¹⁾, Trịnh Thị Nhị, Nguyễn Tuấn Đạt

Nhan đề

Ngữ nghĩa hình thức cho UCML

Nhan đề tiếng anh

Formal Semantic For UCML

Nguồn trích

Tạp chí Khoa học và Công nghệ (Trường đại học Sư phạm Kỹ thuật Hưng Yên)

Năm xuất bản

2022

Số

33

Trang

27-33

ISSN

2354-0575

Từ khóa

UCML, Ngữ nghĩa hình thức, Sinh ca kiểm thử tự động, Đặc tả ca sử dụng, Use Case Modeling Language, Ngôn ngữ UCML.

Từ khóa tiếng anh

UCML, Formal semantics, Automated test births, Use case specification

Tóm tắt

UCML (Use Case Modeling Language) là ngôn ngữ đặc tả ca sử dụng đã được đề xuất trong nghiên cứu trước của tác giả. Ngôn ngữ này cho phép mô hình ca sử dụng, sau đó sử dụng mô hình này làm đầu vào để sinh tự động các ca kiểm thử chức năng. Trong nghiên cứu trước, tác giả đã đề xuất cú pháp trừu tượng và cú pháp cụ thể dạng đồ họa cho ngôn ngữ và đã đề xuất các thuật toán sinh các ca kiểm thử tự động từ mô hình trong UCML. Trong bài báo này, tác giả cung cấp một cú pháp trong chuẩn BNF và một mô tả ngữ nghĩa hình thức cho ngôn ngữ UCML.

Tóm tắt tiếng anh

UCML (Use Case Modeling Language) is the use case specification language proposed in our previous research. This language allows modeling use case in a model. Then, we can use this model as input to automatically generate functional test cases. In the previous research, we have proposed abstract syntax and graphics syntax for the language and proposed algorithms to generate automated test cases from the model in UCML. In this paper, we provide a syntax in the BNF standard and a formal semantic description for the UCML language.

Kí hiệu kho

TTKHCNQG, CVv 380

File toàn văn

Xem toàn văn