曹杨华
- 作品数：8 被引量：6H指数：2
- 供职机构：中国航空无线电电子研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 快速功能点法在装备软件规模估计中的应用被引量：1
- 2021年
- 通过对几种基于案例的估计方法和基于算数模型的估计方法进行分析和比较,结合嵌入式装备软件自身特点,在某装备软件的规模估计中,采用快速功能点计数方法进行了有益实践,并对该方法的推广提出建议。
- 李园李虎曹杨华
- 基于面向服务架构的航空任务应用软件设计方法
- 本发明公开了一种基于面向服务架构的航空任务应用软件设计方法，将航空任务应用软件的架构分为基础服务层、通用服务层、领域服务层、应用软件层，基础服务层和通用服务层的各类服务复用基于面向服务架构中的服务；将领域服务层与应用软件...
- 谢启顺李虎曹杨华刘鑫张凯崔洪杰刘佳伟闫乐胡志雄
- 基于功能点的装备软件成本度量研究
- 2020年
- 根据装备软件成本度量的需求,本文研究了基于功能点计数模型的软件成本度量方法,文中对当前软件度量的方法进行了优缺点比较,选取了NESMA方法进行了详细说明,介绍了使用步骤、相关指标的计算公式,实例计算结果证明,参考NESMA方法对装备软件开展度量,需要进一步修正模型,提高修正系数;开发方应努力提升开发效率,同时关注装备软件成本度量数据的积累.
- 曹杨华曹健李虎
- 一种机载防撞系统混合监视跟踪方法
- 本发明公开了一种机载防撞系统混合监视跟踪方法,此方法通过主动监视和被动监视的综合使用达到混合监视的目的，包括以下操作步骤：初始采用主动监视、潜在威胁条件判定、跟踪确认、主动监视转被动监视、被动监视数据验证、混合威胁条件判...
- 曹杨华乐斌李杰郑凤马晋缪万胜
- 文献传递
- 机载防撞系统现场诊断软件的架构设计被引量：2
- 2013年
- 本文阐述了机载防撞系统现场诊断软件(ACAS Diag)的架构设计过程。从软件的需求分析入手,引入用例分析的方法描述了ACAS Diag的功能需求;介绍了架构设计的五视图方法;并在此基础上进行ACAS Diag的软件架构设计,分别给出了软件的逻辑架构、物理架构、开发架构和运行架构视图,从而为后续的软件开发奠定基础。
- 高平曹杨华马晋李杰
- 关键词：机载防撞系统软件架构
- 实现地面控制系统软件模块化复用的方法
- 本发明公开了一种实现地面控制系统软件模块化复用的方法，包含以下步骤：1)采用SCADE软件开发工具对虚拟航空数字仪表进行模型化开发，并生成虚拟航空数字仪表的图形模型的C代码；2)采用QT对C代码进行封装，生成动态链接库；...
- 昝济国郑凤王凯曹杨华康泰傅亮吕林森谢启顺孔燕张欣李振府吴肖娜
- 文献传递
- 基于功能点的装备软件成本度量研究被引量：2
- 2020年
- 根据装备软件成本度量的需求,本文研究了基于功能点计数模型的软件成本度量方法,文中对当前软件度量的方法进行了优缺点比较,选取了NESMA方法进行了详细说明,介绍了使用步骤、相关指标的计算公式,实例计算结果证明,参考NESMA方法对装备软件开展度量,需要进一步修正模型,提高修正系数;开发方应努力提升开发效率,同时关注装备软件成本度量数据的积累。
- 曹杨华曹健李虎
- 符合民机适航标准的形式化方法研究被引量：1
- 2019年
- 描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式化建模,通过形式化分析证明模型的完备性和一致性。以发动机油量周期计算需求为例,通过Event-B形式化方法对需求进行形式化建模,通过形式化分析发现需求糢型的缺陷。对民机适航标准形式化方法相关的三份补充文件进行了解读,对采用形式化方法进行民机软件开发具有指导意义。
- 王辉陈蕾曹杨华唐晨
- 关键词：形式化方法形式化分析EVENT-B
