收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

面向构件化软件的合约检查测试框架

张毅坤  叶涛  邢传玉  
【摘要】:基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 曾智勇;林亚平;罗黎敏;;基于迭代开发的软件测试自动化框架的设计与实现[J];微计算机信息;2010年36期
2 亓伟,叶晓俊,王建民;ODBC标准符合性测试框架[J];计算机工程;2005年20期
3 梓昊;;“朴实”的测试[J];软件世界;2006年20期
4 李言平;晏海华;柳永坡;;一种C++单元测试支持工具的研究与设计[J];计算机与数字工程;2006年10期
5 王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
6 高建华;辛敏杰;;影响GUI测试性能的两个因素:测试用例及测试预测[J];小型微型计算机系统;2011年09期
7 崔宇寅;;软件自动化测试方法简述与展望[J];电脑知识与技术;2010年34期
8 徐仁佐,陈斌,陈波,吴闽泉,熊忠伟;构造面向对象软件可复用测试用例的模式研究[J];武汉大学学报(理学版);2003年05期
9 朱菊;王志坚;杨雪;;基于数据驱动的软件自动化测试框架[J];计算机技术与发展;2006年05期
10 杜军威;;一种测试用例与测试代码分离的单元测试框架[J];青岛科技大学学报(自然科学版);2008年03期
11 李绪鹏;陆薇;王晓毅;;走出TDD丛林[J];程序员;2007年05期
12 刘升华;王成耀;;单元测试自动化工具的研究与实现[J];计算机工程与设计;2007年23期
13 辛敏杰;高建华;;一种改进的GUI测试框架DART[J];计算机工程;2009年07期
14 郝晓晓;张卫丰;;基于XML的SDK自动化测试框架的设计与实现[J];计算机技术与发展;2010年04期
15 隋智泉;;一种改进的单元测试JUnit框架[J];电脑知识与技术(学术交流);2007年08期
16 王晓毅;;敏捷开发中重构的秘密[J];软件世界;2007年21期
17 朱彬;缪淮扣;王娜;;Z规格说明的测试用例自动生成[J];应用科学学报;2006年04期
18 吴高峡;王芙蓉;;单元测试的自动化实践[J];计算机与数字工程;2007年01期
19 林辉;杨根兴;蔡立志;;一种基于两两组合测试的FIT框架扩展[J];计算机应用与软件;2009年01期
20 王磊;;基于智能交互技术的自动化测试方法研究与实现[J];电子测试;2010年07期
中国重要会议论文全文数据库 前10条
1 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4 辛敏杰;高建华;;影响GUI自动化测试性能的因素分析[A];第五届中国测试学术会议论文集[C];2008年
5 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
6 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
7 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
8 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
10 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
4 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
5 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
6 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
7 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
8 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
9 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
10 李良明;基于动态行为模型的构件及组装测试的研究[D];南京航空航天大学;2010年
中国硕士学位论文全文数据库 前10条
1 姚浩伟;分布式数据缓存系统的自动化测试框架及其核心技术研究[D];浙江大学;2011年
2 高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;2007年
3 何腾蛟;分布式系统测试模型与框架的研究与应用[D];电子科技大学;2009年
4 任乐兵;网络管理系统的Web自动化测试设计与实现[D];西安电子科技大学;2007年
5 孟春云;基于模型的测试技术在ERP系统开发中的应用[D];上海交通大学;2010年
6 李岩;C++程序的单元测试系统的研究与实现[D];沈阳工业大学;2007年
7 许赞泉;针对图形用户界面的软件测试研究[D];南京航空航天大学;2003年
8 谢文哲;基于模块化测试框架的单元自动化测试框架的设计与实现[D];华中科技大学;2007年
9 王宇飞;基于UEFI的底层API的性能分析及其功能测试的研究与设计[D];吉林大学;2010年
10 秦大勇;规则驱动的自动化测试框架研究与实现[D];成都理工大学;2008年
中国重要报纸全文数据库 前10条
1 通文;罗德与施瓦茨:HSDPA测试“软硬兼施”[N];通信产业报;2006年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 刘昶;多媒体移动终端的MMS一致性测试[N];通信产业报;2005年
4 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
5 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
6 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
7 罗德与施瓦茨中国有限公司 周云;罗德与施瓦茨领跑HSPA测试[N];通信产业报;2006年
8 武刚;测试是质量的关键[N];中国计算机报;2003年
9 罗德与施瓦茨中国有限公司 刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年
10 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978