黄晨
- 作品数：18 被引量：27H指数：4
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
- 航天嵌入式软件隐含需求分析与实践
- 2023年
- 基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。
- 左万娟左万娟黄晨王小丽
- 基于数据模型的接口用例自动生成被引量：2
- 2020年
- 在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口测试用例的自动生成,提出一种基于数据模型的接口用例自动生成技术,根据复杂的接口协议文件,建立被测软件的接口协议形式化模型,准确、高效地表达接口协议规则及要素,并使用动态计算与替换算法得到相应业务场景下的预期结果,生成标准化的测试用例,更可兼容多种类型的接口,有效提升了接口测试效率。
- 虞砺琨左万娟左万娟陈华南于倩
- 关键词：嵌入式软件接口协议接口测试
- 基于变量操作特征分析的软件缺陷模式研究被引量：4
- 2018年
- 根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行了系统分析与分类,构建了与变量操作特征相关联的软件缺陷模式集。实践结果表明,依据缺陷模式与变量操作特征之间的关联性开展软件测试活动,可以有效提高软件缺陷检出效率。
- 左万娟虞砺琨虞砺琨董燕
- 关键词：操作特征
- 一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法
- 本发明公开了一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法。本发明采用CPU模拟器技术，解决了不同嵌入式处理器的目标码在通用PC机上的执行问题，使得可以在通用PC机上进行嵌入式C语言目标码级的单元测试，本发明利用...
- 郭向英王小丽刘璟炜黄晨胡智琦
- 一种用于集成环境的多层软件总线结构
- 一种用于集成环境的多层软件总线结构，所述结构包括多层总线和插件；多层总线由若干处于不同层次的总线组成，这些总线按照树的拓扑结构组织在一起：最底层有且只有一条总线，称为全局总线，其他各层次的总线都称为局部总线，以全局总线为...
- 杨孟飞郭向英顾斌赵雷陈睿郝伟盛庄黄晨沈沛
- 文献传递
- 基于数据流需求模型的测试用例生成方法
- 2023年
- 星载嵌入式软件功能逻辑复杂,数据之间存在关联性和约束性,人工设计测试用例难以保证覆盖所有输入、所有组合的情况。通过对比活动图控制流和数据流对象的语义模型,说明这两种模型在适用功能场景、用例数据上的差异性,针对数据流对象模型建立可执行路径上表达式组集合,根据变量类型、有效范围等基本属性,进行变量约束求解生成数据再形成测试用例,并选取典型功能场景开展验证,结果表明,该方法能够满足等价类等数据覆盖的要求,快速提升测试效率。
- 黄晨黄晨虞砺琨于倩王小丽
- 关键词：数据流
- 基于SysML模型的需求建模及测试方法被引量：1
- 2021年
- 为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.
- 黄晨于倩于倩陈华南左万娟
- 关键词：系统建模语言状态机
- 基于表格的中断数据冲突静态分析方法被引量：8
- 2016年
- 中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.
- 黄晨董燕王小丽虞砺琨
- 航天嵌入式软件代码逻辑分析被引量：3
- 2021年
- 为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30%~70%提升至90%以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.
- 左万娟董燕董燕王小丽
- 关键词：航天嵌入式代码审查
- 航天嵌入式软件静态测试方法研究被引量：3
- 2022年
- 航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照性检查与确认,变量分析法和中断访问冲突分析法侧重于变量及其变体的分析及确认,代码逻辑分析法侧重于功能级的代码整体逻辑的分析与确认,工具静态扫描分析法则以全自主研发的典型缺陷模式集为核心实现缺陷自动化检测.研究成果已在航天软件第三方评测中全面推广应用.通过对方案综合应用数据、各方法应用数据的统计分析表明,工程应用效果良好,静态测试的缺陷检测率普遍提升至95%以上.相关分析方法和分析思路对软件缺陷自动化检测工具的研发以及传统软件测试方法的持续改进均具有一定的参考和推动作用.
- 左万娟左万娟董燕黄晨
- 关键词：航天代码审查
