MantisBT - Z.C++
View Issue Details
0000043Z.C++[All Projects] Feature Requestpublic2011-01-23 22:182011-10-08 12:17
zaimoni 
zaimoni 
normalminorN/A
assignedopen 
 
0.0.10 
0000043: Pseudorandom regression test driver framework
Again, cf. John Regehr's work.
No tags attached.
Issue History
2011-01-23 22:18zaimoniNew Issue
2011-01-23 22:18zaimoniTarget Version => Vaporware
2011-10-08 12:16zaimoniNote Added: 0000025
2011-10-08 12:16zaimoniNote Edited: 0000025bug_revision_view_page.php?bugnote_id=0000025#r31
2011-10-08 12:17zaimoniAssigned To => zaimoni
2011-10-08 12:17zaimoniStatusnew => assigned
2011-10-08 12:17zaimoniTarget VersionVaporware => 0.0.10

Notes
(0000025)
zaimoni   
2011-10-08 12:16   
The general idea is something like a shell script loop: for n iterations, first have the test case generator write to a temporary file, then run the target program against the temporary file. The first test case that fails, fails the test and leaves behind the test case.

John Regehr used C with embedded Lua, but this could be varied as convenient.