海军服务化描述语言的静态缺陷检测方法

Static Defect Detecting on Navy Service Description Language

在海军面向服务架构的待测系统中,提供多类型的海军服务化描述语言(WSDL、SOAP、UDDI和BPEL),而作为服务对外提供的描述文件,服务化描述语言和服务都需要作为测试对象进行测试和验证。对此,提出海军服务化描述语言的静态缺陷检测框架,首先根据待测系统服务描述文档进行结构化和领域知识的分析验证,检查设计文档中是否存在不符合语法规范和领域约束的错误。随后基于面向缺陷模式的业务流程组合测试实现在流程设计阶段发现流程中潜在的隐蔽错误。案例表明,该方法能够有效地检测出人工注入的多类型静态缺陷错误,并具有相应的原型工具支撑,最终帮助用户高效执行静态缺陷的检测,达到提高软件质量的目的。

In the naval service oriented system to be detected,there are multi types of Navy service description language( WSDL,SOAP,UDDI and BPEL).Provided as a foreign service description documents,service description language and service needed as the test object is tested and verified.In this paper,we present static defect detection framework for naval service description language.First of all,according to the measured system service description document structured and domain knowledge analysis and verification,check the design document whether there does not conform to the errors in grammar and domain constraints.Then the business process combination test based on the defect mode is realized in the process of the process design.The case shows that this method can effectively detect the error of the multiple types of artificial injection,and has the corresponding prototype tool support,eventually reach requirements to improve the quality of software.