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

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

一种用C++动态扩展C#程序的方法

提出一种用非托管C++(以下简称C++)动态扩展C#程序的方法。利用托管C++作为适配器,由C++类继承C#基类,并且获取C#程序提供的服务;将C++类利用托管C++作为适配器,通过C#基类的派生类提供给C#程序动态加载。实例表明该方法能够使C++编写的类继承C#程序中的类,获取C#程序提供的服务;并且使C#程序能够动态创建并调用C++类对象。该方法能够为C++源代码的重用、C++源代码与.NET平台语言的混合编程等提供解决方案。     

神图软件开发环境—编程者的“神笔”

我们目前使用的神图软件开发环境主要是“神图FORTRAN”和“神图C/C++”(神图系列软件还包括支持PASCAL、Basic、Ada和PL/M-86等语言的环境)。“神图 C/C++”是一个基于C/C++语言,可与现行流行的语言环境,如Turbo C,Borland C++,Quick C和Microsoft C等配套使用而构成的新型工作平台:神图FORTRAN是一个基于FORTRAN语言的环境,支持Microsoft FORTRAN 5.0和标准FORTRAN 77的程序设计。神图FORTRAN和神图C/C++的共同之处都是运行于PC机,集设计、编码、分析和管理功能于一体的智能化图示程序开发环境,     

编程疑难问题解答

如何在C++ Builder环境下加快C++程序重新编译的速度 由于C++ Builder提供了功能强大的编辑器和调试工具,所以很多C++程序员都喜欢在C++ Builder环境下开发C++程序。然而,如果程序结构不当,可能造成程序编译的依赖:在第一次编译后,如果只做局部修改,第二次编译时,也会引起大量的代码重新编译;由于在C++ Build环境     

C#与C++的区别

C#是由C和C++派生出的一种简单、现代、面向对象和类型安全的编程语言。本文讨论C#与C++的主要区别,以便熟悉C++的程序开发者能够快速掌握C#的程序设计。     

大学计算机专业C与C++程序设计语言开设探讨

本文在比较分析了当前大学计算机专业C与C++程序设计语言的开设现状,以及C与C++语言异同的基础上,提出在大学计算机专业程序设计语言课程设置中直接开设C++的观点。并给出直接开设C++语言时的教学内容设置、教材选择参考和开设时间建议。     

用WATCOM C／C＋＋编写——显示真彩色BMP的程序

现在许多游戏都是基于DOS4GW的保护模式的程序,用WATCOM C/C++就能编写这种程序。本文介绍了怎样用WATCOM C/C++编写显示真彩色BMP的程序。 1.怎样编写基于DOS4GW的程序 编写基于DOS4GW的程序,需要WATCOMC/C++的32位的DOS编译器,一般9.0以上的版本中就有。WATCOM C/C++与MSC基本上是兼     

一种C++程序的分层切片方法

该文介绍了一种C++程序的分层切片方法。通过构造系统程序层依赖图、类层依赖图、方法层依赖图和语句层依赖图,对C++程序进行分层切片,有效地表示了C++中的单重继承、多重继承、多态和动态绑定,该方法比其它C++切片技术更清晰地描述了C++程序中类之间的各种关系和消息传递机制。     

项目式教学在《C++程序设计》课程中的应用

《C++程序设计》课程是计算机类专业学生学习面向对象程序设计的一门重要的专业基础课。针对学生在C++语言学习过程中项目经验不足、难以理解面向对象程序设计特点等问题,设计并实践了《C++程序设计》课程项目式教学方法的教学过程及评价方式,激发了学生学习C++语言的兴趣,调动了学生的学习主动性。     

C++指针机制与源文件关联关系的可视化研究

研究了C++中的指针机制、以及指针类型对象(变量)在多个源程序代码文件中关联关系。基于信息提取和结果整理,计算机可视化实现和表示C++中的指针机制和多源程序代码文件的关联关系。研究了抽取结果的存储机制和基于该机制的自动排序源文件引用关系的方法,最后提出了一种手工调整图元布局的算法,作为自动排序算法的补充。对实际代码分析的结果表明该方法利于程序分析并支持对源代码的辅助理解。     

C++语言编程技术分析

