作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

一种软件故障诊断过程框架  CNKI文献

软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.但是当前所进行的多为软件故障诊断中单项活动的研究,较少有对各项诊断活动及其相应方法进行有效集成的研究.文...

单锦辉 徐克俊... 《计算机学报》 2011年02期 期刊

关键词: 软件故障 / 故障诊断 / 故障检测 / 故障定位

下载(1067)| 被引(44)

软件测试研究进展  CNKI文献

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探...

单锦辉 姜瑛... 《北京大学学报(自然科学版)》 2005年01期 期刊

关键词: 软件测试 / 软件质量 / 软件的易测试性 / 构件测试

下载(6969)| 被引(798)

一种新的变异测试数据自动生成方法  CNKI文献

变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究...

单锦辉 高友峰... 《计算机学报》 2008年06期 期刊

关键词: 变异测试 / 变异体 / 测试数据 / 充分性准则

下载(573)| 被引(47)

面向路径的测试数据自动生成方法研究  CNKI文献

软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题在本文中简称为问题2,可以描述为:给定一个程序P和P中一条路径W,设P的输入空...

单锦辉 导师:齐治昌 国防科学技术大学 2002-04-01 博士论文

关键词: 测试数据自动生成 / 面向路径的测试 / 软件测试 / 数据流分析

下载(1613)| 被引(70)

面向路径的测试数据自动生成方法述评  CNKI文献

为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为...

单锦辉 王戟... 《电子学报》 2004年01期 期刊

关键词: 测试数据自动生成 / 程序路径 / 约束求解 / 数值优化

下载(674)| 被引(120)

实时嵌入式软件时间抽象状态机的扩展  CNKI文献

针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符...

单锦辉 张路... 《北京大学学报(自然科学版)》 2019年02期 期刊

关键词: 需求建模语言 / 实时 / 嵌入式软件 / 形式化定义

下载(70)| 被引(0)

软件故障诊断探讨  CNKI文献

软件在国民经济和社会生活中发挥着重要作用。软件出现故障可能造成严重危害。但是,目前尚未明确提出软件故障诊断的概念,缺乏对软件故障诊断的系统深入研究。当前硬件系统故障诊断的研究和实践都取得了较大的进展。本...

单锦辉 徐克俊 《北京化工大学学报(自然科学版)》 2007年S1期 期刊

关键词: 软件故障 / 故障诊断 / 故障检测 / 故障定位

下载(461)| 被引(14)

面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计  CNKI文献

面向路径的测试数据生成问题是软件测试中一个基本问题。文章介绍了自主开发的面向路径的测试数据自动生成工具。Tcl/Tk是一种图形界面设计工具,其功能强大,可运行于Windows,UNIX等操作系统上,具有良好的可移植性。文...

单锦辉 王戟... 《计算机工程与应用》 2002年01期 期刊

关键词: 测试数据自动生成 / 软件工具 / 图形界面 / Tcl/Tk

下载(251)| 被引(38)

面向路径的测试数据自动生成工具的设计与实现  CNKI文献

面向路径的测试数据生成问题是软件测试中的一个基本问题。Gupta等提出一种线性化谓词函数的迭代松弛方法[1 ] 求解该问题。文献[2 ]改进了该方法 ,证明改进后的方法与原方法生成的约束系统相同。文章以改进后的方法为...

单锦辉 王戟... 《计算机工程与科学》 2002年01期 期刊

关键词: 测试数据自动生成 / 软件工具 / UML / 面向对象

下载(210)| 被引(18)

基于合约的构件易测试性设计支撑工具的设计与实现  CNKI文献

构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性...

单锦辉 姜瑛... 《北京大学学报(自然科学版)》 2005年05期 期刊

关键词: 软件测试 / 软件的易测试性 / 构件 / 合约式设计

下载(178)| 被引(10)

Gupta方法的改进  CNKI文献

Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词...

单锦辉 王戟... 《计算机学报》 2002年12期 期刊

关键词: 测试数据自动生成 / 路径测试 / 软件测试 / 数据流分析

下载(122)| 被引(12)

