基于关键类型的对象抽取工具的设计与实现

提出了一种新的基于子程序关键类型的对象抽取方法,使用该方法实现的对象抽取工具通过计算面向过程的C系统中各子程序参数的类型复杂度,找出每个子程序的关键类型,将子程序与关键类型打包,抽取出独立的对象。本文还提出了可以简化数据类型复杂度计算的类型系数概念,这些概念及方法对非面向对象系统的软件维护与代码重用技术的研究具有一定的参考价值。     

手把手教你学单片机的C语言程序设计（十四）

指针指针是C语言中的一个重要概念,指针类型数据在C语言程序中的使用十分普遍。C语言区别于其它程序设计语言的主要特点就是处理指针时所表现出的能力和灵活性。正确地使用指针类型数据,可以有效地表示复杂的数据结构,直接处理内存地址,而且可以更为有效合理地使用数组。一、指针与地址计算机程序的指令、常量和变量等都要存放在以字节为单位的内存单元中,内存的每个字节都具有一个唯一的编号,这个编号就是存储单元的地址。各个存储单元中所存放的数据,称为该单元的内容。计算机在执行任何一     

基于Daikon与C++Test的自动测试用例集约简工具生成

程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域.针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估.实验结果表明,CDRT工具能有效地约简测试用例集.     

基于可视化程序设计语言的编译系统

采用面向对象技术设计可视化程序设计语言的编译系统，通过对复杂的可视化图片语法进行分析，将各语法现象以语法单元类的形式进行抽象分类，提出了编译器－编译器的设计策略，给出了从可视化图片设计语言到伪指令代码的解决方法。主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统。通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统。     

JUTA: 一个Java自动化单元测试工具

描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.     

面向对象语言编译器的自动测试平台

提出了一种新的面向对象语言编译器自动测试的方法和过程,并在此基础上设计开发了面向对象编译器自动测试工具(O_OCTT)。测试用例的自动生成是编译器自动测试工具的核心,介绍了C 编译器测试用例自动生成的手段和方法,阐述了。O_OCTT设计与实现过程中的关键技术。     

基于边缘轮廓特征的实时车型分类

采用面向对象技术设计可视化程序设计语言的编译系统,通过对复杂的可视化图片语法进行分析,将各语法现象以语法单元类的形式进行抽象分类,提出了编译器-编译器的设计策略,给出了从可视化图片设计语言到伪指令代码的解决方法.主要研究在面向对象的编辑环境中如何实现满足硬件设备控制器的稳定、高效的编译系统.通过将可视化程序语言分析器(VPLPG)和小型的类C编译(LCC)器配合使用最终实现可视化程序设计语言的编译系统.     

因果图法的改进及算法实现

为提高多条件组合问题的测试用例设计效率,提出用因果表达式取代因果图。制定因果表达式的语法规则,确定决策表的数据结构,并通过可视化设计实现多条件组合的测试用例设计工具,工具实现测试输入编辑、测试用例自动生成、测试用例维护和设计过程查看等功能。与因果图法相比较,采用因果表达式不用绘制因果图,易于实现测试用例自动生成,能提高测试用例设计和维护效率。     

满足RAD需要的C++

新一代C++开发工具在C++强大的功能基础上，又具有了快速应用程序开发(RAD)工具的高效率。这些新的可视化开发环境与传统的集成化开发环境(IDE)在各种各样的开发中展开了激烈的竞争。C++编程的形式正发生着巨大的变化。我们测试了以上两种不同类型的工具，并有幸先睹了一些即将面市的新版本开发工具。     

用于多条件组合问题的测试用例设计新方法

针对因果图法测试用例设计效率较低的问题,提出用因果表达式取代因果图来进行测试用例设计。制定了因果表达式的语法规则;设计了用于测试用例设计的决策表类;通过可视化设计及算法设计实现了用于多条件组合问题的测试用例设计工具。工具实现了测试输入编辑、测试用例自动生成和测试用例维护等功能。与因果图法相比,该方法不用绘制和遍历因果图,只需分析因果表达式的语法即可实现决策表的化简,能提高多条件组合问题测试用例的设计和维护效率。     

