姚海洋
- 作品数：2 被引量：0H指数：0
- 供职机构：江苏自动化研究所更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 海军服务化描述语言的静态缺陷检测方法
- 2017年
- 在海军面向服务架构的待测系统中,提供多类型的海军服务化描述语言(WSDL、SOAP、UDDI和BPEL),而作为服务对外提供的描述文件,服务化描述语言和服务都需要作为测试对象进行测试和验证。对此,提出海军服务化描述语言的静态缺陷检测框架,首先根据待测系统服务描述文档进行结构化和领域知识的分析验证,检查设计文档中是否存在不符合语法规范和领域约束的错误。随后基于面向缺陷模式的业务流程组合测试实现在流程设计阶段发现流程中潜在的隐蔽错误。案例表明,该方法能够有效地检测出人工注入的多类型静态缺陷错误,并具有相应的原型工具支撑,最终帮助用户高效执行静态缺陷的检测,达到提高软件质量的目的。
- 李源李吟姚海洋
- 基于GJB5000B的领域工程研发过程实践
- 2024年
- GJB5000B全称为军用软件能力成熟度模型,其主要目的是希望以科学系统的模型方法为牵引,在国内军工软件行业推进软件过程的改进,以提升军用软件承制单位的软件研制能力,促进装备软件质量整体提升。以基于领域工程模式进行开发的软件项目研发过程中采用四级量化管理为例分享研发过程经验。首先,介绍了领域工程的基本概念;其次,描述了在策划阶段结合多个项目实际需要确定按照领域工程模式进行开发;再次,介绍了为确保项目顺利实施而研究制定的领域工程管理办法,阐述了项目通过四级量化管理确保项目可视可控的实施过程跟踪结果;最后,总结项目按照领域工程开发后的实际效果,并对后续领域工程工作进行了展望。
- 王君珺姚海洋
