Abstract

The problem of model based testing reactive control systems with concurrent behavior is discussed. A model of the desired behavior of the system implementation is in the form of parallel automaton that describes concurrent control algorithms and rooted in the Petri net formalism. The considered test case generation approach is based on constructing a reduced parallel automaton reachability graph. To avoid the state explosion problem the technique of partial order reduction is suggested.

中文翻译：

---

基于可达性图约简的并发系统基于模型的测试

摘要

讨论了基于模型的具有并发行为的无功控制系统测试问题。系统实现的期望行为的模型采用并行自动机的形式，该并行机描述了并发控制算法并以Petri网形式为根。考虑的测试用例生成方法基于构造简化的并行自动机可达性图。为了避免状态爆炸问题，提出了部分降阶技术。