指挥控制与仿真2017，Vol.39Issue(1)：122-129,8.DOI:10.3969/j.issn.1673-3819.2017.01.026
海军服务化描述语言的静态缺陷检测方法
Static Defect Detecting on Navy Service Description Language
摘要
Abstract
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.关键词
海军服务化描述语言/静态缺陷检测/领域约束/业务流程组合缺陷Key words
navy service description language/static defect detecting/domain constraint/business process composite defects分类
信息技术与安全科学引用本文复制引用
李源,李吟,姚海洋..海军服务化描述语言的静态缺陷检测方法[J].指挥控制与仿真,2017,39(1):122-129,8.基金项目
"十二五"总装预研课题(513150502) （513150502）
