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

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