王小丽
- 作品数：17 被引量：57H指数：5
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信航空宇航科学技术更多>>
- 基于参数类型和访问序的数据冲突静态分析方法被引量：5
- 2018年
- 中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.
- 董燕黄晨王小丽虞砺琨于倩
- 关键词：数据冲突
- 航天嵌入式软件隐含需求分析与实践
- 2023年
- 基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。
- 左万娟左万娟黄晨王小丽
- 一种基于LMI的鲁棒故障诊断滤波器设计被引量：8
- 2009年
- 研究了一类含有扰动的线性系统鲁棒故障诊断滤波器设计问题.文中引入一种能同时体现残差对扰动信号鲁棒性和对故障信号灵敏性的性能指标,利用H∞理论把求解滤波器的问题转化为H∞优化设计问题.应用线性矩阵不等式(LMI)技术,对此性能指标进行优化,给出并证明了该设计问题解的存在性条件和滤波器增益阵的求解方法,最后,通过仿真实例验证了方法的有效性.
- 王小丽宋红敏倪茂林
- 关键词：故障诊断滤波器线性矩阵不等式H∞优化
- 一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法
- 本发明公开了一种基于CPU模拟器的嵌入式C语言目标码级单元测试方法。本发明采用CPU模拟器技术，解决了不同嵌入式处理器的目标码在通用PC机上的执行问题，使得可以在通用PC机上进行嵌入式C语言目标码级的单元测试，本发明利用...
- 郭向英王小丽刘璟炜黄晨胡智琦
- 基于数据流需求模型的测试用例生成方法
- 2023年
- 星载嵌入式软件功能逻辑复杂,数据之间存在关联性和约束性,人工设计测试用例难以保证覆盖所有输入、所有组合的情况。通过对比活动图控制流和数据流对象的语义模型,说明这两种模型在适用功能场景、用例数据上的差异性,针对数据流对象模型建立可执行路径上表达式组集合,根据变量类型、有效范围等基本属性,进行变量约束求解生成数据再形成测试用例,并选取典型功能场景开展验证,结果表明,该方法能够满足等价类等数据覆盖的要求,快速提升测试效率。
- 黄晨黄晨虞砺琨于倩王小丽
- 关键词：数据流
- 基于SysML模型的需求建模及测试方法
- 2021年
- 为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.
- 黄晨于倩于倩陈华南左万娟
- 关键词：系统建模语言状态机
- 航天嵌入式软件测试用例典型设计缺陷研究被引量：5
- 2019年
- 作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正;工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。
- 左万娟虞砺琨虞砺琨黄晨
- 关键词：测试用例设计缺陷
- 航天嵌入式软件静态测试方法研究被引量：3
- 2022年
- 航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照性检查与确认,变量分析法和中断访问冲突分析法侧重于变量及其变体的分析及确认,代码逻辑分析法侧重于功能级的代码整体逻辑的分析与确认,工具静态扫描分析法则以全自主研发的典型缺陷模式集为核心实现缺陷自动化检测.研究成果已在航天软件第三方评测中全面推广应用.通过对方案综合应用数据、各方法应用数据的统计分析表明,工程应用效果良好,静态测试的缺陷检测率普遍提升至95%以上.相关分析方法和分析思路对软件缺陷自动化检测工具的研发以及传统软件测试方法的持续改进均具有一定的参考和推动作用.
- 左万娟左万娟董燕黄晨
- 关键词：航天代码审查
- 基于自适应观测器的非线性系统故障诊断被引量：15
- 2008年
- 研究一类非线性系统执行器故障诊断问题。对于故障系统,建立一种自适应观测器,通过在线调整,故障后执行器的未知参数被在线逼近。所提出的自适应调整律能够保证观测器稳定及故障估计误差收敛。最后引入卫星反作用飞轮模型,对单飞轮发生故障的情况进行了仿真,结果表明提出的方法有效、可行。
- 王小丽倪茂林
- 关键词：故障诊断非线性系统自适应观测器反作用飞轮
- 关联性变量分析在软件测试中的应用研究被引量：1
- 2018年
- 为进一步排查软件中潜在的较深层次的数据流缺陷，提高软件质量，提出了关联性变量的概念，并从变量的使用逻辑，以及变量自身所承栽的物理意义着手，研究总结了关联性变量的基本特征，提出了各类关联性变量的检测分析要点。在此基础上，对关联性变量设计缺陷开展实例分析，并对基于关联性变量分析的软件查错方法进行了总结。工程实践证明，通过开展关联性变量分析，可以发现较深层次的数据流缺陷，对于提高软件质量具有一定的实用价值。
- 左万娟虞砺琨虞砺琨董燕
- 关键词：数据流