一种新的提高软件易测试性的合约式设计方法  CNKI文献

软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍...

单锦辉 辛国茂... 《计算机工程与科学》 2008年01期 期刊

关键词: 软件测试 / 软件的易测试性 / 合约式设计

下载(148)| 被引(5)

一种面向缺陷的软件测试方法:变异测试  CNKI文献

软件测试是保证软件质量的重手段。变异测试是一种行之有效的软件测试方法,系统地模拟软件中的各种缺陷,然后构造能够发现这些缺陷的测试数据集。通过简介绍变异测试的基本原理,分析软件故障模型与变异算子的关系,探讨...

单锦辉 李炳斌... 《载人航天》 2007年02期 期刊

关键词: 变异测试 / 测试数据 / 充分性准则 / 软件缺陷

下载(133)| 被引(2)

发射场测试发射指挥监控系统可靠性分析  CNKI文献

测试发射指挥监控系统(简称C~3I系统)在发射场发挥着重要的作用,对其可靠性提出了很高的要求。本文对C~3I系统可靠性分析方法进行研究,提出C~3I系统可靠性评定指标,收集C~3I系统可靠性数据,对C~3I系统可靠性进行分析,...

单锦辉 曹宗胜... 《载人航天》 2010年02期 期刊

关键词: 测试发射指挥监控系统 / C~3I系统 / 可靠性 / 分析

下载(63)| 被引(1)

面向路径的测试数据自动生成方法研究  CNKI文献

软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题可以描述为:给定一个程序P和P中一条路径W,设P的输入空间为D,求x∈D,使得P以x为...

单锦辉 齐治昌 《计算机工程与科学》 2003年06期 期刊

关键词: 测试数据自动生成 / 线性函数 / 谓词函数 / 输人

下载(264)| 被引(4)

面向对象软件中类的服务的测试模型与测试策略  CNKI文献

类的服务的测试是面向对象软件测试中的重要内容。本文介绍了一种类的服务的测试模型,即服务的块分支图,指出了该模型的两种获取途径,并在此基础上讨论了基本路径测试和功能测试的测试策略,以帮助测试人员比较全面...

单锦辉 《计算机应用》 1998年05期 期刊

关键词: 软件测试 / 面向对象 / 基本路径测试 / 功能测试

下载(72)| 被引(5)

软件故障诊断初探  CNKI文献

介绍国内外软件故障诊断技术的研究现状,并比较软件与硬件的差异,分析软件故障产生的原因和软件失效机理,各种硬件系统故障诊断技术,并对软件故障诊断进行了初步的探讨。

单锦辉 徐克俊 《载人航天》 2007年03期 期刊

关键词: 软件 / 故障 / 故障诊断 / 硬件

下载(59)| 被引(1)

一种基于合约的构件易测试性设计方法  CNKI文献

基于构件的软件复用和开发,被认为是提高软件开发效率和质量的有效途径。构件测试是保证构件质量的重要技术手段。构件技术的新特点为构件测试带来了挑战。基于合约的构件易测试性设计为构件测试提供了一种有效的手段...

单锦辉 侯姗姗 《载人航天》 2006年05期 期刊

关键词: 软件测试 / 软件的易测试性 / 构件 / 合约

下载(14)| 被引(0)

面向对象语言中方法存储与查找研究  CNKI文献

在面向对象语言及数据库系统中,如何快速实现方法查找,把控制转移到相应方法体上去是事关系统效率的核心问题。这对于后约束的系统显得尤为重要。本文分析了现有的几种方法存储与查找算法,再给出在我们设计的面向对象...

单锦辉 奚建清... 《计算机工程与科学》 1992年02期 期刊

关键词: 查找算法 / 接收者 / DTS / Hash

下载(22)| 被引(0)

软件的易测试性分析方法述评  CNKI文献

软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这...

刘菲菲 单锦辉... 《计算机科学》 2005年04期 期刊

关键词: 软件易测试性 / 软件复杂性度量 / 信息流图 / PIE技术

下载(173)| 被引(11)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

史铁生评传