基于Agent的软件可靠性评估系统

来源 :计算机科学 | 被引量 : 0次 | 上传用户：xds24

【摘要】

：

<正> 1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是

【作者】

：

董威毛新军

【机构】

：

国防科技大学计算机学院

【出处】

：

计算机科学

【发表日期】

：

2000年6期

【关键词】

：

软件可靠性评估算软件工程 AGENT Agent Software reliability model Software reliability eva

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

<正> 1 引言现代软件产品的重要特征之一是软件质量,而软件可靠性被认为是软件质量的关键因素。软件可靠性指软件在特定环境和给定时间内无故障运行的概率。它面向用户而不是开发者,是软件质量诸多因素中最容易度量的属性。软件可靠性模型是随机过程的一种表示,可以将软件可靠性或与其直接有关的量(如平均无故障时间或故障率)表示成时间以及软件产品

其他文献

机群并行计算中负载共享的关键问题

<正> 1 引言利用一组工作站并行工作解决粗粒度的较大型计算问题.即NOW系统一直是计算机界一个重要的研究领域。随着Internet的迅猛发展。网上已有数千万的各类计算机,但实际

期刊

机群并行计算负载共享INTERNET网Load sharing Network parallel computing Cluster Migra

Dempster规则的有效性和限制

<正> 1 引言 Dempster-Shafer证据理论(以下简称证据理论)是在A.P.Dempster提出的“上、下概率”及其合成规则的基础上由G.Shafer在其1976年出版的专著《证据的数学理论》中

期刊

Dempster规则人工智能证据理论有效性Evidence theory Belief functions Dempster's rule

基于k-ary n-mesh无虚通道的路由算法PAM

<正> 1 概述大规模并行处理系统中各计算结点均依靠机间互联网进行通讯和协调。影响网络通讯性能的因素主要有拓扑结构、流控策略和路由算法等。目前针对互联网的研究工作主

期刊

路由算法虚通道路由器互联网Virtual channelPAM routing algorithmk-ary n-meshRouter model

基于时序逻辑的移动计算的形式方法分析

<正> 现今,移动计算被广泛认为是一种由计算新技术支持的新计算范型,其主要特征是计算组件能与计算资源动态改变绑定关系,表现出移动性。有两类关注移动特性的计算——mobile

期刊

移动计算时序逻辑形式方法计算模式Mobile computing Temporal logic UNITY Location. Mobility

模糊时间Petri网及其时间推理方法

<正> Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理

期刊

PETRI网时间推理模糊时间Petri netsLinear logicFuzzy time Petri NetsTemporal reasonin

自适应超媒体系统探析

<正> 1.引言二十年来,超媒体已从实验原型发展成为世界上最流行的计算机应用,其中最成功的超媒体系统World Wide Web几乎成为信息高速公路的代名词。随着超媒体系统的类型、

期刊

超媒体系统多媒体自适应超媒体Adaptation User model Structural computing

一种在小样本情形下求解广义最佳鉴别矢量集的新算法及其在人脸识别中的应用

一、引言　　线性特征抽取是一种有效的降维方法,到目前为止,人们给出了许多线性特征抽取方法[1,2],就鉴别能力来说,Foley-Sammon变换(FST)[3]被认为是最好的方法之一,FST是

期刊

基于SOM规则自动生成的模糊神经网络模型

<正> 1 引言模糊系统建模一般将经过系统结构辨识和系统参数估计两个阶段。在辨识阶段,主要决定输入变量及其相互关系、模糊规则数、输入输出空间划分和系统参数的初值;在估

期刊

模糊神经网络模型SOM规则自动生成Fuzzy Inference Neural Network Self-Organization Map(SOM)

非结构化编辑环境下的增量语法分析

With a table drived parser engine,in this paper,we discuss an incremental L R analysis algorism. The algorism is efficient and siultable for a language-based en

期刊

非结构化编辑增量语法分析软件开发Language-based editorIncremental semantic analysisIncrement

基于UML和Petri网的用户界面原型的研究

<正> 1 引言众所周知,概要是理解需求和分析人机交互最有效的方法。一个典型的基于概要的需求工程有两个主要的任务。一是生成描述系统行为的概要规格说明;二是用户通过仿真

期刊

用户界面原形UMLPETRI网软件开发User interface (UI) Prototyping Scenario specification

基于Agent的软件可靠性评估系统

与本文相关的学术论文