C＋＋程序理解辅助系统

本文介绍了一个针对Ｃ＋＋语言的程序理解辅助系统ＨＯＯＰＵＳ（ｈｙｐｅｒｔｅｘｔ－ｂａｓｅｄｏｂｊｅｃｔ－ｏｒｉｅｎｅｄ ｐｒｏｇｒａｍ ｕｎｄｅｒｓｔａｎｄｉｎｇ ｓｕｐｐｏｒｔ ｓｙｓｔｅｍ），该系统基于程序结构分析技术，以易于程序中的信息，辅助理解Ｃ＋＋程序的功能与结构，另外，还利用ｈｙｐｅｒｔｅｘｔ、多维表现、导航与定位等技术对理解过程提供支持。     

与继承相关的C＋＋程序错误模式

分析了C 程序中与继承相关的错误模式，这些错误会引起程序的数据流异常和行为异常。给出了几种常见错误模式的表现形式，结合实例详细分析了这些错误模式的产生原因及特点，重点讨论了容易产生数据流异常的基类与派生类之间的状态一致性问题，得到错误模式的分类。最终达到使用错误模式指导程序分析，检测面向对象程序中的潜在异常，维护系统的安全的目的。     

小议C＋＋ Builder的程序发布

C++Builder以自身出众的品质迷倒了一大批程序员。可由于C++Builder大器晚成,关于它的开发资料并不丰富,特别是有关C++Builder程序发布方面的就更少了,所以我想在程序谷中借一方宝地谈谈自己的体会。 初次尝试C++Builder的朋友大都会遇到同样的一个问题:用C++Builder编译的程序,明明在自己电脑上运行得好好的,可一旦到了别人的电脑上就     

用BorlandC＋＋编制Windows屏幕拷贝程序

介绍使用ＢｒｏｌａｎｄＣ＋＋和ＧＤＩ函数设计Ｗｉｎｄｏｗｓ 环境下屏幕打印程序的方法，并给出了相的程序段。     

Visual C＋＋的MFC程序开发

论述了Ｖｉｓｕａｌ Ｃ＋＋的Ｍｉｃｒｏｓｏｆｔ基本类库编程机制。揭示了ＭＦＣ程序的执行过程;阐述了主要函数的作用。     

用VC＋＋开发AutoCAD运行扩展程序

对ＡｕｔｏＣＡＤ的最新编程开发工具ＡＲＸ的开发环境和编程技术作概括性介绍，同时，结合一实例对ＡＲＸ程序的编写及应注意的问题进行标注说明。     

VC＋＋编写Windows95的抓图程序

一、前言 如果经常流连于图书馆或书店的话,你会发现现在的书里的插图很多。特别是Windows、Windows 95方面的,插图很是丰富多彩。如果要单靠Windows里的Prin Screen键来获取那些插图,也能做到,可是太辛苦了。事实上它们大都是用抓图程序来获取的。目前流行的Windows抓图工具大约有十来种,如果你经常写文章,写书,那你会用到这些程序的。可是你有没有想过要自己编写抓图程序。用自己的东西,心里会有一种不同的感觉,你不妨工作之余试一试,锻炼自己的编程能力。下面的插图就是笔者用VC+4.1编写的自己的抓图工具抓出的程序本身的窗口。     

Microsoft C／C^＋＋ V7.0程序压缩技术

简要介绍了Ｍｉｃｒｏｓｏｆｔ Ｃ／Ｃ＾＋＋Ｖ７．０在编译过程中，如何借助于Ｐ－ｃｏｄｅ命令，把源程序压缩成ｐ－ｃｏｄｅ程序的方法。     

FoxBASE~＋递归程序的设计与实现

分析了递归程序的实现原理及在ＦｏｘＢＡＳＥ￣＋中实现递归调用的可能性，提出了递归程序工作栈的概念。利用这一概念，使ＦｏｘＢＡＳＥ￣＋的解释程序与应用程序协同工作，从而在ＦｏｘＢＡＳＥ￣＋中实现递归调用。     

面向对象通用优化程序在VC＋＋平台上的实现

讨论了面向对象优化程序实现的机理及在VC＋＋编程平台上实现该程序的具体做法,给出了一个优化方法扩充的实例。最后用本文程序对参考文献中的优化问题进行计算,通过对比结果得出相应的结论。     

用于克服程序状态空间爆炸的条件化预处理

提出用条件化技术对程序进行预处理的方案，以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件，通过对程序符号化执行后各控制点的路径条件进行逻辑推理，删除那些对性质检测无关的语句。理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。     

The Next Generation Software Program

