一种基于合约式设计的测试技术研究

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