Sciweavers

Share
ICSE
2001
IEEE-ACM

Fast Formal Analysis of Requirements via "Topoi Diagrams"

10 years 5 months ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cost of requirements analysis. We show here that requirements expressed as topoi diagrams can be built and tested cheaply – using our SP2 algorithm, the formal temporal properties of a large class of topoi can be proven very quickly, in time nearly linear in the number of nodes and edges in the diagram. There are two limitations to our approach. Firstly, topoi diagrams cannot express certain complex concepts such as iteration and sub-routine calls. Hence, our approach is more useful for requirements engineering than for traditional model checking domains. Secondly, our approach is better for exploring the temporal occurrence of properties than the temporal ordering of properties. Within these restrictions, we can express a useful range of concepts currently seen in requirements engineering, and a wide range of...
Tim Menzies, John D. Powell, Michael E. Houle
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where ICSE
Authors Tim Menzies, John D. Powell, Michael E. Houle
Comments (0)
books