A Logical Approach for Testing Requirements

K. Mu, Z. Jin, and R. Lu (PRC)


Software Requirements, Verification and Validation, Re quirements Testing, Annotated Predicate Calculus.


The requirements testing could assist developers to learn the behavior of system-to-be in certain environment. It may also be useful to clarify problematical information during the requirements stage. In this paper we present a logi cal approach to testing requirements based on Annotated Predicate Calculus. This approach provides a basis for au tomated requirements testing. A labelled Annotated Pred icate Calculus has been developed. And a paraconsistent logical approach has been provided to test requirements. Based on this framework, many other issues, such as the representation of the conceptual test case, the design of the testing process, and the analysis of the results of testing have been discussed in details.

Important Links:

Go Back