基于抽象语法树的软件度量工具的设计与实现

为了提高软件质量和控制,改善软件开发过程,文中提出了以抽象语法树为核心的软件度量工具(ASTMT)的体系结构图,介绍了度量工具的功能及特点,详细论述了工具中各个模块的设计与实现方法,着重讨论了抽象语法树的组成及其节点设计。介绍该工具在软件开发中的实际应用,进而验证了工具的实用性与有效性。     

一个数据挖掘工具的设计与实现

数据挖掘是一个利用各种分析工具在海量数据中发现模型和数据间关系的过程,这些模型和关系可以用来做出预测,该文介绍了一人数据挖掘工具的设计,以Apriori算法为核心,实现了数据挖掘中基于数据库的几种常用挖掘方法,包括基于关系数据库的数据挖掘,不完整数据库中的数据挖掘和根据兴趣度测量来挖掘感兴趣知识的异常关联规则挖掘。     

On the Multiple Implementation of Abstract Data Types Within a Computation

A fundamental step in the software design process is the selection of a refinement (implementation) for a data abstraction. This step traditionally involves investigating the expected performance of a system under different refinements of an abstraction and then selecting a single alternative which minimizes some performance cost metric. In this paper we reformulate this design step to allow different refinements of the same data abstraction within a computation. This reformulation reflects the fact that the implementation appropriate for a data abstraction is dependent on the behavior exhibited by the objects of the abstraction. Since this behavior can vary among the objects of a computation, a single refinement is often inappropriate. Accordingly, three frameworks are presented for understanding and representing variations in the behavior of objects and, thus, the potential for multiple implementations. The three frameworks are based upon: 1) a static partitioning of objects into disjoint implementation classes; 2) static partitioning of classes into implementation regions; and 3) dynamic partitioning of classes into implementation regions. These frameworks and analytic tools useful in investigating expected performance under multiple implementations are described in detail.     

Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods

