面向方面软件开发的形式化方法与编译器技术分析研究

主要讨论"面向方面软件开发"或"面向方面编程"要如何运用形式化的相关方法来进行模型检测。简单介绍面向方面软件开发的内容,并运用编译器的理论知识来分析面向方面编程相关工具的应用。解释面向方面软件开发在测试代码工作上容易遇到的困难点与常见问题,并解释如何运用已知形式化方法来分析描述这些问题,进行模型检测(model checking),找出代码出错的问题点,阐述如何让面向方面软件开发出来的代码更加强固、稳定与可靠。

一种基于安全状态转移的简并测试集生成方法

在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.

The relation between formal potential and structure of indophenols and molecular mechnism of electrooxidation

The molecular structural parameters of indophenol and its derivatives were calculated by semi-empirical molecular orbital quantum chemical method,The relation between molecular structural parameters and formal potentials was analyzed by principal factor analysis and multiple Linear regression method. It was found that the formal potential of indophenols has a good relation with two-center electron exchange energy, E-ex (2), resonance energy of O-C bond, E-ex (C-1-O), and molecular ionization potential, I-p, among 19 moleclular structural parameters. The regression equation is E-0' = 1. 47 x 10 (-3) E-ex (two) - 5. 74 x 10 (-2) E-ex (C-1 - O) - 1. 41 x 10 (-2) I-p with RC = 0. 9999 and SD = 0. 00424. It was confirmed by the relation between structure parameters and formal potentials, and the thermodynamic stability of its intermediate products that the H (+) ionization is prior to the electron transfer step in the oxidation mechanism.

A double logarithmic method for studying the adsorption effects in an irreversible electrochemical process

The adsorption of an electroinactive product greatly influences an irreversible electrochemical reaction in three ways, including self-block, self-inhibition, and self-acceleration, and changes not only the heterogeneous electron-transfer rate constant but also the modified formal potential and electron-transfer coefficient of the electrochemical reaction. In order to study these adsorption effects, a double logarithmic method was suggested to be used in processing the potential-controlled thin layer spectroelectrochemical data. The result shows three types of double logarithmic plots for three kinds of adsorption effects. These double logarithmic plots can be a diagnostic criterion of the adsorption effects and enable us to determine some thermodynamic and kinetic parameters. The combination of nonlinear regression with double logarithmic method is a convenient way to examine the suggested mechanism and to extract more information from the limited experimental data. Some examples are given to test the theoretical results. (C) 1999 The Electrochemical Society. S0013-4651(98)05-012-5. All rights reserved.