| 摘要 |
According to some embodiments, a system 100 and method are provided comprising a communication device operative to communicate with a user to obtain one or more requirements 102, wherein each requirement is defined using a formal notation; a requirements analysis module 118 to receive the one or more requirements, store the one or more requirements, and analyze each requirement individually and two or more requirements in conjunction to determine whether a conflict exists in the one or more requirements; an error localization module 303a-k to identify each requirement involved in the conflict and indicates how the one or more requirement conflicts; a memory 730 for storing program instructions 712/714; at least one requirements analysis processor 710, coupled to the memory 730, and in communication with requirements analysis module and the error localization module and operative to execute program instructions to: analyze each requirement individually to determine if the requirement is self-conflicting by executing a self-conflicting module of the requirements analysis module; generate an error explanation 305a-k by executing the error localization module in response to the self-conflicting module determining the requirement self-conflicts; receive a first updated requirement from a user in response to the self-conflicting module 310 determining the requirement is self-conflicting; repetitively analyze each updated requirement to determine if the requirement self-conflicts until the self-conflicting module determines the requirement is not self-conflicting; analyze two or more requirements in conjunction to determine if two or more requirements conflict by executing a set-conflicting module 312 of the requirements analysis module after it is determined each requirement is not self-conflicting; generate an error explanation 305f by executing the error localization module in response to the set-conflicting module 312 determining two or more requirements conflict; receive a second updated requirement from a user in response to the set-conflicting module determining two or more requirements conflict; and repetitively analyze each updated requirement with the set-conflicting module to determine if the two or more requirements conflict until the set-conflicting module determines the two or more requirement are not self-conflicting; generate an indication that requirements analysis is complete for the one or more requirements and the one or more requirements is validated for use in software design. Numerous other aspects are provided. |
