一种软件系统运行安全保护方法

通过分析软件系统自身安全的各种保护方案的优缺点,提出了一种软件系统的运行安全保护方法。描述了该方法的通信协议和具体实现技术,并给出了一个在实际系统中的应用实例和性能测试结果。     

757向量FORTRAN编译系统的测试

怎样评价一个编译程序,换句话说要知道一个编译程序的实现与语言标准相符到了什么程度,就必须对编译系统进行测试.757 FORTRAN编译程序的测试工作为了保证757 FORTRAN编译程序的质量,在757计算机上对FORTRAN编译程序进行了一系列测试.为什么757编译系统要开展测试工作?757计算机是大型向量计算机,采用流水线结构,纵横加工实行向量处理.它的语言在FORTRAN77的基础上加以向量扩充,以期充分发     

基于Web系统的性能测试

性能测试目的是验证软件系统是否能够达到用户提出的性能指标。本文就常用的测试种类进行了说明,归纳了性能测试的步骤,并使用Loadrunner负载测试工具对具体实例进行了测试。由此得出,通过对测试结果的分析来完善软件,能够提高软件系统的稳定性和可靠性。     

基于Web系统的性能测试

性能测试目的是验证软件系统是否能够达到用户提出的性能指标。本文就常用的测试种类进行了说明,归纳了性能测试的步骤,并使用Loadrunner负载测试工具对具体实例进行了测试,由此得出,通过对测试结果的分析来完善软件,能够提高软件系统的稳定性和可靠性。     

浅谈白盒测试技术

伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越多的公司意识到了软件测试的重要性,并且在软件测试方面加大了投入。其中,白盒测试是软件测试技术中最基本的方法之一,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。该文将重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。     

面向对象软件系统的测试

介绍向对象软件系统的测试过程，涉及类的测试、集成测试、测试实例的继承性和测试计划的安排。     

TTCN 编译程序的设计

TTCN 是 ISO 为描述网络协议实现标准化测试控制数据而制定的语言,因此 TTCN 实现是标准化测试控制数据定义开发环境不可缺少的工具。文中介绍了中国科学院 成都计算机应用研究所(CICA)对最新版本的 TTCN 编译实现的设计方案。该编译程序能接收 TTCN 两种形式中的任意一种,实现了对 TTCN 的分别编译,提供了增殖编译手段,将有效地支持以 TTCN 描述的标准化测试控制数据的实现;另外,该编译程序为建立一个能够适应各种不同测试对象,以及不同测试完整性要求,而且能够在测试过程中动态选择测试控制数据的自动测试系统奠定了必要的基础.     

一种新的编译程序测试用例自动生成策略及其实现

自动生成测试用例是测试编译程序的途径之一,目前一般均使用Purdom提出的产生式选择策略来自动生成测试用例,本文提出了描述前后文无关文法的一种图表示方法,这种图称为文法的DG图。基于DG图,我们给出了一种优于Purdom策略的新的编译程序测试用例自动生成策略,并讨论了这种策略的实现原理。     

面向对象软件的测试评估

软件测试的目的是发现错误,而不是确认其正确性,是为了增强人们对软件能够按照需求者的期望正确运行的信心,因此需要对软件测试质量进行度量.由于面向对象软件所具有的特性,面向对象软件的测试的度量相对于在过程测试中的测试度量已经不再适应.利用切片和领域的概念,通过多层次的测试度量来对面向对象软件的测试进行评估,该方法能够为改进对面向对象软件系统的测试过程和测试策略提供帮助.     

编译程序自动测试中的知识表示

软件测试是软件工程的重要研究课题之一。本文把人工智能(AI),知识工程和属性文法多种知识和技术应用于软件测试,主要对编译程序测试中的知识分类和知识表示问题进行讨论,它是开发知识型编译程序测试环境的基本出发点。     

基于数据源识别和驱动分析的软件系统测试方法

