X hits on this document

Powerpoint document

Requirements Decomposition Analysis, Model Based Testing of Sequential Code Properties - page 11 / 17

55 views

0 shares

0 downloads

0 comments

11 / 17

20 July, 2004

OSMA Software Assurance Symposium

11

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.

Document info
Document views55
Page views55
Page last viewedSun Jan 22 10:35:38 UTC 2017
Pages17
Paragraphs299
Words1977

Comments