X hits on this document

Powerpoint document

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

59 views

0 shares

0 downloads

0 comments

16 / 17

20 July, 2004

OSMA Software Assurance Symposium

16

California Institute of Technology

Requirements Decomposition Analysis Future Work

Reduce false positives for traces, searches

Develop guidelines for consistently expressing

Static values

Temporal properties

Natural language processing?

Integrate with measurement tools

In theory, measurable changes in requirements could be related to number of faults inserted/number of failures observed

Requires traceability to implementation

Document info
Document views59
Page views59
Page last viewedMon Jan 23 23:08:03 UTC 2017
Pages17
Paragraphs299
Words1977

Comments