航天测控软件系统安全关键等级高,其质量直接决定航天任务成败,具有架构庞大、软件配置项多、内外接口复杂、数据传递路径长、处理实时性强等特点,软件系统测试的要求高且难度大,目前存在系统测试需求不清晰、测试针对性差等实际问题;航天测控软件系统是典型的数据驱动型软件系统,针对其特点,文章提出了一种基于数据源识别和数据流分析的软件系统测试方法,开展了数据源识别、数据流路径分析、数据状态分析和获取、系统级数据流顺序图生成等关键技术研究,给出了该方法的推荐工作流程;该方法已在多个航天测控中心软件系统测试中应用,实践表明,针对数据驱动型软件系统,该方法可以显著提高系统测试的设计有效性和测试效率。     

“ALCOR”

ALGOL60是近几年发展起来的一种国际通用的算法语言,既可用以发表算法,也可用为程序语言。用ALGOL 表述的问题要通过编译程序而译为机器语言的程序。这里,对每种类型的计算机都要编出适用于该种机器的编译程序,当然这些编译程序相互之间可能有很大差别。为了统一编译程序并交换经验和编好的程序,欧洲某些科学研究单位和计算中心组织了一个 ALCOR 工作组(ALCOR:ALgol COnvente R)ALCOR 内部的     

Java架构和软件系统的测试分析

随着各项技术的进步,Java已经逐渐发展成为独立的平台语言,在大型的软件系统的开发工作中具有非常广泛的应用,文本主要从Java语言特点及Java语言开发优势等角度对Java架构进行简单介绍,并对软件测试的基本概念、常用测试方法、测试流程等进行了简单分析,通过例举软件系统测试实例,对软件系统测试进行简单分析,这对于软件系统测试的研究具有积极的作用。     

构件软件回归测试用例选择策略

软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决．系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试．分析已有回归测试技术的不足,提出了两种改进的回归测试策略：一种是基于增强的构件版本变更信息的方法;另一种则是基于内建式测试设计的方法．通过对几个实例程序的实验分析,初步证实了所提出的方法在实际应用中的可行性与有效性．     

网络程序调试工具NBW的设计与实现

NBW(NetBIOS Windows)是一个用于协助用户调试网络应用程序的工具软件系统,而且还可以用于网络状态测试和用于网络课程教学。本文介绍了NBW的设计思想,整体结构,模块功能及其实现的方法,最后给出了应用的实例。     

第四代语言HLL的设计与实现

第四代语言(简称4GL)是八十年代计算机科学研究和软件开发的新领域。它的根本目的在于大大提高软件开发生产率,提高软件系统的可靠性和可维护性。 HLL(Higher-Level Language)是一个面向事务处理的第四代语言。本文介绍它的特点和功能,并给出文本的主要部分,讨论HLL编译程序的实现技术。     

Java架构和软件系统的测试分析

随着各项技术的进步,Java已经逐渐发展成为独立的平台语言,在大型的软件系统的开发工作中具有非常广泛的应用,文本主要从Java语言特点及Java语言开发优势等角度对Java架构进行简单介绍,并对软件测试的基本概念、常用测试方法、测试流程等进行了简单分析,通过例举软件系统测试实例,对软件系统测试进行简单分析,这对于软件系统测试的研究具有积极的作用。     

提高编译过程中词法分析程序效率的方法

一、编译程序的组成编译程序是任何计算机系统的必要组成部分。因为没有它,就要用汇编语言甚至机器语言去编写程序。编译程序是把用某种高级语言写的源程序翻译成等价的目标程序的翻译程序。各种不同的编译程序之间是有差别的,但每个编译程序一般由下列几个部分组成:     

用SDL设计WCDMA测试终端的软件系统

论文简要介绍了SDL语言及其支持工具,以及它们在通信软件设计中的运用,并通过一个实例对如何利用SDL语言设计和开发实时软件系统进行了详细的说明。文章的目标系统是一个WCDMA测试终端的软件系统,它是一个用于测试WCDMA无线网络节点的设备,开发的内容包括WCDMA的部分协议以及相关的控制程序。另外,论文还对利用SDL进行实时软件开发的特点进行了总结。     

机器描述形式的代码生成方法

1.前言目前,编译自动化已成为计算机科学的一个重要课题。编译程序自动生成的理想化目标是:输入一种程序语言和一种计算机描述,输出在这种计算机上运行的这种语言的编译程序。然而,由于人们对程序语言和计算机的语义不能给出适当的描述,使得至今尚未产生这样一个软件工具。实现编译自动化的现实方法是:对编译程序的各个部分分别实现自动化。