收藏本站
收藏 | 论文排版

FTCL:面向Statechart描述的测试用例集自动生成工具(英文)

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
中国重要会议论文全文数据库 前10条
1 莫毓昌;刘宏伟;左德承;杨孝宗;;FTCL:面向Statechart描述的测试用例集自动生成工具(英文)[A];第五届中国测试学术会议论文集[C];2008年
2 董文莉;;电子政务系统测评框架的研究[A];第二十三届中国(天津)2009IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2009年
3 魏蓉;郐吉丰;王春元;蒋凡;;等级保护中的系统自动化测试[A];第二十一次全国计算机安全学术交流会论文集[C];2006年
4 张剑涛;刁波;唐春凤;张汉义;;IFC模型中建筑信息的描述与获取方法[A];第九届建筑业企业信息化应用发展研讨会论文集[C];2005年
5 陈韬略;韩婷婷;颜锋;吕建;;有限状态自动机的移动进程演算模拟[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 陈冬梅;王忠群;;基于UML的动态工作流过程建模的研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
7 姜跃平;董继润;;主动数据库的应用和发展瓶颈[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
8 陈瑜;彭甫阳;;数据库管理系统认证和测试系统[A];第十六届全国数据库学术会议论文集[C];1999年
9 周颖;崔立真;王海洋;;一种解决工作流中并发流程间资源冲突的方法[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 马跃峰;;一种形式化的面向对象数据库方法[A];第九届全国数据库学术会议论文集(上)[C];1990年
中国博士学位论文全文数据库 前7条
1 郑虹;DNA计算的若干应用及形式语义[D];吉林大学;2012年
2 彭德巍;移动Agent中间件平台及其测试模型研究[D];武汉大学;2004年
3 吴毅坚;面向网格服务的软件体系结构建模及演化研究[D];复旦大学;2006年
4 韩守鹏;分布式仿真系统动态重构技术研究[D];国防科学技术大学;2007年
5 赵也非;动态UML子图的形式语义研究[D];华东师范大学;2010年
6 王兵;逻辑进程范型的形式语义、算法评估及其在空间随机仿真中的应用[D];国防科学技术大学;2011年
7 杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
中国硕士学位论文全文数据库 前10条
1 杨睿;一体化标识网络认证功能一致性测试的研究和实现[D];北京交通大学;2012年
2 马哲;ETC专用短程通信标准的一致性测试工具的设计与实现[D];北京邮电大学;2012年
3 张志雄;OSEK/VDX操作系统的一致性测试[D];中国科学技术大学;2010年
4 曾敏;协议一致性测试系统的实现及基于CEFSM的邻居发现协议的测试[D];内蒙古大学;2005年
5 高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;2006年
6 桂竟晶;基于虚拟仪器的TD-SCDMA直放站测试系统开发[D];武汉理工大学;2007年
7 邹衡新;FF H1系统管理与网络管理协议软件的研究与开发[D];浙江大学;2006年
8 刘浩;HF RFID标签自动测试系统的设计与实现[D];华中科技大学;2008年
9 朱梅霞;基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究[D];青岛大学;2007年
10 张兵建;基于XML的海洋信息元数据标准的研究与实现[D];中国海洋大学;2008年
中国重要报纸全文数据库 前1条
1 ;泰克为SATA修订版3.0物理层测试提供测试文档[N];电子报;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978