We introduce a methodology to treat abstract data types (ADT), abstract parametric classes (APC) and subclasses, together with appropriate inheritance properties, by means of first order theories. The notion of a first order theory axiomatizing an ADT is based on the notion of isoinitial model and has been proposed by the authors in previous papers (Bertoni et al. (1979), Bertoni et al. (1983), Bertoni et al. (1984)). A theory formalizing an APC is seen, in this paper, as a theory T incompletely axiomatizing an ADT. Given a class C of ADT's, the class formalized by T can be seen (under suitable soundness conditions on T) as the class of the instances of T over C. An instantiation of T by an ADT I of C completes T into a T′ formalizing an ADT I′, which extends I and inherits the properties of the APC T.We use both classical and constructive methods in the following sense: on the one hand, the semantics is based on classical model theory; on the other hand, the soundness of a consistent axiomatization can be analyzed by purely syntactical methods, in terms of provability within suitable constructive systems.A theory T formalizing an APC (or an ADT) is not given by a list of axioms, but by a suitable "APC-expression", which explicitly or implicitly (but effectively ) defines the axioms of T. We have APC-expressions to define APC's, to extend already defined APC's and to instantiate APC's (into ADT's or subclasses). We allow also "recurrence APC-expressions". At the end of the paper we give some examples showing how the proposed methodology works.     

一个实用面向对象软件度量工具的设计与实现

在分析了多种面向对象度量模型的基础上 ,设计并实现了一种实用的面向对象软件度量工具 .该工具从结构上保证了面向对象度量和面向结构度量的结合 ,与直接度量和间接度量的结合 .详细介绍了对象特征的分析 ,以及特征集和度量指标的存储设计 .最后举例验证该设计的实用性 ,并指出需进一步改进的方面 .     

面向对象软件度量工具的研究与实现

利用软件度量工具对程序源代码的各类质量属性度量已是提高程序质量的一个重要方法,文章提出了一个以中间件为核心适用于多种面向对象程序设计语言的软件度量工具的灵活的软件结构,同时介绍了自行设计实现的度量工具,最后指出了下一步的的研究方向。     

Direct Implementation of Algebraic Specification of Abstract Data Types

Algebraic specification is now an established way of formally defining abstract data types. For its practical use, however, a segment of program which conforms with the specification has to be generated. Such program segments can be manually produced and must then be verified. Code generation can also be automated, as achieved by the "direct implementation" in [8] where any data type is treated as if its functions produce, manipulate, and access tree structures. We extend these results by formalizing the choice of the appropriate data type (e.g., a tree structure) required to "implement" any given data type. This allows us to consider the formal implementation of a data type in terms of a concrete model.     

一个数据仓库建模工具的设计与实现

介绍了一个数据仓库建模工具DWdesign．给出了DWdesign的基本结构．对DWdesign中若干关键技术进行了研究，包括中间语义层、自定义数据类型、XML和标准SQL支持。该工具已在多个企业的数据集上进行了试用。     

数据仓库中的数据抽取分析及应用

简要介绍了数据仓库的决策支持系统,对数据仓库的数据抽取方法进行了分析,比较详细地对数据仓库的数据抽取方法──DTS设计器进行了实例探索.     

数据仓库中的数据抽取分析及应用

简要介绍了数据仓库的决策支持系统，对数据仓库的数据抽取方法进行了分析，比较详细地对数据仓库的数据抽取方法－DTS设计器进行了实例探索。     

俄罗斯过套管电阻率测井资料预处理软件的设计与开发

此软件针对辽河油田测井公司引进的俄罗斯过套管测井仪器而特别编制的数据预处理软件,软件突出发挥了C#语肓的编程优势,综合了GDI+绘图、文件读写操作和数据库的读写操作等数据处理功能,将最终的数据输出到WIS文件里便于后期的测井解释处理;通过此软件的数据处理后,原始DBF文件里电阻率测量数据实现了智能选点,测量点可进行深度校正,测量点为了要存人WIS文件进行了插值;此软件的实现为推广应用该仪器,建立起了与FORWARD软件的后续复杂处理的联系与桥梁.软件的处理过程符合油田测井解释工作者的使用模式,满足了数据预处理的应用需求.     

A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations

This article presents an approach to identify abstract data types (ADT) and abstract state encapsulations (ASE, also called abstract objects) in source code. This approach, named similarity clustering, groups together functions, types, and variables into ADT and ASE candidates according to the proportion of features they share. The set of features considered includes the context of these elements, the relationships to their environment, and informal information. A prototype tool has been implemented to support this approach. It has been applied to three C systems (each between 30–38 Kloc). The ADTs and ASEs identified by the approach are compared to those identified by software engineers who did not know the proposed approach or other automatic approaches. Within this case study, this approach has been shown to have a higher detection quality and to identify, in most of the cases, more ADTs and ASEs than the other techniques. In all other cases its detection quality is second best. N.B. This article reports on work in progress on this approach which has evolved since it was presented in the original ASE97 conference paper.     

Software Design Representation Using Abstract Process Networks

An approach to software design representation which is consistent with the concept of engineering blueprints is presented. The main criteria for software engineering blueprints are defined and a network scheme of graphical representation is considered through an overview of Petri net techniques. The concept of an abstract process (AP) is introduced as the basic element of system representation. An abstract process network schema of software design representation is developed and supported by an algebraic system of notation. Methods of AP-net construction are presented and illustrated by examples. The advantages of using the proposed approach in different phases of software engineering are pointed out and the main directions for further research have been identified.     

基于AST的程序静态分析工具的研究与实现

本文给出了以抽象语法树为基础的软件静态分析工具的体系结构，介绍了该工具中各个模块的设计与实现方法，着重于规则库的设计，以及利用定义好的规则实现自动化的代码检测的过程。     

主流视频编解码软件的硬件性能分析与设计

网络视频会议以及高清视频点播等应用的广泛流行,对视频编解码的编码质量以及编码速度提出了更高的要求。为帮助硬件设计人员设计更强大的专用处理器去适应视频编解码应用的发展趋势,并评估处理器设计的合理性和正确性,对视频编解码进行分析和测试,提出一套基准测试程序。采用自顶向下的分析方法,以流行性、编解码效率、压缩质量和开源性为标准,选取主流的视频编解码软件,进行热点函数分析。抽取变换、量化以及滤波过程中的热点函数,使之成为视频编解码测试程序,为其构造典型输入集。通过分析真实硬件平台上这些测试程序的计算和访存特性,给出处理器设计的建议。结果证明,该基准测试程序使用10%的代码量即可反映视频编解码过程的主要特征,对处理器设计具有指导意义。