Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Physical Sciences and Mathematics
Test Case Automation For Specification Patterns System And Composite Propositions, Cuauhtemoc Munoz
Test Case Automation For Specification Patterns System And Composite Propositions, Cuauhtemoc Munoz
Open Access Theses & Dissertations
Specifying software properties is a common activity in the software development process. Software properties are often written in a natural language such as English. However, the ambiguity in natural languages makes validation and verification time-consuming and error-prone. Specifying software properties in formal languages such as Linear Temporal Logic (LTL) or Computation Tree Logic (CTL) enables the use of formal verification tools such as model checkers. Nevertheless, formal languages require software developers to have a strong background in mathematics and logic.
The specification Patterns System (SPS) and Composite Propositions (CPs) use a higher-level abstraction to specify software properties formally. The SPS …