X hits on this document

Powerpoint document

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

40 views

0 shares

0 downloads

0 comments

13 / 17

20 July, 2004

OSMA Software Assurance Symposium

13

California Institute of Technology

Model Based Testing of Sequential Code Properties Highlights

Simplicity of Modeling Systems with Embedded C code

Lurch Modeling Language annotates C code to randomly exercise the code

User Modeled a system with only 15 hours training

Model allows the set of legal calling sequence

Model prohibits the set of legal calling sequence

Promela (SPIN Modeling Language) exhaustively search the model’s state space

Steep Learning Curve Semester long College course required

C code faults reported as having occurred at the model lever where the C call is made

Make debugging embedded C code hard

Confusion over whether errors are

Errors Embedding C in Promela

Errors in the imbedded C code itself

Document info
Document views40
Page views40
Page last viewedSat Dec 10 07:13:27 UTC 2016
Pages17
Paragraphs299
Words1977

Comments