单锦辉
- 作品数：20 被引量：429H指数：8
- 供职机构：北京特种工程设计研究院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术兵器科学与技术航空宇航科学技术更多>>
- 发射场测试发射指挥监控系统可靠性分析被引量：2
- 2010年
- 测试发射指挥监控系统(简称C^3I系统)在发射场发挥着重要的作用,对其可靠性提出了很高的要求。本文对C^3I系统可靠性分析方法进行研究,提出C^3I系统可靠性评定指标,收集C^3I系统可靠性数据,对C^3I系统可靠性进行分析,查找其中存在的薄弱环节,分析造成其可靠性下降的原因,并提出可靠性工作建议。
- 单锦辉曹宗胜张爱良牛胜芬
- 关键词：C^3I系统可靠性
- 面向对象语言中方法存储与查找研究
- 1992年
- 在面向对象语言及数据库系统中,如何快速实现方法查找,把控制转移到相应方法体上去是事关系统效率的核心问题。这对于后约束的系统显得尤为重要。本文分析了现有的几种方法存储与查找算法,再给出在我们设计的面向对象语言OL-3中方法存储与查找的实现方式,并提出两种新的设计方案。所有的讨论都进行时空效率和易修改性分析。
- 单锦辉奚建清胡守仁
- 关键词：面向对象程序语言
- 软件的易测试性分析方法述评被引量：6
- 2005年
- 软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。
- 刘菲菲单锦辉姜瑛
- 关键词：测试性UML类图工程领域软件测试
- 一种Web服务的测试数据自动生成方法被引量：69
- 2005年
- 软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性.
- 姜瑛辛国茂单锦辉张路谢冰杨芙清
- 关键词：WEB服务软件测试测试数据生成合约
- 一种面向路径的测试数据自动生成方法
- 本发明公开了一种面向路径的测试数据自动生成方法，目的是提出一种无数据依赖关系分析的能够用于白盒、黑盒的测试数据自动生成的方法。本发明约束构造器根据当前程序输入和各输入变量的增量执行路径W上的语句，不分析W上的语句之间的数...
- 单锦辉王戟齐治昌
- 文献传递
- 软件的可测试性分析方法述评
- 软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件可测试性则是降低测试复杂性的有效手段.为达到这一目标,首先要能对软件的可测试性进行准确的度量.这种度量结果除了作为...
- 刘菲菲单锦辉姜瑛
- 关键词：软件可测试性软件复杂性度量信息流图软件测试
- 文献传递
- Gupta方法的改进被引量：7
- 2002年
- Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 .
- 单锦辉王戟齐治昌吴建平
- 关键词：测试数据自动生成软件测试数据流分析程序切片
- 一种新的变异测试数据自动生成方法被引量：22
- 2008年
- 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
- 单锦辉高友峰刘明浩刘江红张路孙家骕
- 关键词：变异体测试数据
- 一种基于合约的构件易测试性设计方法
- 基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径。构件测试是保证构件质量的重要技术手段。构件技术的新特点为构件测试带来了挑战。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。本文提出一种基于合约...
- 单锦辉侯姗姗
- 关键词：软件测试合约
- 文献传递
- 发射场测试发射指挥监控系统可靠性分配与预计
- 2012年
- 测试发射指挥监控系统(简称C3I系统)在发射场发挥着重要的作用。C3I系统可靠性分配与预计是C3I系统可靠性工作的重要内容,也是C3I系统可靠性设计的基础和依据。提出了一种C3I系统可靠性分配与预计方法,对一种C3I系统可靠性进行了分配与预计,并验证了所提方法的有效性。
- 孙雅度单锦辉曹宗胜
- 关键词：可靠性