The papers in this issue provide an overview of the research fostered by the NSF Next Generation Software (NGS) Program², and some representative projects funded under the program. The NGS Program was announced in October of 1998, and with several calls for proposals between 1998 and 2004 has supported research in two broad technical thrusts. One program component has supported research for developing Technology for Performance Engineered Systems (TPES) for the Design, Management and Runtime Support of Computing Systems and Applications. The second program component, Complex Application Development and runtime Support Systems (CADSS) has sought to create new systems’ software technology, including enhanced compiler capabilities, and tools for the development, runtime support and dynamic composition of complex applications executing on complex computing platforms, such as Computational Grids, assemblies of embedded systems and sensor systems, as well as high-end platforms (Grids-in-a-Box) and special purpose processing systems. Work along the directions of the NGS Program presently continues under the successor program, the NSF Computer Systems Research Program.     

模糊综合评判实用程序

提供一个用FoxPro for Windows编写的模糊综合评判实用程序。它包括五个常用数学模型且选择灵活,操作简单,使用方便。将原始数据和评判结果组织在一个数据文件中,是其最大特点,也是本程序的优点。     

JDiff: A differencing technique and tool for object-oriented programs

During software evolution, information about changes between different versions of a program is useful for a number of software engineering tasks. For example, configuration-management systems can use change information to assess possible conflicts among updates from different users. For another example, in regression testing, knowledge about which parts of a program are unchanged can help in identifying test cases that need not be rerun. For many of these tasks, a purely syntactic differencing may not provide enough information for the task to be performed effectively. This problem is especially relevant in the case of object-oriented software, for which a syntactic change can have subtle and unforeseen effects. In this paper, we present a technique for comparing object-oriented programs that identifies both differences and correspondences between two versions of a program. The technique is based on a representation that handles object-oriented features and, thus, can capture the behavior of object-oriented programs. We also present JDiff, a tool that implements the technique for Java programs. Finally, we present the results of four empirical studies, performed on many versions of two medium-sized subjects, that show the efficiency and effectiveness of the technique when used on real programs.

生物多样性风险分析的概率排序型决策网络计算软件

针对农田生物多样性分析的需要，研制了概率排序型决策的网络计算软件ProbRankDecision,可进行概率排序型决策和一维有序聚类分析。该软件由六个类和一个HTML引导文件组成，具有图形用户界面，可在多种支持Java的网络浏览器上运行。用该计算软件对有害生物可持续管理的一种生物多样性问题进行了风险案例分析。同时，讨论了概率严排序决策、概率弱排序决策和一般风险型决策的应用条件，以及用贝叶斯分析改进状态概率排序的方法。网络在线计算软件ProbRankDecision的应用有助于生物多样性风险分析的规范化，也有利于数据和信息共享。     

A program design language based software maintenance tool

Program design languages are an increasingly important method of expressing the detailed design of a software system. Such languages can be modelled using a data structure known as a semantic net. This paper describes a maintenance tool for program design languages based on such a data structure. The tool allows the user to interrogate a semantic net using an interactive procedural language in order to derive information necessary for software maintenance. The technique upon which this tool is based is applicable to the maintenance of activities throughout the software lifecycle.     

面向数据库模式变更的代码演化推荐方法

许多软件依赖数据库来存储信息。数据库模式的变更可能导致程序代码中与数据库相关的SQL语句代码不能正常执行,因而找出一种能够直接定位到需要修改的SQL语句代码并推荐出这些代码可能的修改方案的方法是十分必要的。提出的面向数据库模式变更的代码演化推荐方法首先自动检测出软件系统数据库模式发生的变更,随后采用程序切片技术得出与数据库操作相关的程序切片;确定受到数据库模式变更影响的程序切片后,利用源程序转换流程图算法将程序切片转化为程序流程图;根据程序流程图的分支条件得出SQL语句所有可能的特定执行路径;最后采用图映射的方法对每条路径的SQL语句进行变更语句推荐,推荐出新数据库模式下可执行的SQL语句。为了验证该方法的可行性,实现了一个用于自动检测数据库模式变更并能推荐出SQL语句演化后代码的插件工具。     

一个基于Eclipse的通用Java程序插桩工具

插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体的应用往往需要从头开发特定的插桩程序,存在着大量的重复性工作。此外,由于在原始程序中插入了大量额外代码,致使调试过程变得更加复杂和困难。针对这些问题,提出了一个基于Eclipse的通用Java代码插桩工具,即通过规则定义匹配程序的执行点,从而定制针对各种分析、测试和验证插桩需求的支持。通过对插桩代码片段的显式/隐式切换实现其可见性管理,从而确保程序的理解和调试过程不受插桩代码影响。通过使用该工具,可以更好地将插桩技术应用于Java程序开发中。     

高职教育中程序设计课程的教学经验

根据高职的程序设计课程的教学目标，提出了学生能力培养的四个层次变化，并总结了在教学中的经验体会。