左万娟

作品数：14被引量：22H指数：3
导出分析报告
供职机构：北京控制工程研究所更多>>
发文主题：数据流航天代码审查嵌入式软件软件测试更多>>
发文领域：自动化与计算机技术航空宇航科学技术更多>>
发文期刊：《计算机技术与发展》《空间控制技术与应用》《微电子学与计算机》《计算机系统应用》更多>>
所获基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
航天嵌入式软件隐含需求分析与实践
《测控技术》2023年第10期24-29,共6页左万娟 王小丽 黄晨 董燕 
国家自然科学基金(61802017);装备预研领域基金项目(61400020407)。
基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安...
关键词：需求分析 隐含需求 显式需求 
航天嵌入式软件静态测试方法研究被引量：3
《微电子学与计算机》2022年第5期78-86,共9页左万娟 董燕 黄晨 王小丽 
国家自然科学基金(61802017);装备预研领域基金项目(61400020407)。
航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静...
关键词：航天 软件 静态测试 代码审查 静态逆袭 
航天嵌入式软件代码逻辑分析被引量：3
《计算机系统应用》2021年第8期274-280,共7页左万娟 董燕 黄晨 王小丽 
国家自然科学基金(61802017);装备预研领域基金(61400020407)。
为提高航天嵌入式软件的测试质量、确保航天型号任务的圆满完成,对航天嵌入式软件代码审查重要内容之一的代码逻辑分析进行了研究.通过对软件缺陷的机理、缺陷查找过程、缺陷暴露过程、以及缺陷引发后果的分析,结合多年软件测试工程实...
关键词：航天 嵌入式 软件 代码逻辑分析 代码审查 
基于SysML模型的需求建模及测试方法被引量：1
《测试技术学报》2021年第2期93-99,共7页黄晨 于倩 左万娟 陈华南 王小丽 
为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状...
关键词：系统建模语言 状态机 需求建模 用例生成 
基于数据模型的接口用例自动生成被引量：3
《测控技术》2020年第7期24-29,共6页虞砺琨 左万娟 于倩 陈华南 黄晨 
在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口...
关键词：嵌入式软件 接口协议 接口测试 自动化 
基于共性需求的软件通用自动化测试设计研究被引量：5
《计算机技术与发展》2020年第6期49-54,共6页左万娟 虞砺琨 王小丽 董燕 
国家自然科学基金(61802017);装备预研领域基金项目(61400020407)。
随着航天器发射任务越来越密集,航天软件测试强度不断增大,如何在提高测试效率的同时确保软件测试质量,对航天软件测试人员提出了严峻的挑战。作为软件自动化测试方向的研究热点,无论是基于代码、面向路径覆盖的测试自动化,还是基于需...
关键词：软件 共性需求 通用 自动化 测试设计 
航天嵌入式软件测试用例典型设计缺陷研究被引量：6
《计算机测量与控制》2019年第10期36-40,共5页左万娟 虞砺琨 王小丽 黄晨 
作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺...
关键词：测试用例 典型 设计缺陷 覆盖率 
一种基于数据流/控制流+知识条目的回归影响域分析方案
《测试技术学报》2019年第5期450-455,共6页左万娟 虞砺琨 黄晨 王小丽 
结合实例对基于数据流/控制流的回归影响域分析方法进行了阐述,总结了分析要点,强调加强变异流分析以确保分析充分性.针对需求更动,提出了基于知识条目的回归影响域分析方法.对两种分析方法进行对比分析,提出一种基于数据流/控制流+知...
关键词：数据流 控制流 知识条目 回归测试 影响域分析 
基于变量操作特征分析的软件缺陷模式研究被引量：4
《航天控制》2018年第5期64-69,共6页左万娟 虞砺琨 黄晨 董燕 
根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行...
关键词：航天器软件 变量 操作特征 软件缺陷 缺陷模式 
关联性变量分析在软件测试中的应用研究被引量：1
《测控技术》2018年第B11期142-145,209,共5页左万娟 虞砺琨 王小丽 董燕 
为进一步排查软件中潜在的较深层次的数据流缺陷，提高软件质量，提出了关联性变量的概念，并从变量的使用逻辑，以及变量自身所承栽的物理意义着手，研究总结了关联性变量的基本特征，提出了各类关联性变量的检测分析要点。在此基础上...
关键词：变量 关联性 数据流 缺陷 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部