FTCL：面向Statechart描述的测试用例集自动生成工具(英文)
【摘要】：本文给出了一个面向Statechart描述的测试用例集自动生成工具FTCL.FTCL由语法解释器,语义解释器和测试集生成器构成.语法解释器是把一个给定的Statechart描述转换成为精简的可形式分析的8元组结构.Statechart描述可以包含并发和层次的状态结构,以及跨级转换,转换优先级,广播通讯等语法特征.语义解释器负责从8元组结构生成对应的语义模型.本文我们通过区分Statechart描述的外部可观察行为和内部隐含行为提出了适用于测试集生成的可观察语义模型.基于Tretmans在一致性测试方面的研究工作,我们提出了面向Statechart描述的一致性关系,测试集定义和测试集生成器.FTCL是一个年轻的工具在本文最后我们给出了进一步改进的计划。
|
|
|
|
| 1 |
韩冰青,张亚图,明朝辉;基于扩展有限状态机的一致性测试例生成研究[J];福建电脑;2004年07期 |
| 2 |
孙世霞,邱晓刚,黄柯棣;联邦成员一致性测试软件研究[J];计算机仿真;2003年01期 |
| 3 |
巩绪芳;周颖;李必信;;软件体系结构测试技术的现状与思考[J];小型微型计算机系统;2008年08期 |
| 4 |
张志雄;李曦;;基于分类树的OSEK/VDX操作系统一致性测试研究[J];计算机系统应用;2010年11期 |
| 5 |
邓镐胜,杨占勇,邓家褆,詹俊峰;STEP/AP203一致性测试软件的实现[J];计算机工程与应用;2002年06期 |
| 6 |
张李娜;刘福江;刘永;;可测标准中抽象测试套件(ATS)的构造方法[J];信息技术与标准化;2010年10期 |
| 7 |
李腊元;;计算机网络协议的一致性测试技术分析[J];计算机工程与应用;1992年03期 |
| 8 |
刘鸿,尹霞,吴建平;基于分层有限状态自动机的一致性测试生成[J];清华大学学报(自然科学版);2003年07期 |
| 9 |
王洪博;孙倩;;UHF频段RFID设备的技术要求及测试[J];现代电信科技;2007年01期 |
| 10 |
吴永;贺前华;涂用军;;一种基于多UIO的一致性测试序列优化方法[J];计算机科学;2007年02期 |
| 11 |
;安捷伦推出业界首款用于便携式消费电子设备SD UHS-I卡的一致性测试工具[J];电子与电脑;2010年10期 |
| 12 |
李锐;王三宏;范德全;蒋建春;;OSEK操作系统一致性测试用例的生成[J];计算机工程;2011年09期 |
| 13 |
马萍,杨明,马宁,王子才;联邦接口规范测试方法研究[J];系统仿真学报;2002年03期 |
| 14 |
吴芬兰;胡朝举;宋雨;;基于有限自动机的软件测试方法[J];华北电力大学学报;2005年06期 |
| 15 |
陈丽娜;苗春雨;赵建民;;Statechart描述的测试语义和测试用例自动生成[J];西南大学学报(自然科学版);2011年05期 |
| 16 |
叶新铭;吴铁楠;;基于SDL和MSC模型的一致性测试生成方法[J];计算机科学;2004年12期 |
| 17 |
李华;叶新铭;曾敏;丁雪莲;;基于XML的协议一致性测试系统的设计与实现[J];计算机科学;2006年10期 |
| 18 |
顾燕萍;高建华;;软件体系结构动态模型描述及其测试中的应用[J];计算机工程与设计;2007年04期 |
| 19 |
叶新铭;;软件形式验证与测试集成方法研究综述[J];内蒙古大学学报(自然科学版);2009年04期 |
| 20 |
赵振东,杨正球,孟洛明;TMN软件一致性测试概念模型的研究[J];通信学报;1999年03期 |
|
手机打开
论文排版
快捷付款方式
订购知网充值卡
订购热线
帮助中心