董燕
- 作品数：21 被引量：31H指数：4
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信更多>>
- 基于编译器优化的嵌入式软件缺陷分析方法
- 2016年
- 嵌入式编译器会根据设定的编译选项和级别,对源代码进行优化处理,生成可执行目标码。针对嵌入式编译器的3种典型优化技术:数据预取技术、指令重排序技术和覆盖技术,结合具体实例分析问题引入机理,为有效避免编译器优化引入的软件缺陷,给出解决方案和建议。在程序开发和测试阶段应熟悉编译器优化准则,严格遵守编程约定,进一步提升嵌入式软件的质量。
- 董燕黄晨左万娟于倩
- 关键词：编译器优化数据预取
- 基于表格的中断数据冲突静态分析方法被引量：8
- 2016年
- 中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.
- 黄晨董燕王小丽虞砺琨
- 航天嵌入式软件代码逻辑分析被引量：3
- 2021年
- 为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30%~70%提升至90%以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.
- 左万娟董燕董燕王小丽
- 关键词：航天嵌入式代码审查
- 基于StP CASE工具的软件自动测试环境研究与实现
- 2001年
- 在软件开发过程中,软件测试费用占总成本的50%左右,为降低测试费用和进一步提高软件测试质量,软件测试自动化是必要的。对此,已进行了大量的研究,产生了许多测试工具,然而这些测试工具均难以构成统一的测试环境,本文以StP CASE为例就此进行了研究,构造了基于StP的自动测试环境,并通过实例进行了验证。研究表明,这种自动测试环境具有测试效率高、可靠性好、易维护等优点,对今后开展这方面的测试研究具有一定的参考作用。
- 董燕杨孟飞
- 关键词：软件测试STPCASE工具驱动模块
- C语言嵌入式软件插桩及动态测试覆盖率信息提取方法
- C语言嵌入式软件插桩及动态测试覆盖率信息提取方法，把C语言程序看做一个由各分支点组成的数组，每一个分支点对应数组中的一个元素，每个元素定义为两种状态，“1”表示执行过，“0”表示未执行过。然后将数组定义在专用存储区。随后...
- 侯成杰董燕郝伟吴瑾郭华王翼山
- 文献传递
- 基于参数类型和访问序的数据冲突静态分析方法被引量：5
- 2018年
- 中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.
- 董燕黄晨王小丽虞砺琨于倩
- 关键词：数据冲突
- 航天嵌入式软件隐含需求分析与实践
- 2023年
- 基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。
- 左万娟左万娟黄晨王小丽
- 一种用于检测中断驱动型程序数据竞争的系统
- 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模...
- 陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
- 基于变量操作特征分析的软件缺陷模式研究被引量：4
- 2018年
- 根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行了系统分析与分类,构建了与变量操作特征相关联的软件缺陷模式集。实践结果表明,依据缺陷模式与变量操作特征之间的关联性开展软件测试活动,可以有效提高软件缺陷检出效率。
- 左万娟虞砺琨虞砺琨董燕
- 关键词：操作特征
- 航天嵌入式软件静态测试方法研究被引量：3
- 2022年
- 航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照性检查与确认,变量分析法和中断访问冲突分析法侧重于变量及其变体的分析及确认,代码逻辑分析法侧重于功能级的代码整体逻辑的分析与确认,工具静态扫描分析法则以全自主研发的典型缺陷模式集为核心实现缺陷自动化检测.研究成果已在航天软件第三方评测中全面推广应用.通过对方案综合应用数据、各方法应用数据的统计分析表明,工程应用效果良好,静态测试的缺陷检测率普遍提升至95%以上.相关分析方法和分析思路对软件缺陷自动化检测工具的研发以及传统软件测试方法的持续改进均具有一定的参考和推动作用.
- 左万娟左万娟董燕黄晨
- 关键词：航天代码审查
