收藏本站
《第四届中国测试学术会议论文集》2006年
收藏 | 手机打开
二维码
手机客户端打开本文

一种基于合约的构件易测试性设计方法

单锦辉  侯姗姗  
【摘要】:基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径。构件测试是保证构件质量的重要技术手段。构件技术的新特点为构件测试带来了挑战。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。本文提出一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的支持工具;通过实验验证了方法的有效性。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
【共引文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期
2 张顺岚,莫建文,叶进;基于办公自动化管理软件设计中的复用技术研究[J];桂林航天工业高等专科学校学报;2003年03期
3 姚全珠,戴建峰;基于构件和XML的信息系统集成平台的研究[J];计算机工程与应用;2004年19期
4 李雄,张友生;基于构件运算的软件演化研究[J];计算机工程与应用;2005年09期
5 彭环珂,刘旭东,张文;面向领域的软件定制化开发方法研究与应用[J];计算机工程与应用;2005年13期
6 张友生,李雄;网状软件体系结构模型[J];计算机工程与应用;2005年29期
7 古幼鹏;桑楠;熊光泽;;嵌入式软件平台的构件化模型研究[J];计算机科学;2005年10期
8 奚德,赵文耘,盛亚峰,杨滨;基于C2构架风格的B/S应用程序体系结构[J];计算机工程;2004年02期
9 徐正权,曹丽;Web Services在软件生产线中的应用[J];计算机工程与科学;2005年12期
10 熊光泽,古幼鹏,桑楠;嵌入式应用软件设计方法学研究综述[J];计算机应用;2004年04期
中国重要会议论文全文数据库 前2条
1 陈亮亮;孔祥艳;程甜甜;李云飞;;基于体系结构和面向构件的虚拟仪器开发方法[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
2 谢蓓;曹万华;;构件组装方法研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
中国博士学位论文全文数据库 前10条
1 陈迎欣;小组软件过程的仿真建模方法研究[D];哈尔滨工程大学;2006年
2 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
3 胡海涛;支持业务级、大粒度服务组合的知识管理与主动推荐[D];中国科学院研究生院(计算技术研究所);2006年
4 张新宇;地学空间三维可视化储量计算辅助分析系统关键技术的研究[D];吉林大学;2006年
5 郭军;产品线架构中支持软件复用的若干关键技术的研究[D];东北大学;2006年
6 周晓峰;基于语义的软件构件匹配方法及在水利领域中应用的研究[D];河海大学;2006年
7 唐维俊;网络化制造环境下ERP系统的过程集成与重构技术研究[D];东南大学;2005年
8 黄作明;ERP产品的批量定制研究[D];南京理工大学;2007年
9 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
10 任胜兵;基于图变换的可视化层次用例建模及演化方法研究[D];中南大学;2007年
中国硕士学位论文全文数据库 前10条
1 刘树山;基于ALOAF的构件库系统数据建模与系统设计[D];中南大学;2005年
2 薛华;分布式构件库系统服务框架的设计[D];中南大学;2005年
3 杨柳;基于ALOAF的构件库数据模型研究[D];中南大学;2005年
4 汪勇;基于平等模式智能建筑弱电系统集成技术研究与软件开发[D];中南大学;2005年
5 李彬彬;基于J2EE体系结构的MIS公共构件提取与设计研究[D];合肥工业大学;2006年
6 李雄;基于构件运算的软件演化研究[D];湖南大学;2006年
7 段智勇;基于构件技术的分布式应用框架研究[D];河海大学;2002年
8 吕嘉;医疗保险管理信息系统软件再工程[D];南京航空航天大学;2003年
9 钱峰;计算机辅助工艺设计可定制系统的研究[D];大连理工大学;2003年
10 朱新峰;灌区管理信息系统的研究与设计[D];河海大学;2003年
【同被引文献】
中国期刊全文数据库 前1条
1 毛澄映;卢炎生;;构件软件测试技术研究进展[J];计算机研究与发展;2006年08期
【二级参考文献】
中国期刊全文数据库 前2条
1 杨芙清,邵维忠,梅宏;面向对象的CASE环境青岛Ⅱ型系统的设计与实现[J];中国科学A辑;1995年05期
2 杨芙清,王千祥,梅宏,陈兆良;基于复用的软件生产技术[J];中国科学E辑;2001年04期
【相似文献】
中国期刊全文数据库 前10条
1 单锦辉,姜瑛,刘江红,辛国茂,侯姗姗;基于合约的构件易测试性设计支撑工具的设计与实现[J];北京大学学报(自然科学版);2005年05期
2 张润敏,杜英俊,郑丽英;心理学与软件测试探讨[J];甘肃科学学报;1995年01期
3 亢勇,陈自力,李鹏,路平;面向对象的软件测试[J];测试技术学报;1999年02期
4 周鸿志;如何做好甲方对软件产品的检测[J];电子产品可靠性与环境试验;1999年04期
5 刘艳,舒云星;基于模块分割的软件测试自动化技术及应用[J];洛阳工业高等专科学校学报;2003年03期
6 车清太;软件测试方法和策略[J];山西电子技术;2003年06期
7 罗娜,林和平,袁福宇;面向对象软件测试的方法研究[J];东北师大学报(自然科学版);2004年01期
8 崔凤茹,宋巍,钱越英;气象水文软件测评系统建设研究[J];装甲兵工程学院学报;2004年02期
9 王炳晨;软件测试走向规范[J];微电脑世界;2005年07期
10 杨鹏;高职软件测试课程的教学探索与实践[J];番禺职业技术学院学报;2005年02期
中国重要会议论文全文数据库 前10条
1 单锦辉;侯姗姗;;一种基于合约的构件易测试性设计方法[A];第四届中国测试学术会议论文集[C];2006年
2 齐俊臣;彭道勇;刘春和;;重视软件测试 提高软件质量与可靠性[A];2005第二届电子信息系统质量与可靠性学术研讨会论文集[C];2005年
3 杨志文;沈森祖;韩红星;;基于集成电路测试程序的软件测试研究[A];第一届中国微电子计量与测试技术研讨会论文集[C];2008年
4 袁利;王磊;;深空探测器软件可测试性设计研究[A];中国宇航学会深空探测技术专业委员会第六届学术年会暨863计划“深空探测与空间实验技术”重大项目学术研讨会论文集[C];2009年
5 宋雪芬;王冠军;宋雪玲;;面向对象软件测试方法研究[A];中国自动化学会全国第九届自动化新技术学术交流会论文集[C];2004年
6 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
7 陈晓;;软件自动化测试的分析与实践[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 张雯婷;;软件测试丢失数据遗补算法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
10 蔡远文;于小红;;航天测试发控系统软件测试研究[A];1999中国控制与决策学术年会论文集[C];1999年
中国重要报纸全文数据库 前10条
1 北京融海恒信咨询有限公司;软件测试:一个不得不关注的问题[N];中国计算机报;2002年
2 王宇;过程决定质量[N];中国计算机报;2003年
3 仪芳媛;IT巨头京城上演软件测试人才掠夺战[N];中国企业报;2006年
4 本报记者  张咏梅;软件测试人才面临“回炉”[N];北京人才市场报;2006年
5 仪芳媛;IT毕业生跳动的职场脉搏你按住没有?[N];市场报;2006年
6 成墨;软件测试人才争夺战升级[N];中华工商时报;2006年
7 本报记者 张旭东;软件测试 IT就业新热点[N];中国计算机报;2005年
8 ;软件测试的基本方法[N];中国计算机报;2002年
9 隋年;软件测试:2007需求再放大[N];就业时报;2007年
10 记者 兰昆;中国软件测试人才形成“科班培养”机制[N];中国经济导报;2005年
中国博士学位论文全文数据库 前10条
1 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
2 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
3 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
4 郭健强;面向对象软件测试理论与技术的研究[D];西安电子科技大学;1999年
5 姚砺;面向对象软件测试的研究[D];浙江大学;2002年
6 史亮;测试数据自动生成技术研究[D];东南大学;2006年
7 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年
8 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
9 李心科;软件故障分析及质量评估方法的研究[D];合肥工业大学;2001年
10 胡仁胜;软件可靠性和软件最优发布问题的研究[D];合肥工业大学;2001年
中国硕士学位论文全文数据库 前10条
1 冯莉;软件测试及其在电信监控系统中的应用研究[D];华北电力大学(河北);2003年
2 余盛季;嵌入式软件系统测试平台研究[D];电子科技大学;2004年
3 苏荟;基于UML的面向对象软件簇级测试方法研究[D];西安理工大学;2005年
4 刘维秀;基于缺陷管理的软件测试方法及应用[D];山东大学;2005年
5 张福民;信息系统开发中的自动化测试应用研究[D];大连海事大学;2006年
6 邹欣;基于函数摘要的非法计算故障检测方法的研究[D];北京邮电大学;2011年
7 刘剑;软件可测试性检测技术研究与实现[D];南京航空航天大学;2004年
8 陈和平;面向对象的自动化单元测试[D];武汉理工大学;2004年
9 赖涵;软件缺陷管理的研究与辅助工具实现[D];吉林大学;2005年
10 陈会霞;软件测试及其在WCDMA Node B系统测试中的应用与研究[D];西安电子科技大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026