Luật giới hạn sử dụng ngôn ngữ tự nhiên

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 29 - 32)

Bảng 3.2 trình bày bảy luật (R1-R7) giới hạn việc sử dụng ngôn ngữ tự nhiên, bảng cũng giải thích lý do tại sao chúng cần thiết để giảm sự mơ hồ. Lƣu ý rằng các luật này chỉ áp dụng cho các bƣớc hành động (action steps) và không áp dụng cho các bƣớc điều kiện (condition steps), tiền điều kiện (pre-conditions) hoặc hậu điều kiện (post-conditions).

21

Bảng 3.2: Bộ luật giới hạn của RUCM (R1 – R7)

# Mô tả Diễn giải

R1 Chủ ngữ của một câu trong các luồng cơ bản và thay thế phải là hệ thống (system) hoặc một tác nhân (actor).

Bắt buộc mô tả các luồng sự kiện một các chính xác. Các luật này tuân theo mẫu ca sử dụng của chúng tôi (năm tƣơng tác). R2 Mô tả luồng sự kiện một cách tuần tự.

R3 Các tƣơng tác Actor-to-actor là không đƣợc phép.

R4 Mỗi câu chỉ mô tả một hành động (tránh các vị từ ghép).

Nếu không, thật khó để quyết định cho chuỗi nhiều hành động trong một câu.

R5 Chỉ sử dụng thì hiện tại. Bắt buộc mô tả những gì hệ thống làm thay vì những gì hệ thống sẽ làm hoặc đã làm.

R6 Sử dụng cách nói chủ động thay vì bị động.

Bắt buộc hiển thị rõ ràng chủ ngữ và/hoặc (các) tân ngữ của một câu.

R7 Mô tả rõ ràng sự tƣơng tác giữa hệ thống (system) và các tác nhân (actors) mà không bỏ sót đối tƣợng gửi và nhận.

Chín luật R8-R16 giới hạn việc sử dụng ngôn ngữ tự nhiên đƣợc trình bày trong Bảng 3.3 áp dụng cho tất cả các câu trong đặc tả ca sử dụng: các bƣớc hành động (action steps), bƣớc điều kiện (condition steps), tiền điều kiện (pre- conditions), hậu điều kiện (post-conditions) và các câu trong phần mô tả ngắn gọn (Brief Description).

R8-R10 và R16 là để giảm sự mơ hồ của đặc tả ca sử dụng, các luật còn lại mặc dù chúng cũng có thể giúp giảm thiểu sự mơ hồ nhƣng đặc biệt là để tạo điều kiện thuận lợi cho việc tạo mô hình phân tích tự động.

R13 và R15 đƣợc cho là phƣơng pháp hay để viết đặc tả ca sử dụng rõ ràng và ngắn gọn. Hai luật này đƣợc đề xuất vì chúng tôi nhận thấy rằng trạng từ phủ định, tính từ phủ định và cụm từ phân từ rất khó phân tích đối với trình phân tích cú pháp ngôn ngữ tự nhiên.

R9 yêu cầu sử dụng các từ một cách nhất quán để ghi lại các đặc tả ca sử dụng.

22

Cách tiếp cận phổ biến để làm nhƣ vậy là sử dụng mô hình miền và bảng thuật ngữ làm cơ sở để viết đặc tả ca sử dụng.

Bảng 3.3: Bộ luật giới hạn của RUCM (R8 – R16)

# Mô tả Diễn giải

R8 Chỉ sử dụng câu trần thuật. “Is the system idle?” không phải là một câu trần thuật.

Thƣờng đƣợc yêu cầu cho việc viết UCSs.

R9 Sử dụng các từ một cách nhất quán. Một điều bất kì nên giữ một thuật ngữ để mô tả.

R10 Không sử dụng động từ khuyết thiếu (ví dụ might)

Các động từ khuyết thiếu và các trạng từ thƣờng biểu thị sự không chắc chắn. Do đó, chỉ số này nên đƣợc sử dụng nếu có thể.

R11 Tránh dùng các trạng trừ (ví dụ very).

R12 Chỉ sử dụng những câu đơn giản. Một câu đơn giản chỉ chứa một chủ ngữ và một vị ngữ.

Tạo điều kiện thuận lợi cho việc phân tích cú pháp NL tự động và giảm sự mơ hồ.

R13 Không sử dụng trạng từ và tính từ phủ định (ví dụ hardly, never), nhƣng đƣợc phép sử dụng not hoặc no.

R14 Không sử dụng đại từ nhân xƣng (ví dụ

he, this)

R15 Không sử dụng các cụm phân từ làm bổ ngữ cho trạng ngữ.

Ví dụ, phần chữ nghiêng của câu “ATM is idle, displaying a Welcome message” là một cụm phân từ.

R16 Sử dụng “the system” để chỉ hệ thống đƣợc thiết kế một cách nhất quán trong thuật ngữ mô tả.

Giữ một thuật ngữ để mô tả hệ thống nhằm mục đích giảm sự mơ hồ.

23

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 29 - 32)

Tải bản đầy đủ (PDF)

(68 trang)