Test sequence design for complex system is a very challenging problem. In many cases its development is based on tester's common sense and doesn't provide any coverage metrics.
The target of test generation is to find test sequence with optimized coverage for the same test duration. In most cases the best solution is based on combination of different basic test generation techniques.
Acceptable coverage for complex system may require very long testing sequences.
Elbrus Testing Toolkit includes number of test generation modules:
Test Generator GUI allows flexible definition of control parameters with look-up tables based value sets.
Test sequences generated with Elbrus test generators are used at all the testing levels - from unit to system test, in manufacturing, for field service troubleshooting and diagnostics.
Test Sequence may be modified by Log Analyzer tool with special rules set - for example for including special sequences into pseudorandom test.