PARALLEL TESTING OF LARGE AUTOMATA MODELS |
| 3 | |
| 2011 |
| scientific article | 004.415.53 | ||
| 187-193 | functional testing, formal specifications, hardware models, distributed systems, distributed testing, finite-state automata |
| The UniTESK technology allows the development of high-quality tests to check complex systems for compliance with formal models of requirements. However, in most cases such tests take a significant amount of time. This article presents an extension of the UniTESK technology which makes it possible to speed up the testing by its parallel execution on a computer cluster. |
 |