检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

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

计算机学报 2011年第2期34卷 371-382页

作者：单锦辉徐克俊王戟北京特种工程设计研究院北京100028 中国酒泉卫星发射中心甘肃酒泉732750 国防科学技术大学计算机学院长沙410073

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

软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.但是当前所进行的多为软件故障诊断中单项活动的研究,较少有对各项诊断活动及其相应方法进行有效集成的研究.文中分析软件失效机理和软件故障产生原因,讨论软件故障模型,提出一种由故障检测、故障定位、故障排除、交付等组成的集成化的软件故障诊断过程框架,研究软件故障检测、定位和排除中所采用的方法及相应的过程,并且将该框架应用于实际的软件故障诊断.

关键词：软件故障故障诊断故障检测故障定位故障排除

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

在线全文

学校读者我要写书评

暂无评论

北京大学学报（自然科学版） 2005年第5期41卷 815-819页

作者：单锦辉姜瑛刘江红辛国茂侯姗姗北京大学信息科学技术学院软件研究所北京100871

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

构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。

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

在线全文

学校读者我要写书评

暂无评论

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

北京大学学报（自然科学版） 2019年第2期55卷 197-208页

作者：单锦辉张路王金波张涛华为技术有限公司深圳518129 北京大学信息科学技术学院北京100871 中国科学院空间应用工程与技术中心北京100094

针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采... 详细信息

针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。

关键词：需求建模语言实时嵌入式软件形式化定义扩展时间抽象状态机

在线全文

学校读者我要写书评

暂无评论

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

电子学报 2004年第1期32卷 109-113页

作者：单锦辉王戟齐治昌国防科学技术大学计算机学院湖南长沙410073

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

为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题 .求解该问题的实质在于约束系统的建立和求解 ,其主要困难之一在于非线性约束求解是一个理论上困难的问题 .文中将面向路径的测试数据自动生成方法分为四类———随机法、静态法、动态法和试探法 ,分析和比较了每一类中有代表性的方法 ,并探讨了研究方向 .

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

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

在线全文

学校读者我要写书评

暂无评论

计算机应用 1998年第5期18卷 19-22页

作者：单锦辉兰州市27支局

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

类的服务的测试是面向对象软件测试中的重要内容。本文介绍了一种类的服务的测试模型，即服务的块分支图，指出了该模型的两种获取途径，并在此基础上讨论了基本路径测试和功能测试的测试策略，以帮助测试人员比较全面地、有针对性地构造测试用例。本文所讨论的测试模型与测试策略同样适合于结构化程序的单元测试。

关键词：软件测试面向对象测试模型测试策略软件开发

在线全文

学校读者我要写书评

暂无评论

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

计算机工程与科学 1992年第2期14卷 9-15页

作者：单锦辉奚建清胡守仁国防科技大学电子计算机系

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

在面向对象语言及数据库系统中,如何快速实现方法查找,把控制转移到相应方法体上去是事关系统效率的核心问题。这对于后约束的系统显得尤为重要。本文分析了现有的几种方法存储与查找算法,再给出在我们设计的面向对象语言OL-3中方法存储与查找的实现方式,并提出两种新的设计方案。所有的讨论都进行时空效率和易修改性分析。

关键词：面向对象程序语言存储查找

在线全文

学校读者我要写书评

暂无评论

软件故障诊断初探

载人航天 2007年第3期13卷 53-58页

作者：单锦辉徐克俊中国酒泉卫星发射中心

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

关键词：软件故障故障诊断硬件

在线全文

学校读者我要写书评

暂无评论

软件故障诊断探讨

北京化工大学学报（自然科学版） 2007年第A1期34卷 5-8页

作者：单锦辉徐克俊兰州市27支局15信箱14号 732750

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

软件在国民经济和社会生活中发挥着重要作用。软件出现故障可能造成严重危害。但是,目前尚未明确提出软件故障诊断的概念,缺乏对软件故障诊断的系统深入研究。当前硬件系统故障诊断的研究和实践都取得了较大的进展。本文分析软件故障产生的原因和软件失效机理,介绍各种硬件系统故障诊断技术,并对软件故障诊断进行了初步的探讨。

关键词：软件故障故障诊断故障检测故障定位故障排除

在线全文

学校读者我要写书评

暂无评论

Gupta方法的改进

计算机学报 2002年第12期25卷 1378-1386页

作者：单锦辉王戟齐治昌吴建平国防科学技术大学计算机学院长沙410073

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

Gupta等提出一种线性化谓词函数的方法 (简称 Gupta方法 ) ,为指定程序路径自动生成测试数据 .该文给出了一种模型语言 ,研究静态、动态数据依赖关系的性质以及 Gupta方法中各概念的形式化定义 ,将 Gupta等提出的谓词片推广为路径静态切片 ,证明了路径静态切片构造算法的正确性 .对 Gupta方法的改进 ,省略了构造谓词片和输入依赖集的过程 ,改进后的方法构造线性约束的效率更高 .以改进后的方法为核心算法 ,开发了面向路径的测试数据自动生成的原型工具 ,并用实际的程序路径对该工具进行实验 .结果表明改进后的方法是比较有效的 .

关键词： Gupta 测试数据自动生成路径测试软件测试数据流分析程序切片线性化谓词函数