| 摘要: |
| 所研究的基于合约式设计的测试技术是针对Web Services的．在使用Web Services时通常会遇到两个问题：①无法准确定位测试时出现的错误；②很难测试Web Services是否符合使用者的需求．合约式设计是一种提高软件可靠性的有效方法．结合合约式设计，提出了一种基于前置条件和后置条件的Web Services测试技术，对WSDL语法进行了扩展，并在MicrosoR．NET平台上实现了原型，较好地解决了以上问题． |
| 关键词: Web Services 软件测试 合约式设计 前置条件 后置条件 |
| 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 |
|
JIANG Ying,XIN Guo-Mao,SHAN Jin-Hui,XIE Bing
|
| 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． |
| Key words: Web services software testing design-by-contract precondition postcondition |