阐述了C++语言与C语言的关系,以及C++编程技术的基础,对C++最为突出的程序设计功能类和对象进行分析,给出了C++语言编程的有关技巧.     

一种静态检测C++异常安全的方法

异常作为C++语言的错误处理机制,为C++程序设计提供了很多便利。恰当使用异常可以提高程序的健壮性,但不当使用会导致程序运行效率降低,甚至使程序崩溃。文章通过分析异常在C++程序中的各种表现形式,对异常安全漏洞进行了分类,在此基础上构建异常安全规则,采用过程间自下而上收集传递信息和过程内语法制导翻译相结合的方法,实现了C++异常安全的静态检查。     

C++程序设计特色知识点的教学方法

本文针对非计算机专业学生学习C++程序设计语言存在的困难,总结了在C++程序设计课程教学中值得牢牢抓住的若干特色知识点。通过五个方面最具特色的知识点及其教学方法的总结,阐述如何快速领会C++程序设计语言精髓并突破其知识难点。实践表明,优先突破C++特色知识点能够使非计算机专业学生更好地掌握C++语言精髓,促进创新能力培养。     

Borland C++程序迁移至现代集成开发环境的方法

该文以一个由Borland C++5开发的应用程序为例,从分析被转换程序的特点出发,设计并实现了由Borland C++向Visual Studio 2005方向的迁移方法。由于被转换程序的规模及特性具有一定的代表性,所以该方法可作为Borland C++程序迁移的一般方法加以参考。     

台湾地区高职教材《C/C++程序设计》编写特色及启示

本文讨论了C++课程的设置方法与定位,从"通识教育"、高职生学习风格特点、C/C++的普及化等不同视角,分析了台湾地区高职教材《C/C++程序设计》的三个编写特色:基础性、范例性和通俗化。     

小议C＋＋ Builder的程序发布

C++Builder以自身出众的品质迷倒了一大批程序员。可由于C++Builder大器晚成,关于它的开发资料并不丰富,特别是有关C++Builder程序发布方面的就更少了,所以我想在程序谷中借一方宝地谈谈自己的体会。 初次尝试C++Builder的朋友大都会遇到同样的一个问题:用C++Builder编译的程序,明明在自己电脑上运行得好好的,可一旦到了别人的电脑上就     

C++编译器应用研究与评析

该文针对几种典型的C++编译器进行研究。通过一些有代表性的实例在不同的编译器上编译,并将结果与C++Standard进行比较并评析,找出了几个编译器之间的差异。为C++程序移植,为高效、准确地利用面向对象语言C++编程起到了积极的指导作用。     

活动回顾

自从C++之父Biarne Stroustrup博士的宏篇巨构《C++程序设计语言》(特别版)和《C++语言的设计和演化》在国内面世以来,得到了读者的强烈反响。这两部C++的重要作品引发了读者们对C++语言、程序设计乃至计算机科学的广泛讨论,C++之父中国行”也正是在此背景之下由梦想变成了现实。     

游戏开发之路——在C++ Builder中进行DirectX编程(一)

C++ Builder是一个可视化的C++编程环境,它为编程人员提供了一种方便高效、简便的C++语言开发工具,因此已为广大C++程序员所青睐。 DirectX开发工具包是微软公司提供的一套Windows9X下开发高性能图形、声音、输入输出和网络游戏的接口,其高效的直接硬件访问、程序与硬件设备之间的相对独立等特性,几乎使得DirectX成为唯一可以在Windows操作系统下开发游戏程序的基本工具软件。     

C++与Prolog双向数据交换实现混合控制架构下机器人任务规划

在慎思/反应混合控制架构下开展定性推理与定量计算相结合的分层规划是机器人任务规划研究的一条可行途径。针对分层任务规划中存在的软件工具实现方面的问题,提出C++与人工智能语言Prolog相结合的解决方案。围绕服务机器人作业研究中的一个典型案例,开发了C++与Prolog双向加载的接口程序,开展了Prolog加载C++程序以及C++加载Prolog程序的实验研究,分别取得了单向数据传输和双向数据传输的实验结果,实现了机器人分层任务规划的完整流程。研究方法具有一般性,可在不同工程应用、不同Prolog开发环境中扩展应用,特别适用于将C++作为平台、Prolog作为知识库与推理机子系统的软件系统中。