基于CHAM模型,提出了通用LTS状态树生成算法,并使用实例验证了该算法。
The LTS state tree generation algorithm based on CHAM is presented, and validated with a typical in examples.
因此,LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题。
Thus, LTS state tree generation algorithm is the key to deriving testing plans and testing cases from architecture descriptions.
通过对图灵机状态跳转函数的思索和状态树的构造,得到对于任意状态节点的最大后缀状态,从而大大地加快了识别器的识别效率。
And it also gets the longest suffix state in state tree derived through the constructing of the state-jump function and effectively speeds up the character matching.
应用推荐