X hits on this document

Powerpoint document

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

34 views

0 shares

0 downloads

0 comments

12 / 17

20 July, 2004

OSMA Software Assurance Symposium

12

California Institute of Technology

Requirements Decomposition Analysis Highlights (cont’d)

Tools Developed

TraceRequirements.pl

Traces one or more requirements through a set of documents

For each specified requirement, parents and children are found, as well as siblings and all other possible relatives

FindPatterns.pl

A specified set of documents is searched for one or more patterns

Patterns can be specified as regular expressions

CompareResults.pl

Two or more trace and/or search results are compared to identify requirements common to the results

Document info
Document views34
Page views34
Page last viewedMon Dec 05 15:14:43 UTC 2016
Pages17
Paragraphs299
Words1977

Comments