The LTS statetree generation algorithm based on CHAM is presented, and validated with a typical in examples.
基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法。
2
Thus, LTS statetree generation algorithm is the key to deriving testing plans and testing cases from architecture descriptions.
因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题。
3
And it also gets the longest suffix state in statetree derived through the constructing of the state-jump function and effectively speeds up the character matching.