Automated Random Tests - SAST

ePAPER READ

DOWNLOAD ePAPER

sast.se

Create successful ePaper yourself

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

START NOW

Same but random<br />

For (int i=0; i t.Price < 30))<br />

Assert.IsTrue (myTrades.All ( t => t.Price > 20))

Simple Functional Test EnterBuyOrder (Volume = 100, Price = 23) EnterSellOrder (Volume = 100, Price = 22) Trades[ ] myTrades = GetAllTrades () Assert( myTrades.Count == 1) Assert (myTrades.First().Price = 23) Assert (myTrades.First().Volume = 100)

Same but random For (int i=0; i t.Price < 30)) Assert.IsTrue (myTrades.All ( t => t.Price > 20))

Page 1 and 2: Automated Random Tests
Page 3: Automated Random Test Actors Oracle
Page 7 and 8: Oracle Design MBT • Finite State
Page 9 and 10: Random Test vs. Criticality Master

Automated Random Tests - SAST

Create successful ePaper yourself

Delete template?

Save as template?