Requirements Characteristics Verification Method and Tool Based on Rules Constructed Form Software Component Relationships

Abstract

Natural language sentences are normally used in specifying user requirements. However, the structure of natural language sentences may result in ambiguity or many possible interpretations of meaning. Therefore, the UML language has been used for requirements modeling as a communication medium between the user and the developer and among developers to reduce this problem. However, designing software models using UML from natural language sentences is complicated, and in some projects there are many user requirements, which may result in a designed model that does not completely cover the user requirements. Software engineers should therefore give importance to verification of requirements in the form of natural language sentences and the model to have good characteristics. Therefore, this research presents a method for verifying requirements in natural language sentence form, the software model and the model description to have good characteristics according to the IEEE 830 standard: Unambiguity, Consistency, and Traceability, using rules created from the components of the requirements sentences and UML models, as well as developing a tool for verification, which shows the results as the defects of the requirements obtained from verification for subsequent correction.