面向无人实时系统的的软件开发与验证方法

• 作者: 张割 问建
• 来源期刊: 电脑编程技巧与维护
• 关键词: 无人实时系统 代码自动生成 软件验证
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 软件研发与应用
• 页码范围: 56-58
• 页数: 3页
• 字数: 1665字
• 语种: 中文

摘要

当前,无人实时系统决策模块大都是以规则的设计作为核心,而规则是由大量的条件组合语句构成的,导致决策系统的开发面临开发规模大、程序关联耦合度高等难题.引入一种基于验证驱动的软件开发方法,该方法使用了代码自动生成技术以及软件验证技术,能有效提高无人实时程序开发的效率和安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	问建		11	69	4.0	8.0
2	张割		12	23	3.0	3.0