I. Tổng quan
Chương này cung cấp cái nhìn tổng quan về tình hình nghiên cứu trong lĩnh vực chuyển ngôn ngữ và biểu diễn yêu cầu phần mềm. Yêu cầu phần mềm thường được mô tả bằng ngôn ngữ tự nhiên, điều này dẫn đến sự không rõ ràng và khó hiểu. Các phương pháp hình thức hiện tại chỉ cho phép kiểm chứng yêu cầu khi chúng được mô tả bằng ngôn ngữ hình thức, điều này gây khó khăn cho nhóm phát triển. Để giải quyết vấn đề này, Konrad và Cheng đã phát triển hệ thống luật mô tả (SPSKC) giúp ghi lại yêu cầu chức năng bằng một ngôn ngữ là tập con của ngôn ngữ tự nhiên. Tuy nhiên, SPSKC không thể mô tả các yêu cầu phi chức năng. Nghiên cứu này đặt ra hai mục tiêu chính: kết hợp SPSKC và SPSG thành một SPS kết hợp (SPSC) và xác định quy tắc chuyển đổi từ ngôn ngữ tự nhiên sang SPSC.
1.1 Mẫu yêu cầu
Mẫu yêu cầu (RP) là một công cụ hữu ích trong việc mô tả yêu cầu phần mềm. Theo Stephen Withall, RP cung cấp hướng dẫn cho việc xác định yêu cầu cho các nhóm yêu cầu phổ biến, giúp việc viết mô tả trở nên nhanh chóng và dễ dàng hơn. Mặc dù đã có 37 mẫu yêu cầu được đề xuất, nhưng chúng vẫn không thể bao quát tất cả các loại yêu cầu phần mềm. Do đó, việc xây dựng một cấu trúc chuẩn cho mẫu yêu cầu là cần thiết. Cấu trúc này bao gồm các thông tin cơ bản, tính khả dụng, và các gợi ý cho việc thiết kế và kiểm thử. RP đã tạo ra bước tiến đáng kể trong việc mô tả yêu cầu, nhưng chất lượng của từng RP vẫn phụ thuộc vào kinh nghiệm của người tạo ra nó.
II. Phương pháp chuyển ngôn ngữ
Chương này trình bày các phương pháp chuyển đổi yêu cầu từ ngôn ngữ tự nhiên sang SPSC. Việc mô tả yêu cầu trong thiết kế và lập trình hướng đối tượng là rất quan trọng. Phương pháp chuyển đổi bao gồm việc tinh chỉnh yêu cầu và xác định sự kiện. Các bảng hỏi được xây dựng để hỗ trợ quá trình này, bao gồm bảng hỏi PROPEL và bảng hỏi dành cho SPSC. Việc xây dựng bảng hỏi giúp người dùng dễ dàng xác định và chuyển đổi yêu cầu một cách chính xác. Điều này không chỉ giúp giảm thiểu sai sót mà còn tiết kiệm thời gian cho người thực hiện. Các công cụ hỗ trợ như PROPEL đã chứng minh được tính hiệu quả trong việc chuyển đổi yêu cầu, giúp người dùng tìm ra biểu diễn hợp lý cho yêu cầu của họ.
2.1 Phương pháp chuyển đổi
Phương pháp chuyển đổi yêu cầu từ ngôn ngữ tự nhiên sang SPSC cần được thực hiện một cách cẩn thận. Việc mô tả yêu cầu trong thiết kế và lập trình hướng đối tượng đòi hỏi sự chính xác và rõ ràng. Các bước trong quá trình chuyển đổi bao gồm xác định các sự kiện, xây dựng bảng hỏi và tinh chỉnh yêu cầu. Bảng hỏi PROPEL là một công cụ hữu ích trong việc hướng dẫn người dùng xác định yêu cầu một cách chính xác. Việc sử dụng bảng hỏi giúp giảm thiểu sai sót và tăng cường tính chính xác trong quá trình chuyển đổi. Điều này cho thấy tầm quan trọng của việc áp dụng các phương pháp chuyển đổi hiệu quả trong phát triển phần mềm.
III. Áp dụng và mở rộng SPSC
Chương này tập trung vào việc áp dụng và mở rộng SPSC trong thực tế. Phần mềm hỗ trợ được thiết kế với các chức năng cụ thể nhằm giúp người dùng mô tả yêu cầu một cách hiệu quả. Việc sử dụng SPSC để mô tả yêu cầu chức năng và phi chức năng là rất quan trọng. Kết quả áp dụng SPSC cho thấy khả năng mở rộng và tính linh hoạt của nó trong việc đáp ứng các yêu cầu khác nhau. Các luật được mở rộng trong SPSC cũng giúp cải thiện khả năng mô tả yêu cầu, từ đó nâng cao chất lượng sản phẩm phần mềm. Việc áp dụng SPSC không chỉ giúp cải thiện quy trình phát triển phần mềm mà còn tạo ra những sản phẩm chất lượng hơn.
3.1 Phần mềm hỗ trợ
Phần mềm hỗ trợ đóng vai trò quan trọng trong việc áp dụng SPSC. Chức năng của phần mềm bao gồm việc giúp người dùng dễ dàng mô tả yêu cầu và kiểm tra tính chính xác của chúng. Thiết kế và khả năng mở rộng của phần mềm cũng cần được chú trọng để đáp ứng nhu cầu ngày càng cao của người dùng. Việc sử dụng SPSC để mô tả yêu cầu chức năng và phi chức năng giúp đảm bảo rằng tất cả các yêu cầu đều được ghi lại một cách chính xác và đầy đủ. Kết quả áp dụng SPSC cho thấy rằng nó có thể đáp ứng được nhiều yêu cầu khác nhau, từ đó nâng cao chất lượng sản phẩm phần mềm.
IV. Kết luận
Chương cuối cùng tổng kết những kết quả nghiên cứu và đề xuất hướng nghiên cứu tiếp theo. Nghiên cứu đã chỉ ra rằng việc kết hợp SPSKC và SPSG thành SPSC là khả thi và có thể đáp ứng được các yêu cầu phần mềm. Hướng nghiên cứu tiếp theo có thể tập trung vào việc cải thiện quy trình chuyển đổi từ ngôn ngữ tự nhiên sang SPSC, nhằm nâng cao tính chính xác và hiệu quả. Việc phát triển các công cụ hỗ trợ và mẫu yêu cầu cũng cần được chú trọng để đáp ứng nhu cầu ngày càng cao trong lĩnh vực phát triển phần mềm. Kết quả nghiên cứu không chỉ có giá trị lý thuyết mà còn có ứng dụng thực tiễn trong việc nâng cao chất lượng phân tích yêu cầu phần mềm.
4.1 Kết quả nghiên cứu
Kết quả nghiên cứu cho thấy rằng việc áp dụng SPSC có thể cải thiện đáng kể quy trình phát triển phần mềm. Nghiên cứu đã chỉ ra rằng SPSC có khả năng mô tả đầy đủ các yêu cầu chức năng và phi chức năng. Điều này không chỉ giúp nâng cao chất lượng sản phẩm mà còn giảm thiểu sai sót trong quá trình phát triển. Hướng nghiên cứu tiếp theo có thể tập trung vào việc mở rộng SPSC để đáp ứng các yêu cầu mới trong lĩnh vực phần mềm, từ đó tạo ra những sản phẩm chất lượng hơn.
