【摘 要】
：
4.1 静态分析工具4.1.1 静态分析系统DAVE DAVE 是美国Colorado 大学在76年开发的用来对FORTRAN 程序进行静态分析的软件确认系统。它能检查出程序中未赋初值的变量,未定义先使用的变量,子程序接口参数错误,COMMON 块中变量使用的一致性错误。此外,DAVE 还能识别可疑的、易出错的结构。该系统使用一种深度优先算法来检查数据流程中的异常现象。这一算法的时间与控制
论文部分内容阅读
4.1 静态分析工具4.1.1 静态分析系统DAVE DAVE 是美国Colorado 大学在76年开发的用来对FORTRAN 程序进行静态分析的软件确认系统。它能检查出程序中未赋初值的变量,未定义先使用的变量,子程序接口参数错误,COMMON 块中变量使用的一致性错误。此外,DAVE 还能识别可疑的、易出错的结构。该系统使用一种深度优先算法来检查数据流程中的异常现象。这一算法的时间与控制
其他文献
本文叙述一个数字通信协议及其在UNIX 支持下用C 语言实现的方法。该协议是由英国政府的一个主要研究机构在一个国家标准文件中定义的,能使以异步线连结的两个计算机进行文件传送。实现该协议的程序是为PDP 11/34和Zilog S8000计算机设计的,经过极小的改动也适用于其它型号的计算机。该程序已在英国Sussex 大学和Rutherford 研究所的一些计算机上成功地运行。
一、引言随着16位微机在国内的推广应用,在微机上构造通用数据库管理系统(以下简称DBMS)的问题已逐步引起人们的注意。目前,从国外引进的16位微机,如MC 68000、Intel 8086,其主要性能指标已超过国内流行的小型机,具有较强的处理功能。在这类机器上配备DBMS,这不仅有可能,也是很有实际意义的。
本文研究了用于非等长符号串聚类的方法。为此,引进动态寻找两符号串之间差别的距离函数及其扩充形式,并对计算该距离函数及其扩充形式的算法分别作了适当的修改。此外,还讨论了适用于非等长符号串聚类的算法,给出了应用实例。本文提出的方法适用于计算机检索或模式识别系统及含有缺损值数据记录的聚类分析等一些应用领域。
本文介绍了一个C 语言子集——S_C(Small C)的可移植编译程序S_CC(Small C Compiler)。S_CC 的设计目标是可移植性、正确性和一定的时空效率。目的是探讨采用自动化方法移植编译的可行性。由于S_CC 在代码生成中采用了较新的模式匹配方法,并提出了一种机器无关的寄存器分配算法——资源标记法,使可移植性有了很大提高。目前已能为Z-80机生成S_C 的汇编代码。本文着重讨论S
一、计算机应用现状1.我国计算机安装台数及分布概况据六所调查82年不完全统计全国大中小型计算机安装台数有3503台,微型机一万多台,目前估计小型机以上约4000多台,微型机二万多台。从3503台分析,多数是国产机和小型机。国产机2904台,占83%,其中大中型机491台,占16.9%,小型机2413台,占83.1%。进口机599台,占17%,其中大中型机60台,占10%,小型机539台,占90%。
程序自动生成技术作为解决“软件危机”的一个重要途径,近几年来已受到人们的关注。采用这种技术,使用者只要提供若干表示所需功能的一定形式的参数给计算机,机器就可以自动生成符合用户要求的程序,它既可以以源程序形式给出,也可以直接给出目标程序。其前景无疑是令人鼓午的。本文扼要地介绍一种I/O 程序自动生成的方法及其在数据库系统中的应用。运用这种技术将为数据库系统带来意想不到的好处,有兴趣的读者不妨一试。
查询优化是查询处理过程中必须考虑的重要问题。本文讨论了关系数据库系统中的查询优化问题,介绍了关系表达式变换为主的优化方法、查询分解的优化方法、多元查询直接处理的优化方法和合取查询的优化方法,并对这四种典型的优化方法作了一些评述。
本文介绍了一种自动化程度高,功能全的数控线切割机自动编程语言(XQG)。该语言形式简明,使用方便,适用于加工精度要求高,形状复杂的工件(尤其是带非圆曲线的)的自动编程。文中阐述了该语言的各种语句,以及用FORTRAN 为母语言开发的该语言编译程序的设计思想。该编译程序呈块状结构,具有易修改、扩充、移植和可维护性好等特点。
本文试图在SEQUEL 分类基础上,给出一种关系模型高级子语言SEQUEL到DBTG 模型低级子语言DML 的转换算法。这样,在DBTG 支持环境中,用户就可以在较高一级层次上开发程序,而将高层次到低层次的转换由计算机实现。
本文以上海机床厂计算机企业管理应用系统的开发为背景,分析工厂生产经营系统的基本构成,制造行业工厂的生产管理信息系统的基本结构,制造业中多品种小批量生产类型的工厂的生产管理的重点,据此确定这类工厂中建立计算机辅助企业管理系统的应用目标和功能目标。本文叙述了设计系统目标的演变过程,并介绍为实现系统目标而设计的系统总体流程,描述了子系统的划分,它们各自实现的功能等。本文还介绍了系统开发过程中,系统数据库