左万娟
- 作品数：19 被引量：21H指数：3
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种用于检测中断驱动型程序数据竞争的系统
- 本发明公开了一种用于检测中断驱动型程序数据竞争的系统，该系统由前端处理器和数据竞争分析引擎组成；其中前端处理器包括：反汇编器、词法/语法分析器、控制流图构造器、函数调用关系图构造器；数据竞争分析引擎包括：中断优先级分析模...
- 陈睿郭向英段永顥张西超侯成杰董燕于志杰魏鹏吴瑾武占峰张金巍曾霞左万娟
- 基于数据模型的接口用例自动生成被引量：2
- 2020年
- 在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口测试用例的自动生成,提出一种基于数据模型的接口用例自动生成技术,根据复杂的接口协议文件,建立被测软件的接口协议形式化模型,准确、高效地表达接口协议规则及要素,并使用动态计算与替换算法得到相应业务场景下的预期结果,生成标准化的测试用例,更可兼容多种类型的接口,有效提升了接口测试效率。
- 虞砺琨左万娟左万娟陈华南于倩
- 关键词：嵌入式软件接口协议接口测试
- 基于变量操作特征分析的软件缺陷模式研究被引量：4
- 2018年
- 根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行了系统分析与分类,构建了与变量操作特征相关联的软件缺陷模式集。实践结果表明,依据缺陷模式与变量操作特征之间的关联性开展软件测试活动,可以有效提高软件缺陷检出效率。
- 左万娟虞砺琨虞砺琨董燕
- 关键词：操作特征
- 航天嵌入式软件代码逻辑分析被引量：3
- 2021年
- 为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实践经验的总结,提出了场景分析法、时序分析法、假想故障追源法等10种主要的代码逻辑分析方法.开展了代码逻辑分析方法的应用分析、代码审查与其它测试手段之间的对比分析,通过分析,给出了代码审查的工程适用性说明.研究成果已在航天型号软件第三方评测中全面推广应用,实践数据表明,应用效果良好,使代码审查的缺陷发现率由业界公认的30%~70%提升至90%以上.相关分析方法和分析思路对动态测试设计以及软件缺陷自动化检测工具的研发均具有一定的参考作用.
- 左万娟董燕董燕王小丽
- 关键词：航天嵌入式代码审查
- 二次拟合:一种提高软件可靠性模型精度的新方法
- 2009年
- 针对软件可靠性模型精度不高的问题,提出了"一次建模+二次拟合"的方法,通过误差补偿机制来提高模型精度,并将该方法应用于航天软件失效数据集。实践结果表明,提出的方法对于提高软件可靠性模型精度是有效的。
- 左万娟杨孟飞段永颢
- 关联性变量分析在软件测试中的应用研究
- 为进一步排查软件中潜在的较深层次的数据流缺陷,提高软件质量,提出了关联性变量的概念,并从变量的使用逻辑,以及变量自身所承载的物理意义着手,研究总结了关联性变量的基本特征,提出了各类关联性变量的检测分析要点。在此基础上,对...
- 左万娟虞砺琨王小丽董燕
- 关键词：数据流
- 文献传递
- 航天嵌入式软件静态测试方法研究被引量：3
- 2022年
- 航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照性检查与确认,变量分析法和中断访问冲突分析法侧重于变量及其变体的分析及确认,代码逻辑分析法侧重于功能级的代码整体逻辑的分析与确认,工具静态扫描分析法则以全自主研发的典型缺陷模式集为核心实现缺陷自动化检测.研究成果已在航天软件第三方评测中全面推广应用.通过对方案综合应用数据、各方法应用数据的统计分析表明,工程应用效果良好,静态测试的缺陷检测率普遍提升至95%以上.相关分析方法和分析思路对软件缺陷自动化检测工具的研发以及传统软件测试方法的持续改进均具有一定的参考和推动作用.
- 左万娟左万娟董燕黄晨
- 关键词：航天代码审查
- 航天嵌入式软件隐含需求分析与实践
- 2023年
- 基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。
- 左万娟左万娟黄晨王小丽
- 基于编译器优化的嵌入式软件缺陷分析方法
- 2016年
- 嵌入式编译器会根据设定的编译选项和级别,对源代码进行优化处理,生成可执行目标码。针对嵌入式编译器的3种典型优化技术:数据预取技术、指令重排序技术和覆盖技术,结合具体实例分析问题引入机理,为有效避免编译器优化引入的软件缺陷,给出解决方案和建议。在程序开发和测试阶段应熟悉编译器优化准则,严格遵守编程约定,进一步提升嵌入式软件的质量。
- 董燕黄晨左万娟于倩
- 关键词：编译器优化数据预取
- 基于SysML模型的需求建模及测试方法被引量：1
- 2021年
- 为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.
- 黄晨于倩于倩陈华南左万娟
- 关键词：系统建模语言状态机
