X hits on this document

Powerpoint document

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

48 views

0 shares

0 downloads

0 comments

15 / 17

20 July, 2004

OSMA Software Assurance Symposium

15

California Institute of Technology

Model Based Testing of Sequential Code Properties Highlights (cont’d)

Scalability of LURCH

LURCH scales better than SPIN over larger systems

X-axis is # of entities / size

Y-axis is Time / Memory Used

Document info
Document views48
Page views48
Page last viewedFri Jan 20 14:38:02 UTC 2017
Pages17
Paragraphs299
Words1977

Comments