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

作     者：问建 张割 

作者机构：北京航空技术中心北京10000 

出 版 物：《电脑编程技巧与维护》 (Computer Programming Skills & Maintenance)

年 卷 期：2020年第4期

页      码：56-58页

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

主 题 词：无人实时系统 代码自动生成 软件验证 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16184/j.cnki.comprg.2020.04.021

馆 藏 号：203906282...