期刊文献+

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

Static Defect Detecting on Navy Service Description Language
下载PDF
导出
摘要 在海军面向服务架构的待测系统中,提供多类型的海军服务化描述语言(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.
出处 《指挥控制与仿真》 2017年第1期122-129,共8页 Command Control & Simulation
基金 "十二五"总装预研课题(513150502)
关键词 海军服务化描述语言 静态缺陷检测 领域约束 业务流程组合缺陷 navy service description language static defect detecting domain constraint business process composite defects
  • 相关文献

参考文献7

二级参考文献127

  • 1[1]Musa J D, Iannino A, Okumoto K. Software reliability measurement prediction application [M]. New York McGrawHill, 1987.
  • 2[2]VoasJ. PIE: A dynamic failure-based technique [J]. IEEE Transactions on software Engineering, 1992,18 (8): 717~727.
  • 3[3]Voas J, Morell L J. Applying sensitivity analysis estimates to a minimum failure probability for software testing [C]. In Proceedings of the 8th Pacific Northwest Software Quality Conference. Portland, OR, 1990.362~371.
  • 4[4]Gutjahr W J. Partition testing vs. random testing: The influence of uncertainty [J]. Software Engineering , 1999,25(5): 661~674.
  • 5[5]Lipow M. Number of fault per line of code [J]. IEEE Transactions on software Engineering, 1982, 8 (4): 437~ 439.
  • 6[6]Goel A L, K Okumoto. A time dependent error detection rate for a large scale software system [C]. Proceedings of the 3rd USA- Japan Computer Conference. 1978,35~ 40.
  • 7http://www.webinject.org/.
  • 8https://wstest.dev.java.net/.
  • 9http://www.soapui.org.
  • 10http://www.pushtotest.com.

共引文献130

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部