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