Siêu mô hình UCMeta

Một phần của tài liệu PHƯƠNG PHÁP SINH tự ĐỘNG các CA KIỂM THỬ từ đặc tả CA sử DỤNG (Trang 35 - 36)

UCMeta là siêu mô hình trung gian trong aToucan [10], đƣợc sử dụng để thu hẹp khoảng cách giữa ca sử dụng dạng văn bản UCMod và mô hình phân tích UML (class, sequence, activity, and state machine diagrams). Kết quả sẽ có hai sự chuyển đổi: từ dạng văn bản của ca sử dụng UCMod sang siêu mô hình trung gian và từ siêu mô hình trung gian sang mô hình phân tích (Hình 3.1). Siêu mô hình UCMeta tuân thủ các giới hạn và khuôn mẫu đặc tả ca sử dụng của RUCM. UCMeta hiện bao gồm 108 metaclasses và sẽ phát triển theo thời gian. Mô tả chi tiết của siêu mô hình UCMeta đƣợc đƣa ra trong [10].

UCMeta là phân cấp và chứa năm gói: UML::UseCases, UCSTemplate, SentencePatterns, SetenceSemanticsSentenceStructure.

(1)UML::UseCases là một gói của cấu trúc thƣợng tầng UML 2, xác định các khái niệm chính đƣợc sử dụng cho các mô hình hóa ca sử dụng chẳng hạn nhƣ các tác nhân và các ca sử dụng.

(2)UCSTemplate là gói mô hình hóa khái niệm về mẫu ca sử dụng của RUCM.

(3)SentencePatterns là gói mô tả các kiểu khác nhau của các mẫu câu, trong đó chỉ định duy nhất cấu trúc ngữ pháp của một câu đơn giản, ví dụ, SVDO (subject-verb-direct object) chủ ngữ-động từ-tân ngữ trực tiếp (Bảng 6, Basic flow, step 6).

(4)SentenceSemantics là gói mô hình hóa việc phân loại các câu từ khía cạnh của các chức năng ngữ nghĩa của chúng trong mô hình ca sử dụng

27

UCMod. Mỗi câu trong đặc tả ca sử dụng (UCS) có thể là một ConditionSentence hoặc một ActionSentence.

(5)SentenceStructure quan tâm đến khái niệm ngôn ngữ tự nhiên (Natural Language - NL) trong câu nhƣ chủ ngữ hoặc cụm danh từ (Noun Phrase - NP).

Gói UCSTemplate chủ yếu liên quan đến việc tạo ra các biểu đồ máy trạng thái và do đó nó là gói duy nhất đƣợc thảo luận trong phần này.

Gói UCSTemplate không chỉ mô hình hóa các khái niệm của mẫu ca sử dụng mà cũng chỉ định ba loại câu : SimpleSentences, ComplexSentences

SpecialSentences.

(1)SimpleSentences : trong ngôn ngữ học, câu đơn chỉ có một mệnh đề độc lập và không có mệnh đề phụ thuộc: một chủ ngữ (Subject) và một vị ngữ (Predicate).

(2)ComplexSentences : UCMeta có bốn loại câu phức là

ConditionCheckSentence, ConditionalSentence, IterativeSentence và ParallelSentence tƣơng ứng với bốn từ khóa đƣợc chỉ định trong RUCM (Phần 2.2) mô hình điều kiện (IF-THEN-ELSE-ELSEIF-THEN-ENDIF), lặp lại (DO-UNTIL), đồng thời (MEANWHILE) và xác nhận hợp lệ (VALIDATES THAT) trong các câu của đặc tả ca sử dụng UCS.

(3)SpecialSentences : UCMeta cũng có bốn loại câu đặc biệt để chỉ định cách các luồng trong một ca sử dụng hoặc giữa các ca sử dụng liên quan đến một ca sử dụng khác. Chúng tƣơng ứng với các từ khóa RESUME STEP, ABORT, INCLUDE USE CASE, EXTENDED BY USE CASE, và RFS (Reference Flow Step).

Một phần của tài liệu PHƯƠNG PHÁP SINH tự ĐỘNG các CA KIỂM THỬ từ đặc tả CA sử DỤNG (Trang 35 - 36)