摘要

Web服务只给用户提供描述信息,采用传统测试方法很难对其进行有效测试,无法保证软件质量,这越来越成为其发展的瓶颈。随着语义Web的发展,基于语义的Web服务描述也逐渐成为主流。针对基于语义的服务描述自动生成测试用例的相关研究将为Web服务测试提供更有力的手段,具有很重要的意义。该文以采用OWL-S服务标记语言描述的单个简单Web服务为研究对象,定义输入数据模型(IDM),利用本体等价分区划分、数据约束限制等,实现了测试用例的自动生成,并提出了具体算法。最后,通过expressBuyBook服务案例充分验证了该算法的正确性和有效性。

  • 单位
    中国人民解放军陆军工程大学