Chương IV : Kết luận
4.1 Kết quả nghiên cứu
Xuất phát từ gợi ý của nhóm nghiên cứu của BOSCH [2] trong một công bố rằng có thể kết hợp luật mô tả yêu cầu dùng để biểu diễn yêu cầu chức năng của Konrad và Cheng (SPSKC) [12], và luật mô tả yêu cầu dùng để biểu diễn yêu cầu phi chức năng của Grunske (SPSG) [6], luận văn đã kiểm chứng khả năng thể hiện yêu cầu phần mềm của SPSC xây dựng bằng cách kết hợp SPSKC và SPSG.
Trong quá trình chuyển đổi yêu cầu từ ngôn ngữ tự nhiên sang SPSC (một bộ giới hạn các từ và cấu trúc tiếng anh dùng để thể hiện yêu cầu phần mềm, có thể dịch tự động sang các dạng logic), luận văn đã trình bày cách xây dựng phương pháp để chuyển yêu cầu từ ngôn ngữ tự nhiên sang SPSC dựa trên tư tưởng sử dụng bảng hỏi của công cụ PROPEL [4]. Luận văn cũng đã đưa ra các quy tắc chi tiết cho từng bước: tinh chỉnh yêu cầu, lựa chọn sự kiện, và xây dựng lại gần như hoàn toàn một bảng hỏi áp dụng riêng cho SPSC.
Đồng thời, luận văn cũng đã xây dựng được một phần mềm hỗ trợ cho việc sử dụng bảng hỏi này. Luận văn này được thiết kế để bảng hỏi có thể thay đổi tùy biến mà không cần lập trình lại, đồng thời cấu trúc trong bảng hỏi có thể phức tạp hơn cấu trúc hiện có (ví dụ một yêu cầu mô tả bằng ngôn ngữ tự nhiên có thể tương ứng với nhiều mô tả trong SPSC).
Kết quả chuyển đổi cho thấy, cần mở rộng SPSC thêm 03 luật mô tả để có thể thể hiện được các yêu cầu chức năng một cách đầy đủ và chính xác, trong khi các yêu cầu phi chức năng hiện mới được mô tả 60%.