【作者】 莫毓昌； 刘宏伟； 左德承； 杨孝宗；

【Author】 MO Yuchang LIU Hongwei ZUO Decheng YANG Xiaozong Department of Computer Science and Technology,Harbin institute of technology,Harbin,Heilongjiang 150001,China

【机构】 计算机科学与技术学院,哈尔滨工业大学；

【摘要】 本文给出了一个面向Statechart描述的测试用例集自动生成工具FTCL.FTCL由语法解释器,语义解释器和测试集生成器构成.语法解释器是把一个给定的Statechart描述转换成为精简的可形式分析的8元组结构.Statechart描述可以包含并发和层次的状态结构,以及跨级转换,转换优先级,广播通讯等语法特征.语义解释器负责从8元组结构生成对应的语义模型.本文我们通过区分Statechart描述的外部可观察行为和内部隐含行为提出了适用于测试集生成的可观察语义模型.基于Tretmans在一致性测试方面的研究工作,我们提出了面向Statechart描述的一致性关系,测试集定义和测试集生成器.FTCL是一个年轻的工具在本文最后我们给出了进一步改进的计划。更多还原

【Abstract】 In this paper we present FTCL,a tool automatically generate test suite from Statechart specifications.FTCL consi,,;ts of syntax analyzer,semantics analyzer and test suite generator.Syntax analyzer transforms a given Statechart specification into a compact 8-tuple structure.Our Statechart notation keeps the main aspects of most commonly used Statechart notations related to concurrency and state hierarchy,inter-level transitions,transition priority,broadcast communication.Semantics analyzer produces semantics model from the 8-tuple syntax structure.In this paper we adopt observable semantics as a suitable semantics model,which only describe:;observable behavior subset of a Statechart specification,whereas many other semantics model proposed in the literature do not distinguish outside observable behavior from unobservable behavior of Statechart specifications.Based on Tretmans’ foundational research on conformance testing theory we introduce a formal conformance relation and more reasonable test suite definition,and propose a practical test suite generator.FTCL is a young tool and it is open to many improvements,some of them are discussed at the end of this paper.更多还原