Ada并发软件的图形化设计方法研究

研究的目标：为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架（并发程序单元的划分和它们之间的通信）。这样做的好处在于提高软件的生产率,改善软件质量。在提出用于并发软件理解的会合次序图的基础上,给出了并发设计语言CONDL的语法、语义描述和图形化表示（泳道）,并简单介绍了所研制的一个工具CONDLAS（生成Ada代码框架）。     

Ada会合嵌套关系与会合嵌套复杂性度量——Ada会合关系并发复杂性质量研究之三

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议Ada程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第三部分讨论Ada会合的嵌套关系和程序的会合嵌套复杂性度量,并将综合这几部分研究,提出Ada程序并发复杂性度量的综合指标。     

控制律程序图形生成工具设计

控制律程序图形生成工具是一个将控制律原理图直接生成等价控制律程序的软件，本文介绍了该软件的设计方法：将原理图分解成几种基本元素，三个相对独立的模块分别完成原理图的编辑、理解和程序生成，论文描述了每个块的算法，并且实现了每个模块的功能，得到与手工编程基本一致的程序。     

Ada会合关系及其分类：Ada会合关系并发复杂性度量研究之一

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议Ada程序P的并发复杂性CC(P)是接续复杂性SC(P)的嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第一部分讨论Ada会合、会合关系和会合关系的分类。     

Ada会合接续关系及会合接续复杂性度量——Ada会合关系并发复杂性度量研究之二

影响并发程序复杂性的最重要因素是任务之间的通讯和同步行为。我们认为这些行为表现为Ada程序中的会合和会合之间的关系。在这项系列研究里,我们要考察Ada程序中的会合、会合之间的关系和关系的分类,深入研究会合接续和嵌套关系,为接续关系引入接续图,为嵌套关系引入嵌套树,并给出构造这些图和树的方法和它们的一些性质。最后,我们建议AdaP程序P的并发复杂性CC(P)是接续复杂性SC(P)和嵌套复杂性NC(P)的加权和;SC(P)是可从Ada程序正文静态识别的会合关系构成的诸会合接续图的边数之和,NC(P)是诸嵌套树的加权节点数之和。文中还给出若干可静态断言程序死锁的充分条件。本文第二部分讨论Ada会合接续关系和程序的会合接续复杂性度量。     

数据库开发中的字段翻译和TAB顺序工具

中文数据库开发中，常常需要将英文的字段名转换为可理解的中文显示系统，并需要经常校对显示界面上各控件的ＴＡＢ顺序。为减轻开发过程中的程序设计工作量，用ＶＢ设计了一个嵌入到ＶＢ编程开发环境中的外接程序工具，并描述了该工具的设计结构，关键代码和运行效果。     

一种基于分层切片模型思想的源程序信息分析方案

作为软件理解的手段之一,程序切片技术通过寻找程序内部的相关性来分解程序,再通过对分解所得程序切片的分析达到对整个程序的分析和理解。程序切片算法必须建立在对源程序信息正确、完整分析的基础上。详细地描述了一种基于分层切片模型思想的程序信息提取方案。该方案已成功运用到一种Java程序切片工具模型JSTM（Java Slicing Tools Model)中。     

软件维护中程序理解的应用与研究

程序理解是软件维护中的一项重要活动。从软件维护和认知学的角度分析了程序理解的任务，描述了几种主流的程序理解的模型。最后针对影响程序理解的因素提出了相应的对策，为提高维护效率提供帮助。     

基于编译技术的程序可视化

程序可视化的目的是使程序的内部结构以及行为可视化更容易被理解。程序可视化工具有助于程序员理解程序的实际行为和其开发的深层的系统，以及调试程序或者测试程序所用资源。特别是对于正在学习初级编程的人，程序可视化工具能帮助他们学习一个程序是如何被编译和执行的。因此,有必要进行关于程序执行可视化的研究。介绍了一种以编译技术，主要是以词法分析和语法分析为基础的开发程序可视化工具的方法，并给出了C语言程序执行可视化工具的实例，以说明该方法的实用性。该工具是在程序执行特征测试工具的基础上，将其词法分析器和词法分析器加以修改而实现的。     

在程序理解中使用切片技术

对于遗产软件的理解和维护在软件研究领域中已经变得越来越重要，综述了程序理解的策略及工具，引入了程序切片的思想，并在此基础上对传统的切片方法进行改进以更好地完成程序理解的任务。     

带控制流的静态函数调用分析方法

提出一种带有控制流的静态函数调用分析的方法,通过建立模型,对源程序进行静态分析,得到程序中的控制流信息和函数调用信息。和已有的静态函数调用关系图分析工具calltree和Source Insight相比,该方法生成的函数调用流图不仅能展现函数间的调用次序,还可以了解程序设计的逻辑复杂度,有助于代码阅读和分析人员更快更好地理解程序结构以及设计流程,并为分析程序控制条件、设计路径覆盖测试用例和进行程序优化奠定基础。     

面向对象方法在FMS仿真系统中的应用

该文主要以面向对象的程序设计方法为研究工具，描述了ＦＭＳ仿真系统中的基本活动和程序设计方法。     

青鸟C++程序理解工具

