X hits on this document

Powerpoint document

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

45 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 views45
Page views45
Page last viewedMon Dec 19 20:05:20 UTC 2016
Pages17
Paragraphs299
Words1977

Comments