Labelled transition system ( LTS ) is an important research aspect of formalization analysis. 标号迁移系统(LabelledTransitionSystem,LTS)是形式化一致性测试的重要研究方向。
Secondly, the basic theory, definition, and properties of the labelled transition system ( LTS ) are given. By using the theory LTS, the test suite, test case and test generation are defined. 然后,介绍标号变迁系统(LTS)的形式化理论的定义和基本性质,利用LTS,给出测试例、测试集以及测试生成的形式化定义。
Automatic test suite generation based on labelled transition system 基于标号变迁系统的测试集自动生成