基于CIL的C语言类型系统构建研究

针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。

面向对象软件测试引擎的设计和实现

为了减少软件测试的工作量,提高软件测试的效率.非常有必要开发计算机辅助的软件测试工具。本文基于已经实现的分别面向C/C^(++)和Visual Basic语言的计算机辅助软件测试工具为基础,介绍了面向对象软件测试引肇的设计和实现。该引擎以中间数据库为核心,使用语言分析器对源程序进行基于块的划分,然后完成代码插装和编译连接,为自动测试模块提供可执行的经过代码插装的程序而不是源代码,从而提高了测试工具的通用性和重用性。

高斯投影反算中求底点纬度值的牛顿迭代法

高斯投影反算问题是利用高斯平面直角坐标系坐标(x,y)来求其对应的大地地理坐标系坐标(B,L)的理论和方法。在高斯投影反算问题中,底点纬度Bf是一个重要的中间变量。对底点纬度Bf的计算通常采用两种方法,而这两种方法在具体应用中不够方便。本文对该问题进行了探讨,在研究牛顿迭代法应用的前提下,以高斯投影正算中求X0的数学模型为基础,构造了求底点纬度Bf的牛顿迭代模型。给出了相应的牛顿迭代法程序设计的框图,编写了C语言子程序。通过实例计算,表明相对于求底点纬度Bf值的常用算法,该方法具有方法简便、程序设计简单、计算速度快、精度高等特点,在大量数据计算中可以满足高斯投影计算对计算速度和计算精度的双重要求。该方法对实际工作中相关问题有一定的实用和参考价值。

复杂计量方式下电费计算模型的设计与实现

文章讨论电力系统中复杂计量方式下电费计算的设计与实现技术,采用公式化、参数化解决电力系统中复杂的电费计算问题,介绍了电费模型、计算模型的设计思想和实现方法。

复杂电力计量方式下电费计算模型的设计

讨论电力系统中复杂计量方式下电费计算的设计与实现技术,采用公式化、参数化解决电力系统中复杂的电费计算问题,详细介绍了电费模型、计算模型的设计思想和实现的方法。最后给出了利用交易中件间(TUXEDO),Oracle的ProC编程技术实现的应用实例。