程序理解是软件开发过程中一项重要活动,为了保证该活动的准确性和高效性,有理解工具的半自动支持是关键的。青鸟Ｃ＋＋程序理解工具（ＪＢＰＣＴ－Ｃ＋＋）支持用户的多样需求,辅助多种理解策略,为用户理解程序提供了很大帮助。该文概要介绍了青鸟Ｃ＋＋程序理解工具（ＪＢＰＣＴ－Ｃ＋＋）的设计目标和原则、体系结构以及基本功能。     

UML行为图驱动的Java程序运行时验证工具

UML是一种标准的可视化建模工具，广泛应用于软件系统的描述、可视化、构建和建立文档。本文介绍了一种UMI。行为图驱动的Java程序运行时验证工具。该工具以一个随机的测试用例集作为输入，运行经过插装的被测Java程序，得到一组用于验证的程序运行轨迹。通过对程序运行轨迹和UML行为图中合法的事件序列的比较，该工具可以对程序的动态行为规约进行检查。本文描述了该工具的设计思想、算法和实现技术，并通过对实例研究对该工具的可用性和有效性进行了讨论。     

OMNeT++网络仿真器的设计原理分析

简要介绍离散事件模拟器OMNeT＋＋相对于其他仿真器的一些特点，着重介绍其对网络拓扑描述、网络事件处理以及仿真结果分析的支持，并对仿真程序的实现给出了具体步骤。最后结合对ALOHA协议的仿真实例，使用Plove工具分析了网络的吞吐性能。     

程序的结构路径复杂性度量

程序复杂性度量是近几年发展起来的一个研究领域,是人们对程序静态特性和动态行为的理解难易程度的描述,程序复杂性度量,从其形式上说,是一个从程序系统到表达式系统的映射,这个映射保持程序的某些特征,是同态的,从这种形式定义出发,本文提出了一个基于程序结构路径的度量程序复杂性的新方法,并开发了一个程序复杂性度量工具。     

软件理解工具TAUS

本文介绍了一个能帮助程序人员交互型分析和理解软件的工具TAUS,开发TAUS的目的是在于软件理解过程中,降低对人的智力的依赖程度,提高程序人员理解软件的生产率,TAUS为人们分析和理解软件提供了新工具,本文介绍了TAUS的设计和实现,还叙述了程序人员如何理解他们的程序,以及TAUS如何来支撑程序人员的理解。     

一种基于主题建模的代码功能挖掘工具

代码复用是重要的软件复用方式之一,复用者需要理解软件代码实现的功能方能有效实施软件复用。基于主题建模技术的程序理解方法逐渐受到研究人员的重视,它能够帮助软件开发者和使用者更好地理解软件的功能。目前,基于主题建模技术的程序理解方法一般欠缺对挖掘出的Topic的语义分析,为此提出的基于代码静态分析和LDA技术的代码功能挖掘(Code Function Mining,CFM)方法可作为对这类方法的补充。CFM是一套以代码为研究对象的挖掘、筛选、组织和描述主题(Topic)的方法,该方法能够生成带描述的功能型Topic的层次结构,以供使用者更清晰和方便地浏览、学习软件的功能。功能型Topic的描述能够帮助复用者理解代码功能,其层次结构能够让复用者从不同抽象层次理解代码功能。CFM方法包括4个部分:挖掘Topic、筛选Topic、组织Topic、描述Topic。以CFM方法为基础,设计并实现了一个CFM工具。CFM工具能够分析用户提交的代码,通过Web页面向用户展示带描述的功能型Topic的层次结构。最后,对CFM方法中的几个关键算法进行实验分析,验证了CFM方法的有效性。     

Propagation Pattern模型及改进

面向对象对软件工程有着极大的意义，但同时也带来了编程上的新问题。由于复杂类结构和冗余代码所带来的源码重读困难，使软件进化和维护都未达到理想的目的。我们研究美国Ｎｏｒｔｈｅａｓｔｅｒｎ大学的自动面向对象程序生成工具Ｐｒｏｐａｇａｔｉｏｎ Ｐａｔｔｅｒｎ模型，并将其发展为一种新的程序索引描述。这里我们结合类图和Ｐｒｏｐａｇａｔｉｏｎ Ｐａｔｔｅｒｎ抽象描述，希望能以简洁的图文形式描述面向对象程序，以利     

征服“动感地带”——DLL文件的八个秘密

DLL是Dynamic Link Library（动态链接库）的缩写，它到底是什么东西呢？在当初设计Windows时，为了节省代码和系统空间，微软应用了共享资源的DLL文件，它本身并不是一个程序，而是由多个功能函数构成的。打个形象的比喻，DLL文件就像仓库中可用于多个方面的常用材料，如果别人（程序员）想为你组装一个工具（程序），那么只要提供给你仓库中没胡的工具和材料（软件安装程序中的文件）就行了，其他常用的材料（DLL）文件，可以直接从仓库中拿来一用。在工具不用时，为了节省空间和资源，可以将期拆解，其中常用材料（DLL文件）仍然会被收回仓库。我们也可以把DLL文件理解为另外一种形式的EXE文件，只不过不能自己运行，需要由其他程序通过入口函数调用，并执行其中的代码。所谓“动态”，简单地讲，就是只有在程序需要调用时才会加载DLL文件中的内容，而不用随EXE文件一起驻留在内存，减少了系统资源占用。