虞砺琨
- 作品数：12 被引量：25H指数：4
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于表格的中断数据冲突静态分析方法被引量：8
- 2016年
- 中断冲突问题是星载嵌入式软件较为典型的缺陷之一,由于中断冲突发生的不确定性和随机性,在动态测试过程中难以复现和定位.介绍一种基于表格的中断冲突静态分析方法,专门针对数据关联性、操作关联性、时序冲突以实例的方式给出分析方法和过程,并总结几种预防中断冲突常见的设计策略和方法.相比较动态测试需要在特定的场景才能发现的数据冲突问题,静态分析方法在设计和测试阶段实施更加容易、高效.
- 黄晨董燕王小丽虞砺琨
- 基于参数类型和访问序的数据冲突静态分析方法被引量：5
- 2018年
- 中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.
- 董燕黄晨王小丽虞砺琨于倩
- 关键词：数据冲突
- 一种仿真平台数字量通用输出方法
- 一种仿真平台数字量通用输出方法，首先定义初始化设置描述，包括发送模式、脉冲宽度、脉冲个数、电平状态、信号触发延时时间以及外部信号同步设置参数，判断发送使能或同步信号有效，等待相应延时时间后依据参数配置信息产生相应高低电平...
- 李晓锋陈朝晖党纪红董晓刚钟睿明蔡雨辰虞砺琨王振华于海心齐天翼
- 文献传递
- 基于数据模型的接口用例自动生成
- 2020年
- 在嵌入式软件设计过程中,接口是非常重要的设计元素,对接口协议进行验证是接口测试中的主要内容。但现在软件接口类型不同,需要人工识别与组装各种接口的测试用例报文,接口协议的复杂度直接影响测试用例编制的难度与工作量。为实现接口测试用例的自动生成,提出一种基于数据模型的接口用例自动生成技术,根据复杂的接口协议文件,建立被测软件的接口协议形式化模型,准确、高效地表达接口协议规则及要素,并使用动态计算与替换算法得到相应业务场景下的预期结果,生成标准化的测试用例,更可兼容多种类型的接口,有效提升了接口测试效率。
- 虞砺琨左万娟左万娟陈华南于倩
- 关键词：嵌入式软件接口协议接口测试
- 基于变量操作特征分析的软件缺陷模式研究被引量：4
- 2018年
- 根据航天器软件第三方评测数据统计分析,因变量定义错误、使用错误所导致的软件缺陷约占以修改程序方式更正的缺陷总数的36%,仅次于需求相关软件缺陷占比。为提升软件质量,针对与变量相关的软件缺陷开展了专题研究、对变量操作特征进行了系统分析与分类,构建了与变量操作特征相关联的软件缺陷模式集。实践结果表明,依据缺陷模式与变量操作特征之间的关联性开展软件测试活动,可以有效提高软件缺陷检出效率。
- 左万娟虞砺琨虞砺琨董燕
- 关键词：操作特征
- 基于数据流需求模型的测试用例生成方法
- 2023年
- 星载嵌入式软件功能逻辑复杂,数据之间存在关联性和约束性,人工设计测试用例难以保证覆盖所有输入、所有组合的情况。通过对比活动图控制流和数据流对象的语义模型,说明这两种模型在适用功能场景、用例数据上的差异性,针对数据流对象模型建立可执行路径上表达式组集合,根据变量类型、有效范围等基本属性,进行变量约束求解生成数据再形成测试用例,并选取典型功能场景开展验证,结果表明,该方法能够满足等价类等数据覆盖的要求,快速提升测试效率。
- 黄晨黄晨虞砺琨于倩王小丽
- 关键词：数据流
- 一种仿真平台数字量通用输出方法
- 一种仿真平台数字量通用输出方法，首先定义初始化设置描述，包括发送模式、脉冲宽度、脉冲个数、电平状态、信号触发延时时间以及外部信号同步设置参数，判断发送使能或同步信号有效，等待相应延时时间后依据参数配置信息产生相应高低电平...
- 李晓锋陈朝晖党纪红董晓刚钟睿明蔡雨辰虞砺琨王振华于海心齐天翼
- 航天嵌入式软件测试用例典型设计缺陷研究被引量：5
- 2019年
- 作为动态测试充分性的基本评价指标,覆盖率分析只能帮助修正因输入不足而导致的测试用例设计缺陷;针对航天嵌入式软件测试过程中不影响覆盖率统计结果的用例设计缺陷,从测试步骤和预期结果两大测试用例核心要素开展研究,提出十个典型缺陷,分别予以分析,并进行缺陷修正;工程实践证明,这些缺陷的发生率高,具有典型性;修正这些缺陷后,可以有效检出软件设计缺陷;与用例执行后的覆盖率统计数据分析相结合,可以有效提高测试充分性。
- 左万娟虞砺琨虞砺琨黄晨
- 关键词：测试用例设计缺陷
- 基于目标码的测试覆盖不可达分析方法被引量：3
- 2017年
- 基于目标码的测试覆盖率分析是软件测试过程的必要关键步骤,不可达分析能够保证测试的完整性和充分性。给出嵌入式软件基于覆盖率测试的分析过程,在嵌入式虚拟测试平台的基础上,对程序目标代码插桩,采用语句和分支覆盖率分析准则,将黑盒测试和白盒测试相结合,分析不可达分支语句引入机理,并通过具体的反汇编代码实例分析来验证这种测试方法的可行性和有效性。专门针对覆盖率不可达的分析可以有效验证软件功能,发现软件缺陷,进一步提升软件质量。
- 黄晨董燕于倩虞砺琨
- 关键词：嵌入式目标码
- 关联性变量分析在软件测试中的应用研究被引量：1
- 2018年
- 为进一步排查软件中潜在的较深层次的数据流缺陷，提高软件质量，提出了关联性变量的概念，并从变量的使用逻辑，以及变量自身所承栽的物理意义着手，研究总结了关联性变量的基本特征，提出了各类关联性变量的检测分析要点。在此基础上，对关联性变量设计缺陷开展实例分析，并对基于关联性变量分析的软件查错方法进行了总结。工程实践证明，通过开展关联性变量分析，可以发现较深层次的数据流缺陷，对于提高软件质量具有一定的实用价值。
- 左万娟虞砺琨虞砺琨董燕
- 关键词：数据流
