| 一种基于合约式设计的测试技术研究 |
| |
| 引用本文： | 姜瑛,辛国茂,单锦辉,谢冰.一种基于合约式设计的测试技术研究[J].软件学报,2004,15(Z1):130-137. |
| |
| 作者姓名： | 姜瑛 辛国茂 单锦辉 谢冰 |
| |
| 作者单位： | 北京大学 信息科学技术学院 软件研究所，北京 100871; 昆明理工大学 信息工程与自动化学院，云南 昆明 650093;北京大学 信息科学技术学院 软件研究所，北京 100871;北京大学 信息科学技术学院 软件研究所，北京 100871;北京大学 信息科学技术学院 软件研究所，北京 100871 |
| |
| 基金项目： | 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(中国博士后科学基金资助项目) |
| |
| 摘 要： | 所研究的基于合约式设计的测试技术是针对Web Services的．在使用Web Services时通常会遇到两个问题：①无法准确定位测试时出现的错误；②很难测试Web Services是否符合使用者的需求．合约式设计是一种提高软件可靠性的有效方法．结合合约式设计，提出了一种基于前置条件和后置条件的Web Services测试技术，对WSDL语法进行了扩展，并在MicrosoR．NET平台上实现了原型，较好地解决了以上问题．
|
| 关 键 词： | Web Services 软件测试 合约式设计 前置条件 后置条件 |
Research on a Testing Technology Based on Design-by-Contract |
| |
| JIANG Ying,XIN Guo-Mao,SHAN Jin-Hui and XIE Bing.Research on a Testing Technology Based on Design-by-Contract[J].Journal of Software,2004,15(Z1):130-137. |
| |
| Authors: | JIANG Ying XIN Guo-Mao SHAN Jin-Hui and XIE Bing |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
