FTCL:面向Statechart描述的测试用例集自动生成工具
本文给出了一个面向Statechart描述的测试用例集自动生成工具FTCL.FTCL由语法解释器,语义解释器和测试集生成器构成.语法解释器是把一个给定的Statechart描述转换成为精简的可形式分析的8元组结构.Statechart描述可以包含并发和层次的状态结构,以及跨级转换,转换优先级,广播通讯等语法特征.语义解释器负责从8元组结构生成对应的语义模型.本文我们通过区分Statechart描述的外部可观察行为和内部隐含行为提出了适用于测试集生成的可观察语义模型.基于Tretmans在一致性测试方面的研究工作,我们提出了面向Statechart描述的一致性关系,测试集定义和测试集生成器.FTCL是一个年轻的工具在本文最后我们给出了进一步改进的计划.
一致性测试 测试用例集生成 形式语义 语义解释器 语法特征
莫毓昌 刘宏伟 左德承 杨孝宗
计算机科学与技术学院,哈尔滨工业大学,中国 哈尔滨,黑龙江 150001
国内会议
苏州
中文
200-205
2008-05-21（万方平台首次上网日期，不代表论文的发表时间）