一种基于程序正确性证明理论的程序开发方法

程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法,它使得程序的开发和证明同时进行,程序开发完成的同时其正确性亦得以保 证,以两个问题的程序开发为例说明了程序的形式推导方法的使用。     

程序理解

程序理解是从计算机程序中获取有关信息的过程。作为程序维护中必不可少的环节,一直受到大家的关注。结合最近比较熟门的软件重建工程,分析程序理解中出现的一些问题以及解决方案。     

数控仿形加工中心自动换刀的程序设计

数迭仿形加工中心具有高效的加工能力和超精密度的加工精度。本文从FIDIA数控系统的AUCOL2指令的性能特点出发,叙述了自动换刀系统的工艺流程序设计及换刀程序。     

面向多媒体应用程序的循环特征研究*

首先,介绍了多媒体应用程序测试的工具和对象;其次,分析了国内外有关多媒体程序特征研究的成果和现状,发现这些研究和工作在微观领域——多媒体应用程序核心循环方面的研究和关注还显不足,并据此引出了对有关多媒体程序核心循环的循环特征的一些研究;最后,对基于小波变换的EPIC(Efficient Pyramid Image Coder)程序进行了程序特征与循环特征的分析。     

Design-code traceability recovery: selecting the basic linkage properties

Traceability ensures that software artifacts of subsequent phases of the development cycle are consistent. Few works have so far addressed the problem of automatically recovering traceability links between object-oriented (OO) design and code entities. Such a recovery process is required whenever there is no explicit support of traceability from the development process. The recovered information can drive the evolution of the available design so that it corresponds to the code, thus providing a still useful and updated high-level view of the system.

Automatic recovery of traceability links can be achieved by determining the similarity of paired elements from design and code. The choice of the properties involved in the similarity computation is crucial for the success of the recovery process. In fact, design and code objects are complex artifacts with several properties attached. The basic anchors of the recovered traceability links should be chosen as those properties (or property combinations) which are expected to be maintained during the transformation of design into code. This may depend on specific practices and/or the development environment, which should therefore be properly accounted for.

In this paper different categories of basic properties of design and code entities will be analyzed with respect to the contribution they give to traceability recovery. Several industrial software components will be employed as a benchmark on which the performances of the alternatives are measured.     

计算机专用实时母系统在VAX／VMS环境下的实现

“母系统—子系统”的工作方式是计算机专用实时系统研制中的一次重要尝试,本文闸明计算机专用实时母系统在VAX/VMS环境下的工程实现。     

SAPTIS：结构多场仿真与非线性分析软件 开发及应用（之一）

介绍大型结构多场仿真与非线性分析软件SAPTIS,包括软件中所采用的单元类型、方程求解方法、大坝全过程仿真的开挖浇筑模拟方法、水化热模型、通水冷却模型、温度边界条件、弹性模量模型、徐变度模型、自生体积变形以及掺MgO混凝土特性等,还给出了分析结果表达方式。该软件已成功应用于三峡、二滩、龙滩、小湾、溪洛渡、锦屏、丹江口等四十余个大中型水利水电工程的混凝土坝和其他结构温度场、应力场仿真分析、温控防裂和大坝真实工作性态研究,取得了良好的经济效益。应用成果表明,SAPTIS采用的计算模型能正确反映混凝土材料的热学特性、混凝土结构的应力和变形特性,具有计算速度快、计算规模大、结果精度高等优点。     

Human and program factors affecting the maintenance of programs with deployed design patterns

Context

Practitioners may use design patterns to organize program code. Various empirical studies have investigated the effects of pattern deployment and work experience on the effectiveness and efficiency of program maintenance. However, results from these studies are not all consistent. Moreover, these studies have not considered some interesting factors, such as a maintainer’s prior exposure to the program under maintenance.

Objective

This paper aims at identifying what factors may contribute to the productivity of maintainers in the context of making correct software changes when they work on programs with deployed design patterns.

Method

We performed an empirical study involving 118 human subjects with three change tasks on a medium-sized program to explore the possible effects of a suite of six human and program factors on the productivity of maintainers, measured by the time taken to produce a correctly revised program in a course-based setting. The factors we studied include the deployment of design patterns and the presence of pattern-unaware solutions, as well as the maintainer’s prior exposure to design patterns, the subject program and the programming language, and prior work experience.

Results

Among the factors under examination, we find that the deployment of design patterns, prior exposure to the program and the presence of pattern-unaware solutions are strongly correlated with the time taken to correctly complete maintenance tasks. We also report some interesting observations from the experiment.

Conclusion

A new factor, namely, the presence of pattern-unaware solutions, contributes to the efficient completion of maintenance tasks of programs with deployed design patterns. Moreover, we conclude from the study that neither prior exposure to design patterns nor prior exposure to the programming language is supported by sufficient evidences to be significant factors, whereas the subjects’ exposure to the program under maintenance is notably more important.     

浅谈宏程序加工梯形螺纹的两种方法

为在数控车床上加工大螺距梯形螺纹,本文对梯形螺纹的加工工艺和FANUC0i系统宏指令的应用进行了研究,探索出一套利用宏指令在数控车床上加工合格梯形螺纹的方法,并结合实际生产验证了其可行性,拓展了宏指令的应用范围。     

FAUNC系统G10指令和宏指令的应用

本文阐述了在数控铣床或加工中心上,通过实例介绍了数控铣削加工编程中运用G10指令和宏程序来解决加工中的一些思路和方法。