漆莲芝
- 作品数：15 被引量：41H指数：4
- 供职机构：中国工程物理研究院计算机应用研究所更多>>
- 发文基金：国防基础科研计划国防科技工业技术基础科研项目更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 一种用于软件可信性评估的可信证据分析与度量方法
- 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信...
- 漆莲芝郭兴林周昱瑶张谊颜运强高峰
- 文献传递
- 基于Pignistic概率转换和奇异值分解的证据冲突度量方法被引量：3
- 2021年
- 针对常见证据冲突度量方法适应性差、准确性低的问题,提出了一种基于Pignistic概率转换和奇异值分解的证据冲突度量方法。首先通过Pignistic概率转换将证据焦元差异映射到信度差异上,构建证据复合信任函数矩阵。然后采用奇异值分解的方法提取矩阵特征,根据奇异值特性将矩阵特征空间划分为相似子空间和冲突子空间,综合考虑证据矩阵相似特性和冲突特性,将冲突子空间奇异值与相似子空间奇异值之比作为新的冲突度量因子。最后在全冲突场景、变信度场景、变焦元场景、焦元嵌套场景等多种证据冲突场景下将所提方法与常见方法进行了对比分析,结果表明所提方法具有适应性广、准确性高、稳定性好的特点。
- 郭兴林孙振晓周昱瑶漆莲芝张谊
- 关键词：证据理论奇异值分解
- 基于可信特征度量的软件可信性评估与改进方法
- 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成...
- 漆莲芝郭兴林周昱瑶张谊颜运强高峰
- 文献传递
- 一种面向第三方测试的装备软件可信性评估方法被引量：1
- 2020年
- 软件可信性评估是保障装备软件可信的重要手段。针对传统可信评估方法评估模型领域行业适应性差、模型构建科学性和规范性不足、提供的可信信息匮乏等问题,提出一种面向第三方测试的装备软件可信性评估方法。首先建立基于多维属性的软件可信性评估模型,为保证模型输入的一致性和规范性,采用统一的可信证据分析度量方法对评估模型进行约束;然后采用基于公理证明的可信融合算法对可信数据进行融合;最后根据评估过程和结果信息深入开展可信性分析,挖掘更多的软件可信信息,生成可信性增强策略和规范。应用结果表明,该方法科学性、规范性较强,评估结果准确性较高,能够有效促进装备软件可信性的提升。
- 郭兴林周昱瑶漆莲芝孙振晓张谊颜运强
- 关键词：第三方测试
- VI仿真环境下嵌入式软件测试研究与应用被引量：9
- 2011年
- 嵌入式软件测试与通用软件测试有相通之处,也有很大差异,嵌入式系统测试与系统软硬件平台关系密切且对测试环境、测试方法都有特殊要求。测试用例设计是软件测试的核心,决定了软件测试的最终效果。在软件测试环境能更方便地进行测试用例注入,且软件测试环境直接影响着软件测试的效率。本文论述了嵌入式软件测试技术,分析了采用UML生成测试用例的方法,论述了采用VI技术搭建仿真测试环境的原理。采用所述方法实现了某型号分系统嵌入式软件测试。
- 漆莲芝谢敏张军
- 关键词：嵌入式软件测试统一建模语言仿真环境
- 测控软件数据接口测试与典型缺陷分析被引量：7
- 2017年
- 为提升软件测试效率与加强测试质量,考虑装备软件数据接口功能多变、任务复杂的特点,提取装备测控软件数据处理接口共性,分析测试与控制参数以及数据通信接口数据帧结构、内容与特点,并以此为基础构造数据处理接口测试模式,提出对应的测试策略。通过这种办法更科学系统地指导针对数据输入/输出接口、人机交互接口及数据文件接口测试用例的设计。将所述测试方法应用于某装备测控软件数据处理接口测试,能有效发现软件缺陷,提升装备软件质量。
- 漆莲芝周昱瑶张谊颜运强陈泉根
- 关键词：测控软件测试用例设计
- 基于过程度量的软件测试质量管理被引量：13
- 2008年
- 软件测试验证软件是否符合用户需求,软件测试过程的科学管理是软件测试成功的重要保证,运用软件度量的方法量化软件测试过程,构造度量并分析过程度量数据的有效性;论述测试效率/软件缺陷作为软件测试工作量/成果指标的必要性,运用工作量/成果模型分析测试过程;通过量化软件相关属性实现过程度量的构造,实施度量后利用工作量/成果模型对度量结果进行分析,并对项目做出评估,并采取相应措施;在现有资源的情况下,实施质量管理,监控软件测试过程,实现软件测试过程的有效管理。
- 漆莲芝
- 关键词：软件测试质量管理
- 基于属性度量的装备软件异常预防
- 2018年
- 针对装备软件各种错误、缺陷、故障、失效等不断重复发生的情况,分析了各概念的特点与相互关系。采用软件“异常”表示由错误、缺陷、故障、失效所触发的所有不正确、不正常、不可接受的软件事件,引入基于属性的软件异常问题度量,在此基础上提出了软件异常模式的概念。抽象装备软件不断重复或类似的软件异常问题的共同规律,获得基于软件可信属性与软件测试类型的装备软件异常模式。深入分析各种异常模式的引入原因与可能触发后果,指导测试人员针对典型异常开展测试设计,提高发现装备软件异常问题的效率;指导研发人员进行软件异常避错或容错设计与开发,提高装备软件质量。
- 漆莲芝郭兴林杨柯张谊陈泉根
- 关键嵌入式软件全生命周期质量控制设想被引量：2
- 2016年
- 随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文档传递软件信息的传统软件开发模式,详细分析了在提升软件可信性方面存在的瓶颈问题,提出了基于模型的软件开发的Y模型,该新模式将软件需求分析与设计融合,引入形式化验证手段,在全生命周期开展形式化验证和仿真验证,确保软件可信.
- 颜运强漆莲芝陈泉根
- 关键词：嵌入式软件全生命周期形式化验证仿真验证
- 1553B接口仿真测试系统设计及典型软件缺陷分析被引量：1
- 2016年
- 介绍了一种1553B接口仿真测试软件硬件设计方案,详细介绍了自动化测试引擎设计以及Lua脚本语言的测试流程设计,并以某装备软件1553B通信接口测试中发现的一些具有代表性的接口问题为例,对1553B软件接口测试典型案例的测试设计、测试结果进行了较为详细的描述,介绍了如何设计有效的软件测试用例,高效地发现通信软件的设计缺陷和程序问题,提升了软件的质量。
- 张军杨柯颜运强漆莲芝
- 关键词：计算机软件软件测试接口测试通信
