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

• 作者: 姚海洋 李吟 李源
• 来源期刊: 指挥控制与仿真
• 学科: 军事
• 关键词: 海军服务化描述语言 静态缺陷检测 领域约束 业务流程组合缺陷
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 工程实践
• 页码范围: 122-129
• 页数: 8页
• 分类号: TP206+34|E917
• 字数: 7442字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3819.2017.01.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李吟		7	13	2.0	3.0
2	李源		1	0	0.0	0.0
3	姚海洋		1	0	0.0	0.0