软件健壮性测试的一种新方法

健壮性是指在异常情况下，软件能够正常运行的能力：健壮性是描述软件在需求范围之外的行为。然而正常情况与异常情况并不容易区分，开发者往往把异常情况错当成正常情况而不作处理，结果降低了健壮性。用户则不会区分正确性与健壮性的区别，只要软件出了差错都认为是开发方的错。所以提高软件健壮性对于用户来说．显得非常重要了。本文主要探讨了软件测试中健壮性的问题，同时以LINUX为例，给出了健壮性测试的方法和步骤。     

ORACLE数据库系统可靠性研究 ——基于应用的数据库系统健壮性测量

随着全球信息技术的不断快速发展,在社会中的到广泛应用的就是软件系统,这些软件系统都是基于数据库系统所研制出的.软件系统在不同的领域中会有不同的关键系统,如果系统出现问题,严重就会给企业带来巨大的经济损失.软件的健壮性是衡量软件质量的重要指标,软件在异常输入以及异常情况中,系统就会发生一系列的健壮性问题.     

基于使用剖面分析的系统健壮性评测方法

为了减小健壮性评测过程中测试数量以及更准确地评估错误输入对系统的健壮性影响,提出了在传统的健壮性评测之前引入用户使用剖面分析过程,并将该过程同传统方法结合起来对系统进行健壮性评测.该过程在基准应用程序运行过程中,分别从系统调用接口层和内核层给出用户使用情况,包括函数接口发生次数和持续时间度量.根据使用剖面分析结果,以故障注入的方式进行健壮性评测.通过对具体应用程序下的系统健壮性分析,表明了该方法的有效性.     

增强指控装备软件健壮性的设计方法及应用

本文从增强指控装备软件健壮性入手,分析了指控软件特点,提出软件可靠性、安全性设计方法,概述了常用软件健壮性测试方法,对指控软件健壮性设计及测试方法进行了总结。     

健壮性分析在软件开发中的应用

以迷宫的创建作为软件开发对象,本文探索了ICONIX统一对象建模方法中的健壮性分析在软件开发中的应用,介绍了健壮性分析的概念,运用健壮性分析设计开发了迷宫创建软件,重点探讨了健壮性分析在分析模型与系统设计模型之间的关键链接作用.     

软件健壮性的包裹测试

软件的健壮性正变得越来越重要,目前还缺乏准确的、可重复利用的方法来衡量系统的健壮性。健壮性基准程序就是为了解决这一问题而提出的,它由一系列健壮性测试案例组成。本文以Linux为例,简要介绍了当今操作系统健壮性基准程序测试的主要方法,对用于分析测试结果的维度模型进行了分析,提出了软件健壮性的包裹测试方法,并用实例说明了其有效性。     

PLC在焦炉双缸液压交换机控制系统中的应用

介绍了可编程序控制器在焦炉双缸液压交换机控制系统中的应用,详细地叙述了工艺过程,系统构架以及软件编程等,其中在软件部分分两个层次设计,即保护程序和正常程序,系统考虑了各方面的因素,确保了程序的健壮性.     

电力变压器常见故障及检修技术

电力变压器安全可靠运行,其中维护与检修是必不可少的,这样才能保证用户的电能质量,整个电力系统的安全运行。变压器是电力系统中最重要的电气设备之一,它能将电压由低变高或由高变低。变压器在运行中一旦发生异常情况,将会影响系统的正常运行以及对用户的正常供电,甚至造成大面积停电。     

基于用户行为的在线用电异常监测系统的实现

现如今,随着电能资源的广泛使用,部分用户窃电行为也越来越猖獗。窃电行为会给供电企业造成巨大的经济损失,同时还可能导致严重的用电安全事故,是一种极其恶劣的违法行为,严重破坏了正常的用电秩序。因此,相关部门必须对窃电行为加以重视,积极采取对于用户行为的在线用电异常监测措施,这对于维护社会正常的供电秩序具有重要意义。因此,我们结合用户的实际用电情况,提出了一种基于用户行为的在线用电异常监测系统,希望通过监测在线用电异常情况,来有效遏制窃电行为,维护社会正常的供电秩序。     

内核同步对象异常处理健壮性测试

提出了一种新的评价程序健壮性的指标——内核同步对象异常处理健壮性，描述了在Win32平台下利用软件缺陷注入技术进行这种健壮性测试的方法，并且在实际测试环境下对一些广泛使用的软件进行了测试，结果显示，这些软件在处理内核同步对象异常时存在着不同程度的不完善。     

