一种基于合约式设计的测试技术研究
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

Supported by the National Natural Science Foundation of China underGrant No.60373003(国家自然科学基金);the National High-Tech Development 863 Program of China under Grant No.2001AAI13070(国家高技术研究发展计划(863));the National Grand Fundamental Research 973 Program ofChinaunder Grant No.2002CB31200003(国家重点基础研究发展规划(973));China Postdoctoral Science Foundation under Grant No.2003034077(中国博士后科学基金资助项目)


Research on a Testing Technology Based on Design-by-Contract
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    所研究的基于合约式设计的测试技术是针对Web Services的.在使用Web Services时通常会遇到两个问题:①无法准确定位测试时出现的错误;②很难测试Web Services是否符合使用者的需求.合约式设计是一种提高软件可靠性的有效方法.结合合约式设计,提出了一种基于前置条件和后置条件的Web Services测试技术,对WSDL语法进行了扩展,并在MicrosoR.NET平台上实现了原型,较好地解决了以上问题.

    Abstract:

    In order to test Web Services,a testing technology based on Design-by-Contract is proposed in this paper.Usually,there are two problems when the users are using Web Services.Firstly,they cannot locate the occurring errors during testing precisely. Secondly,it is difficult to test whether Web Services meet their requirements.Design-by-Contract is an effective method to improve software reliability.This paper proposes a testing technology for Web Services based on preconditions and postconditions,then extends the syntax of WSDL and implements a prototype on the Microsoft.NET platform,which can solve the above problems better.

    参考文献
    相似文献
    引证文献
引用本文

姜瑛,辛国茂,单锦辉,谢冰.一种基于合约式设计的测试技术研究.软件学报,2004,15(zk):130-137

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号