X hits on this document

Powerpoint document

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

32 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 views32
Page views32
Page last viewedSun Dec 04 12:56:26 UTC 2016
Pages17
Paragraphs299
Words1977

Comments