Automated Random Tests - SAST

ePAPER READ

DOWNLOAD ePAPER

sast.se

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

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

START NOW

Random Test vs. Criticality

Master Thesis “Tekniker för att testa mjukvara” (studie börssystem)

Stefan Särd, Dag Wester, 2001

Advanced Oracle Design • Constraint Model Based Oracle – Master Thesis “Constraint Programming for Random Testing of a Trading System” Roberto Castaneda Lozano, 2010 • Neural net based oracle – Master Thesis “Neuronnätsbaserad agent” Torbjörn Bäckmark, 2001 • Machine learning based oracle – Master Thesis “Learning the transaction flow at an exchange” Peter Stenman , 2002 (Alexander Kaul supervisor at OMX)

Random Test vs. Criticality Master Thesis “Tekniker för att testa mjukvara” (studie börssystem) Stefan Särd, Dag Wester, 2001

Page 1 and 2: Automated Random Tests
Page 3 and 4: Automated Random Test Actors Oracle
Page 5 and 6: Same but random For (int i=0; i t.P
Page 7: Oracle Design MBT • Finite State

Automated Random Tests - SAST

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

Delete template?

Save as template?