04.09.2013 Views

Automated Random Tests - SAST

Automated Random Tests - SAST

Automated Random Tests - SAST

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Oracle Design MBT<br />

• Finite State Machines (FSM) can be used as models<br />

Enter<br />

Limit<br />

Order<br />

Start<br />

Clean<br />

orderbook<br />

Enter<br />

Iceberg<br />

Order<br />

Verify<br />

Trades<br />

Business People can understand this!<br />

Enter<br />

AllOrNone<br />

Order<br />

Google on:<br />

Kristian Karl<br />

Graphwalker

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

Saved successfully!

Ooh no, something went wrong!