Slicing for architectural analysis

Current software development often relies on non-trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such a coordination layer is strongly woven within the application at source code level. Therefore, its precise identification becomes a major methodological (and technical) problem and a challenge to any program understanding or refactoring process.The approach introduced in this paper resorts to slicing techniques to extract coordination data from source code. Such data are captured in a specific dependency graph structure from which a coordination model can be recovered either in the form of an Orc specification or as a collection of code fragments corresponding to the identification of typical coordination patterns in the system. Tool support is also discussed.     

浅谈C#程序中的异常处理机制

程序设计中,异常是一个不可忽略的元素,因此,有效的异常处理是程序完善的重要标志。重点介绍了C#语言中的异常处理机制。主要包括异常的基础知识、异常处理机制、程序设计中的异常三个部分。异常基础知识部分,讲解了什么是异常,异常发生的情况及主要的异常类,使读者对程序异常有基本的认识。异常处理机制部分,从应用程序和理论两方面对C#语言中对异常的处理机制进行讲解,详细分析了三种异常处理语句。程序设计中的异常部分,通过一个简单的程序开发中的例子扩展异常机制在程序设计中的应用,拓宽软件开发人员的设计思路。     

涉密文档违规处理系统在保密部门的应用

计算机网络技术的高速发展大幅提高了人们的工作效率和信息获取量,但是提供便利的同时也隐藏着安全隐患。各地保密部门始终高度重视涉密文件、机密数据及个人隐私的安全防护,以防患于未然。因此针对堵截涉密信息泄露扩散的最佳时机研制出监测涉密文档监控系统。系统可通过安装在外网客户端上的监控程序,对客户机上文档的编辑工作进行监控,将编辑的文档标题自动发送给监视控制台或保密局等主管单位,并对编辑的文档自动进行涉密分析,一旦发现该文档可能包含有涉密信息,即刻屏蔽该机的网络连接,并立即报警。     

基于DDE的组态王6．0与MATLAB数据通信在过程控制中的应用

为了充分发挥组态王6．0可视化界面功能与MATLAB强大的数值分析和图形绘制功能的各自优势,利用DDE技术,实现了组态王6．0与MATLAB的通信,开发了一种过程控制实验装置的实时监控系统。该监控系统具有实时监测、控制系统分析、控制系统设计等功能。应用实践表明,该实时监控系统运行可靠,操作方便,而且使得实时监控功能更加强大和灵活。     

Combining preprocessor slicing with C/C++ language slicing

Of the very few practical implementations of program slicing algorithms, the majority deal with C/C++ programs. Yet, preprocessor-related issues have been marginally addressed by these slicers, despite the fact that ignoring (or only partially handling) these constructs may lead to serious inaccuracies in the slicing results and hence in the program analysis task being performed. Recently, an accurate slicing method for preprocessor-related constructs has been proposed, which-when combined with existing C/C++ language slicers-can provide more complete slices and hence a more successful analysis of programs written in one of these languages. In this paper, we present our approach which combines the two slicing methods and, via practical experiments, describe its benefits in terms of the completeness of the resulting slices.     

A comparison of tools for teaching formal software verification

We compare four tools regarding their suitability for teaching formal software verification, namely the Frege Program Prover, the Key system, Perfect Developer, and the Prototype Verification System (PVS). We evaluate them on a suite of small programs, which are typical of courses dealing with Hoare-style verification, weakest preconditions, or dynamic logic. Finally we report our experiences with using Perfect Developer in class.     

GNSS系统接收机自主完好性监测算法

提出一种适用于多星座情况的接收机自主完好性监测算法——基于完好性指标动态分配的完好性监测算法。该算法比传统算法更能适应多星座情况下不同星座观测量属性的差异,其可用性比传统算法提高2％～3％。在多星座和双频情况下,利用该算法分析完好性监测的性能,结果表明,该算法在LPV-200完好性要求下是适用的。     

Reconfiguring existing pollutant monitoring stations by increasing the value of the gathered information

The objective of this study is to provide a framework for relocating or reconfiguring existing pollution monitoring station networks by using feature selection and data mining techniques. This methodology enables a partial redesign based on the maximization of the available information that is gathered by the pollution networks by the optimal data mining technique. It also considers requirements of the decision makers, like potential target places, etc.Since this methodology is based on the quality of forecasting, it can also be useful for auditing and forecasting. A case study is included in this paper. In light of the prediction results, a new way to relocate the existing monitoring station is proposed.     

任务驱动为先导“做教学”一体化的面向对象程序设计教学探究

分析当前高职计算机应用专业面向对象程序设计相关课程教学中主要存在过多强调语法教学,以及忽略面向对象程序设计思想培养等问题,提出以任务驱动为先导＂做教学＂一体化的面向对象程序设计教学方法,以提升高职计算机应用专业学生程序设计能力。     

基于Windows系统级服务的客户端软件互控技术实现方法

在C/S结构应用系统中,有效安全地运行客户端的应用程序是实现C/S结构应用系统的基础,通过分析Windows系统的特点,引入系统级服务进程实现对客户端应用的监控确保了客户端程序被强行结束或绕开运行,再利用已经运行的客户端应用程序反过来实现对系统级服务进程进行监控,从而确保了客户端应用程序的有效运行和工作.