以值传递对象在CORBA IDL编译器中的实现

值类型(valuetype)是通用对象请求代理体系结构(CORBA)规范中的一种新型的数据结构,它的提出使基于COR-BA的应用支持以值传递对象(OBV)。随着CORBA应用领域的扩展,许多应用需要CORBA提供以值传递对象,而传统的CORBA不提供以值传递对象能力。文中介绍了值类型概念,描述了以值传递对象的交互过程,该交互过程需要一个支持以值传递对象的编译器和ORB,其中的主要工作由编译器生产的C 代码来实现,详细说明了在CORBA IDL编译器(接口定义语言编译器)中的实现方法和流程。在ORBUS IDL编译器和ORBUS ORB上,实现以值传递对象交互过程,测试结果表明了该交互过程的可行性。     

可视化TENA对象建模工具设计与实现

为了加快开发可视化对象建模工具,解决传统开发方法效率低、耦合度高、可重用性低和部分功能难以实现的缺点,研究Eclipse开源项目可视化编辑框架(GEF),设计和实现一个虚拟试验建模语言(VDL)的可视化对象建模工具;最终设计与实现一个支持对试验与训练使能体系结构(TENA)对象模型的创建和编辑并且可以生成虚拟试验定义语言(VDL)文件的可视化开发工具。     

基于模型的Web应用测试

提出了基于模型的Web应用测试方法,包括建模、测试用例生成、测试用例的执行、模型以及测试用例的可视化等关键技术.设计并实现一个基于模型的Web应用测试系统.以FSM作为被测Web应用的形式测试模型,集成了模型转换器、测试目标分析器、测试序列生成器、FSM和测试序列可视化以及Web应用测试执行引擎等工具.除支持状态覆盖、...     

在Visual Basic中使用C＋＋类

我在Borland C++For DOS环境下编制了一个直流电路分析程序,在后来程序的可视化过程中,决定使用快速方便的RAD工具Visual Basic(以下简称VB)开发界面。尽管VB5.0中已经有了比较完全的OOP功能,但是要把几百行的C++代码快速无误地转化为Basic代码也不是一件轻而易举的事。我想既然在VB中能够调用动态连接库(dll)中的函数,那么是不是可以把以做好的类编译成dll供VB调用呢?经过反复试验,利用Visual C++5.0中的ATL COM Wizard选项,成功地实现了这种设想。这里把一些简单实现方法介绍给大家。     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较     

面向对象编程语言关键特性的剖析(三)--继承、运行时类型识别和内联函数

三、运行时类型识别(RTTI) RTTI(运行时类型识别)允许“用指向基类的指针或引用来操纵对象”的程序能够获取到“这些指针或引用所指对象”的实际类型(引自C primer)。运行时类型鉴定(RTTI)的概念初看非常简单——手上只有基础类型的一个指针时,利用它判断一个对象的正确类型。RTTI特性是面向对象特性中加入较晚的特性之一,但却是一个非常重要的特性。RTTI是面向对象程序设计中一种重要的技术,面向对象语言很多其他特性也是以它为基础的,例如异常机制的实现。同时它也为“多态性”提供了特殊的支持。     

时下流行的程序语言和编程工具

现在的编程语言,最时髦的要属第四代编程语言工具：我们通常说的第四代语言,Visual C++、Visual Basic、Delphi等确切地来说应该是包括程序设计语言在内的集成开发环境(IDE),它们是开发工具,而不是纯粹的语言。所以在提到第四代语言的时候,我们往往将程序设计语言本身和编程工具“混为一谈”。VB、VC++中的V(Visual)是可视化(图形化)的意思,     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

Object-Z 规格说明测试用例的自动生成器

对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.     

基于JUnit自动化单元测试的研究

软件测试在软件质量控制过程中起着非常重要的作用,单元测试尤为重要。JUnit是非常强大的单元测试工具,主要用于测试基于java语言编写的类和方法,而且它还能把不同的测试用例组织成测试用例集来进行测试,使测试运行自动化。文章分析了应用JUnk单元测试方法以及使用JUnit结合Ant构建工具来实现单元自动化测试及增量开发。