NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Due to the lapse in federal government funding, NASA is not updating this website. We sincerely regret this inconvenience.

Back to Results
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, out 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 interesting temporal properties.
Document ID
20010106110
Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Menzies, Tim
(British Columbia Univ. Vancouver, British Columbia Canada)
Powell, John
(AverStar, Inc. Fairmount, WV United States)
Houle, Michael E.
(Sydney Univ. Australia)
Kelly, John C.
Date Acquired
September 7, 2013
Publication Date
January 1, 2001
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 23rd International Conference on Software Engineering
Location: Toronto
Country: Canada
Start Date: January 1, 2001
Funding Number(s)
CONTRACT_GRANT: NCC2-979
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available