陈丽容
- 作品数：13 被引量：40H指数：4
- 供职机构：中国航天科工集团公司更多>>
- 发文基金：总装备部“十一五”国防预研项目中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术交通运输工程航空宇航科学技术更多>>
- 基于三维“运行剖面”描述模型的测试数据自动生成
- 2005年
- 针对被测软件有多种使用时的情况,提出了一个三维的运行剖面描述模型,该模型要求综合考虑被测软件在实际应用中的各种使用情况,因而依据三维运行剖面描述模型进行测试,能较好的体现出被测软件的整体质量。给出了基于三维运行剖面描述模型的测试数据自动生成算法,以及检验生成的测试数据集与被测软件的运行剖面是否一致的方法,以保证测试数据集的有效性。
- 沈升源汤铭端陈丽容
- 关键词：软件测试运行剖面测试数据
- 多重中断程序测试框架被引量：4
- 2012年
- 为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境。实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析。
- 付修锋陈丽容
- 关键词：软件测试不确定性共享资源
- 基于统计覆盖测试技术的软件测试充分性研究被引量：13
- 2004年
- 研究了基于可信度的统计覆盖测试技术,以及基于统计覆盖测试技术的测试充分性,指出"以至少C的可信度确信,下一次软件测试出现新的覆盖项(如语句,分支,路径等)的概率小于或等于一个给定的正数B",是一种测试充分性的标准。在此基础上,进一步研究了统计测试技术与软件可靠性技术指标中的软件失效率之间的联系,给出了基于统计测试技术的软件失效率的度量方法。
- 沈升源陈丽容汤铭端
- 关键词：软件测试可靠性
- 基于多版本较准的软件可靠性评估被引量：1
- 2007年
- 软件可靠性模型都要求测试时的操作剖面与实际运行时的操作剖面一致,但这往往很难达到,造成测试完成之后的可靠性预计与发布之后实际运行中达到的可靠性有较大差距。为了提高软件可靠性评估的准确性,提出了剖面差异性的概念,认为同一软件各个版本的测试操作剖面与实际操作剖面之间的差异性是相同的。在此前提下,提出了一个多版本校准方法,利用软件以前版本的剖面差异性来改进软件当前版本的可靠性评估。
- 杨彬陈丽容
- 关键词：软件可靠性评估测试剖面运行剖面
- 基于生命周期的软件缺陷预测技术被引量：9
- 2009年
- 为保证软件可靠性和软件质量,在基于软件开发周期的基础上,提出了一种利用PCA-BP模糊神经网络的软件缺陷预计方法。针对影响软件可靠性的各种因素,依据相关的标准,结合工程实践,选取了影响软件可靠性的度量元。收集了实际工程中的一类飞行控制软件的度量数据,利用提出的模型进行缺陷预测,并将预测结果与传统的BP神经网络模型计算的结果进行了对比。对比结果表明,与基于BP神经网络的预测方法相比较,结合了主成分分析方法的PCA-BP神经网络预测方法具有更快的收敛速度和更高的预测准确度。
- 吴超许建平陈丽容
- 关键词：软件缺陷预测软件生命周期BP神经网络主成分分析方法
- 关于提高航天软件评测过程质量管控的几点思考
- 2021年
- 随着装备信息化和智能化的发展,软件逐渐成为装备的大脑、中枢,大型装备系统已成为名副其实的"软件密集型"系统。软件的快速发展,对软件的功能、性能、质量和可靠性等提出了越来越高的要求,然而因软件设计的各类缺陷导致的质量问题也时有发生。自2002年航天系统推行产品保证管理以来,软件产品保证就是其中最重要的组成部分之一。航天系统十多年来一直采用软件评测(本文"软件评测"均特指"软件第三方评测")作为软件质量保证最重要的途径之一,其作用和效果日益受到各方的重视和关注。
- 栾蓉产启兵李敏徐瑛陈丽容
- 关键词：软件评测软件设计航天系统装备信息化
- 基于依赖要素比对的国产操作系统兼容性测试方法被引量：5
- 2020年
- 为解决国产操作系统缺乏统一开发标准且应用程序在开发过程中存在大量第三方库的调用,导致国产操作系统难以进行兼容性测试的问题,对操作系统兼容性概念以及动态链接原理进行研究,分析操作系统兼容性依赖要素,对依赖要素进行分级,提出基于依赖要素比对的国产操作系统兼容性测试方法,对待测试的操作系统进行要素扫描,通过比对两个操作系统依赖要素的一致性获得操作系统兼容性测试结果,给出实验数据验证了方法的可行性。
- 陈鹏陈丽容高艳鹍李洪波
- 关键词：操作系统
- 高可靠软件的可靠性评估技术
- 2007年
- 研究了高可靠软件的可靠性评估技术,给出了失效数据稀少情况下的软件可靠性模型。假设高可靠软件的可靠性测试过程中发生失效是独立同分布的稀有事件,从理论上分析了极值统计理论用于软件可靠性评估的可行性,建立了软件可靠性极值统计模型,讨论了模型的参数估计方法和假设检验方法。
- 杨彬陈丽容
- 关键词：软件可靠性模型
- 并发错误动态检测方法
- 2016年
- 针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题,在动态偏序化简算法的理论基础上,提出一种分布式的并发错误动态检测方法。该方法包括一个负载均衡节点和若干个计算节点,分别运行负载均衡算法和分布式动态偏序化简算法,依靠分布式系统强大的计算能力,提高并发错误检测的效率。实验结果表明,相对于动态偏序化简算法,该方法极大地缩短了并发错误的检测时间。
- 付修锋邢彦陈丽容
- 关键词：并发程序分布式系统负载均衡
- 基于复杂性的软件缺陷预测被引量：2
- 2011年
- 为解决软件缺陷预测问题引入了最小二乘支持向量机算法(LS-SVM),加速了超参数的选择过程,给出了逐个加入新的样本用以模型校正的快捷方法,以软件复杂性度量为线索,建立了基于FLS-SVM的软件缺陷预测模型。通过具体实例阐明了模型的执行过程及小样本情况下比神经网络更为出色的预测能力,并根据回归方程指出了对软件缺陷影响显著的复杂性度量。
- 冯大成陈丽容
- 关键词：软件缺陷预测最小二乘支持向量机神经网络
