张谊
- 作品数：16 被引量：19H指数：3
- 供职机构：中国工程物理研究院计算机应用研究所更多>>
- 发文基金：国防科技工业技术基础科研项目更多>>
- 相关领域：自动化与计算机技术军事更多>>
- 一种用于软件可信性评估的可信证据分析与度量方法
- 本发明公开了一种用于软件可信性评估的可信证据分析与度量方法，包括以下步骤：基于软件研制文档与标准的软件可信需求的获取；基于软件可信特性的软件可信证据模型的构建；基于证据模型设计软件可信评估证据体系；基于粒度标准的软件可信...
- 漆莲芝郭兴林周昱瑶张谊颜运强高峰
- 文献传递
- 基于Pignistic概率转换和奇异值分解的证据冲突度量方法被引量：4
- 2021年
- 针对常见证据冲突度量方法适应性差、准确性低的问题,提出了一种基于Pignistic概率转换和奇异值分解的证据冲突度量方法。首先通过Pignistic概率转换将证据焦元差异映射到信度差异上,构建证据复合信任函数矩阵。然后采用奇异值分解的方法提取矩阵特征,根据奇异值特性将矩阵特征空间划分为相似子空间和冲突子空间,综合考虑证据矩阵相似特性和冲突特性,将冲突子空间奇异值与相似子空间奇异值之比作为新的冲突度量因子。最后在全冲突场景、变信度场景、变焦元场景、焦元嵌套场景等多种证据冲突场景下将所提方法与常见方法进行了对比分析,结果表明所提方法具有适应性广、准确性高、稳定性好的特点。
- 郭兴林孙振晓周昱瑶漆莲芝张谊
- 关键词：证据理论奇异值分解
- 基于可信特征度量的软件可信性评估与改进方法
- 本发明公开了一种基于可信特征度量的软件可信性评估与改进方法，包括以下步骤：软件可信评估架构：采用层次性结构，自底向上依次为度量指标、度量元、子属性、属性、研制阶段可信性、软件可信性，其中度量指标、度量元、子属性、属性组成...
- 漆莲芝郭兴林周昱瑶张谊颜运强高峰
- 文献传递
- 基于场景和数据驱动的软件流程测试方法及装置
- 本发明公开了基于场景和数据驱动的软件流程测试方法，包括：装备软件场景分析；获得系统场景和业务场景，遍历场景；交换数据配置，制定五层交换数据配置规则，生成装备软件与外部系统之间的交换数据，形成测试数据配置文件；解析测试数据...
- 张进坤杨红庆孙哲卢航张谊邓霏胡驰彭艳红杨柯沈亚峰
- 文献传递
- 测控软件数据接口测试与典型缺陷分析被引量：8
- 2017年
- 为提升软件测试效率与加强测试质量,考虑装备软件数据接口功能多变、任务复杂的特点,提取装备测控软件数据处理接口共性,分析测试与控制参数以及数据通信接口数据帧结构、内容与特点,并以此为基础构造数据处理接口测试模式,提出对应的测试策略。通过这种办法更科学系统地指导针对数据输入/输出接口、人机交互接口及数据文件接口测试用例的设计。将所述测试方法应用于某装备测控软件数据处理接口测试,能有效发现软件缺陷,提升装备软件质量。
- 漆莲芝周昱瑶张谊颜运强陈泉根
- 关键词：测控软件测试用例设计
- 基于属性度量的装备软件异常预防
- 2018年
- 针对装备软件各种错误、缺陷、故障、失效等不断重复发生的情况,分析了各概念的特点与相互关系。采用软件“异常”表示由错误、缺陷、故障、失效所触发的所有不正确、不正常、不可接受的软件事件,引入基于属性的软件异常问题度量,在此基础上提出了软件异常模式的概念。抽象装备软件不断重复或类似的软件异常问题的共同规律,获得基于软件可信属性与软件测试类型的装备软件异常模式。深入分析各种异常模式的引入原因与可能触发后果,指导测试人员针对典型异常开展测试设计,提高发现装备软件异常问题的效率;指导研发人员进行软件异常避错或容错设计与开发,提高装备软件质量。
- 漆莲芝郭兴林杨柯张谊陈泉根
- 基于混合自动化测试框架的Web测试平台及测试方法
- 本发明公开了一种基于混合自动化测试框架的Web测试平台，其总体架构包括自动化测试管理层、自动化测试引擎层和第三方测试工具，其中，自动化测试管理层用于Web自动化测试的全过程管理，支持测试实施人员进行测试需求分析、测试设计...
- 孙哲颜运强张谊陈泉根杨永辉
- 文献传递
- 轻量级嵌入式软件自动化测试框架设计
- 2024年
- 为满足嵌入式软件测试过程中测试数据的快速生成与输入,采用数据与关键字驱动的混合驱动方法对嵌入式软件自动化测试框架进行设计。通过对嵌入式软件自动化测试框架的研究,明确测试框架设计的难点;对软件测试数据的组成与结构进行分析,构建数据与关键字驱动模型并对其生成与输入算法进行设计,根据模型实现复杂多接口测试数据的快速生成与输入。采用模块化思想,利用多线程原理对该轻量级测试框架进行设计与实现,通过实例验证该框架能够实现测试数据的自动生成与快速输入,提升测试效率。
- 陈建沈亚峰张谊
- 关键词：数据模型关键字驱动数据生成嵌入式软件自动化测试
- 基于FPGA的一体化I2C接口验证控制器设计方法
- 本发明公开了一种基于FPGA的一体化I2C接口验证控制器设计方法，验证控制器基于FPGA开发，采用主从机一体化设计架构；主从机一体化设计架构通过对I2C通信过程进行分层抽象，将I2C通信主、从机集成于一体，实现验证控制器...
- 郭兴林张谊颜运强卢航史龙飞周昱瑶
- 基于属性度量的装备软件异常预防
- 针对装备软件各种错误、缺陷、故障、失效等不断重复发生的情况,分析了各概念的特点与相互关系。采用软件"异常"表示由错误、缺陷、故障、失效所触发的所有不正确、不正常、不可接受的软件事件,引入基于属性的软件异常问题度量,在此基...
- 漆莲芝郭兴林杨柯张谊陈泉根
- 文献传递
