X hits on this document

Powerpoint document

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

41 views

0 shares

0 downloads

0 comments

17 / 17

20 July, 2004

OSMA Software Assurance Symposium

17

California Institute of Technology

Model Based Testing of Sequential Code Properties Future Work

Automatic Generation of LURCH models from

State Charts

Source Code

Extension of LURCH for Test Case Generation

Application of LURCH as a C source code debugging agent

Application of LURCH to ongoing software projects

Future work contingent on securing additional funding

Current work performed with minimal funds (12K) and achieved

Solid value added with respect to cost (ROI)

Valuable Lessons learned

LURCH established as viable and practical testing tool

Clarified and Next Steps and for Maximizing future ROI

Document info
Document views41
Page views41
Page last viewedSat Dec 10 13:33:42 UTC 2016
Pages17
Paragraphs299
Words1977

Comments