基于有限状态机的工控系统软件设计

通过分析工控系统的特性,提出采用状态机的思想进行工控软件设计.详细论述了高速状态机的错步问题以及控制层中状态机的状态划分问题.结合具体的应用实例,给出了基于状态机的实现方法.实验表明,采用状态机的设计方法有助于准确描述受控对象的行为,软件的健壮性和可靠性得到显著提高.     

基于状态机模型的构件健壮性测试

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo的测试效率比已有的算法表现得更优越.     

由Windows 95想到的

Windows 95正式发行之后,立刻引发了一场销售热潮。但是过了不久,这套得到计算机分析家普遍好评的软件却使微软陷入了用户的一片抱怨声中。为什么会发生这种情况呢?据微软介绍,用户们提出的问题大多是由于不正确的安装和病毒破坏引起的。由此我们不难想到,一套软件能不能正常运行是与多种因素有关的。除去软件本身存     

浏览

<正> 用户有时是错的 就算用户是错的,也要尊重用户的选择,否则你只会最终失去用户。这无疑是包括IT行业在内的许多企业奉若神明的基本教义。然而,文章认为,在企业实施信息化的过程中,一味地迁就用户的做法,可能正是导致信息化项目最终折戟沉沙的重要原因。文章列举了IBM当年由于用户判断的失误而错失个人电脑市场的失败案例,以及台湾奇美实业坚持纠正用户的错误认识而最终得到用户接纳并获得销售成功的案例。有ERP专家称:许多ERP失败的原因并非技术性因素,而是软件被无休止地修改,一套相对成熟的ERP软件,如果被改动30％,其性能及稳定性都将受到严重损害,而这正是中国信息化建设的普遍现象之。看来,在信息化过程中,ERP厂商的确有必要重新认识一下用户的心理——尤其是在与用户发生意见分歧的时候,这一点尤其重要。     

金山通行证三问三答

序列号一般用来表示软件的生产系列,软件安装时须要输入安装序列号,已经成为大多数人熟知的常识。在请求软件售后支持时,提供产品序列号也是软件开发商区分正版用户身份的惟一证明。对于用户来说,要记住一长申安装序列号宴届不易。软件序列号非常容易被非法使用,IE版用户和开发商的权益难以保证。     

基于通信信令序列的卫星通信网异常检测研究

传统的异常检测方式利用模式库的方式收集所有已知的异常模式,对新的数据进行检测,该方法难以检测层出不穷的各种新的异常行为,同时由于异常行为数据难以获取,往往只能得到正常用户的行为信息。本文分析了针对卫星通信网的各种攻击行为和异常情况,利用正常的用户信令序列建立正常用户"轮廓",设计的基于信令序列异常检测模型能够在少量样本的情况下获得较高的检测精度,在仿真平台上验证了该模型具有较高的检测率和较低的虚警率。     

操作系统健壮性测试方法研究

健壮性已经成为衡量软件性能的一个重要指标。目前,人们已经提出了一些健壮性测试的方法,并且构建了一批健壮性测试工具。对这些方法和工具进行了研究,并利用开放源代码工具对Linux2．4．22进行了测试,还对测试结果进行了分析和比较。     

E动快车 浪潮电脑自主维护

对于商务办公用户而言,由于系统出现各种故障,经常出现配置出错、运行效率低、数据丢失等问题,为此IT管理员需要花费大量时间去处理日常维护工作,这不仅影响了正常办公,也提升了维护成本,不过浪潮商用机却拥有一款e东快车软件,其为商务用户提供了网络管理、系统恢复、网络分发等功能,解决了中小企业的网络计算机日常维护压力。     

基于状态机模型的构件健壮性测试

基于形式化的构件语义定义了健壮性,并提出一种基于状态机的构件健壮性测试方法.基于该方法实现 了原型工具RoTesCo.首先遍历状态机生成一组覆盖所有转换的路径,基于这些路径的测试用例驱动构件发生状态 转换;然后用无效输入和不当调用在构件的不同状态来测试其健壮性.通过区分测试中捕获异常的类别,自动报告健 壮性错误.以通用的开源项目构件组成评测平台,实验数据显示,RoTesCo 的测试效率比已有的算法表现得更优越.     

操作系统健壮性测试方法的分析与比较

健壮性已经成为衡量软件性能的一个重要指标。目前,人们已经提出了一些健壮性测试的方法．并且构建了一批健壮性测试工具。本文对这些方法和工具进行了研究,并利用方法中的开源工具对Unux2．4．22进行了测试．还对测试结果进行了分析和比较．