Task #4810
closed
Combinatorial test program generation based on test templates with branch instructions
Added by Alexander Kamkin over 10 years ago.
Updated about 6 years ago.
Description
Combinatorial test program generation based on test templates with branch instructions should be implemented as it was done in MicroTESK 1.0.
One should implement an engine that takes branch and non-branch instructions as well as blocks and generates various control flows and execution traces.
block(:engine => BRANCH, :max-trace-length = 10, :control-flow = EXHAUSTIVE|RANDOM, :count = 100) {
bne
j
block {
add r1, r2, r3
sub r4, r5, r5
}
fdiv f1, f2, f3
nop
}
- Target version changed from 2.0 to 2.1
- Subject changed from [generator] Combinatorial test program generation based on test templates with branch instructions to Combinatorial test program generation based on test templates with branch instructions
- Category set to Test Engine
- Target version changed from 2.1 to 2.2
- Status changed from New to Resolved
Implemented a long time ago.
- Status changed from Resolved to Closed
Also available in: Atom
PDF