20 July, 2004
OSMA Software Assurance Symposium
California Institute of Technology
Query 1: yields this set of requirements
Query 2: yields this set of requirements
As before, for easy of viewing the results are presented in HTML tables that provide hyperlinks to the requirements themselves.
Simplest example, of two result sets
Example: requirements that trace to a mass-related requirement
Example: requirements that involve the string Kg
Result: mass-related requirements that do NOT involve the string Kg
Result: requirements that do involve the string Kg but are not related to mass requirements
Result: requirements that do involve the string Kg AND are related to mass requirements
Requirements Decomposition Analysis Highlights (cont’d)
Trace- and string- based means to query a set of requirements have been developed. The result of such a query is a set of requirements. We have also developed capabilities to compare such result sets. Given two or more queries each of which yields a set of requirements, the capabilities developed allow the calculation of the intersection, difference and union among the several returned sets.
The simplest example, of two results sets, is shown below. The results are placed into one of three categories: occurs in only the results returned by the first query; occurs in only the results returned by the second query; occurs in both sets of results (see diagram below). More generally, for N queries, results are distributed among 2N – 1 categories.