27.07.2013 Views

2 Why We Need Model-Based Testing

2 Why We Need Model-Based Testing

2 Why We Need Model-Based Testing

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Delete("")<br />

Systems with Complex State 213<br />

3<br />

5<br />

13<br />

7<br />

Add("")<br />

CheckView(Set(""))<br />

Delete("b")<br />

CheckView(Set(""))<br />

11<br />

Delete("")<br />

12<br />

19<br />

Delete("b")<br />

0<br />

Add("")<br />

CheckView(Set(""))<br />

6<br />

14<br />

Delete("b")<br />

CheckView(Set(""))<br />

Add("b")<br />

Add("b")<br />

9<br />

2<br />

Add("")<br />

CheckView(Set("b", ""))<br />

CheckView(Set("b"))<br />

1<br />

10<br />

Add("b")<br />

CheckView(Set("b"))<br />

Delete("b")<br />

18<br />

Delete("")<br />

17<br />

Delete("")<br />

16<br />

15<br />

20<br />

CheckView(Set("b"))<br />

4<br />

Delete("")<br />

CheckView(Set("b"))<br />

Delete("b")<br />

8<br />

Delete("b")<br />

CheckView(Set())<br />

Delete("")<br />

Delete("b")<br />

Delete("")<br />

Figure 12.6. Partial exploration of Create<strong>Model</strong>WithProbe composed with ProbeScenario and<br />

AddDeleteScenario.<br />

more free ebooks download links at:<br />

http://www.ebook-x.com

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!