资料介绍
本文从C++静态分析的角度出发,介绍了模板和泛型构件技术、一个C++静态分析器实现
中对模板和基本泛型构件的分析和识别方法、以及一种基于UML 的泛型构件的表示方法。
[关键字] C++,模板,泛型构件,UML,静态分析, 软件测试
模板是C++中用来实现泛型的主要手段,它为构造泛型构件和泛型程序库提供了强有力的支持,标准模板库(STL)[1]是C++中运用泛型编程(generic programming)[1][2]技术实现的第一个重要的产品。模板和泛型编程为软件开发提供了新的手段,与此同时,也对软件开发中程序的理解和测试提出了新的要求。
静态分析通过分析软件源代码来获得程序中的各种信息,帮助程序员理解程序,常见的静态分析工具有Rational Rose C++[3]、Understand for C++[4]等。QESat/C++[5]是由北航软件所开发的C++软件分析与测试工具,在静态分析方面,它能对模板作比较完善的语法分析,并对基于模板构造的泛型程序库作基本的构件化分析。
本文第一章首先简要介绍 C++中模板和泛型构件的基本概念;第二、三章介绍了在C++静态分析器实现中,对模板和基本泛型构件的识别方法;最后,在第四章中提出了一种基于UML[6]的基本泛型构件及其相关元素的表示方法。
中对模板和基本泛型构件的分析和识别方法、以及一种基于UML 的泛型构件的表示方法。
[关键字] C++,模板,泛型构件,UML,静态分析, 软件测试
模板是C++中用来实现泛型的主要手段,它为构造泛型构件和泛型程序库提供了强有力的支持,标准模板库(STL)[1]是C++中运用泛型编程(generic programming)[1][2]技术实现的第一个重要的产品。模板和泛型编程为软件开发提供了新的手段,与此同时,也对软件开发中程序的理解和测试提出了新的要求。
静态分析通过分析软件源代码来获得程序中的各种信息,帮助程序员理解程序,常见的静态分析工具有Rational Rose C++[3]、Understand for C++[4]等。QESat/C++[5]是由北航软件所开发的C++软件分析与测试工具,在静态分析方面,它能对模板作比较完善的语法分析,并对基于模板构造的泛型程序库作基本的构件化分析。
本文第一章首先简要介绍 C++中模板和泛型构件的基本概念;第二、三章介绍了在C++静态分析器实现中,对模板和基本泛型构件的识别方法;最后,在第四章中提出了一种基于UML[6]的基本泛型构件及其相关元素的表示方法。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 公路坡度的表示和计算方法综述 2次下载
- 基于DSSD网络的静态手势实时识别方法 11次下载
- 基于测试样本误差重构的协同表示分类方法 5次下载
- 基于改进YOLOv的静态手势实时识别方法 9次下载
- 时序分析的静态分析基础教程 14次下载
- C++的框架、库和代码分析的资料大全 3次下载
- 基于背景的用户静态兴趣表示及挖掘方法 0次下载
- 基于刻面分类标识和聚类树的构件检索方法 0次下载
- C++内存泄漏分析方法 5次下载
- 结合面向对象和构件化技术的领域需求分析方法 0次下载
- 基于多核学习的静态图像人体行为识别方法_杨红菊 6次下载
- C/C++源代码静态监测设计实现 44次下载
- 静态时序分析与逻辑(华为内部培训资料) 129次下载
- 一种基于构件的软件开发方法 5次下载
- 构件内聚性度量方法研究 7次下载
- 静态时序分析的基本概念和方法 717次阅读
- FPGA静态时序分析简单解读 348次阅读
- 静态分析和动态分析的区别 3619次阅读
- 静态分析工具 2005次阅读
- 电路识别和电路分析的方法 1047次阅读
- FPGA静态时序分析详解 1812次阅读
- 五个程序员必知的静态分析工具推荐 5586次阅读
- 基于构件化软件开发的IEEE802.15.4标准的设计与实现 1893次阅读
- RFID领域软件构件化开发技术你知道吗 693次阅读
- RFID领域软件构件化开发是怎样的技术 582次阅读
- 静态工作点计算公式_静态工作点计算公式 25.4w次阅读
- 静态工作点是什么_静态工作点的作用 6.1w次阅读
- 如何识别电子元器件常用元器件的表示方法和识别方法等资料概述 7726次阅读
- FPGA进行静态时序分析 2943次阅读
- JavaScript让HTML静态页面传值的方法 5660次阅读
下载排行
本周
- 1传感芯片选型指南
- 3.60 MB | 5次下载 | 免费
- 2储能电源市场分析
- 7.99 MB | 5次下载 | 免费
- 3带有集成场效应晶体管(FET) 的3.1V至5.5V输入,3A输出同步降压稳压器TPS51312数据表
- 1.28MB | 4次下载 | 免费
- 4高效1.5MHz 1.2A同步降压稳压器PL5900A数据手册
- 3.26 MB | 2次下载 | 免费
- 5光伏太阳能电池板可编程最大功率点跟踪控制器SM72442数据表
- 373.53KB | 2次下载 | 免费
- 66-A,12-V输入非隔离宽输出调整电源模块PTH12000数据表
- 663.15KB | 1次下载 | 免费
- 710 A 12-V输入非隔离降压开关电源模块PTH12060数据表
- 1.11MB | 1次下载 | 免费
- 8具有DCS-Control™ 功能的 3V 到 17V 0.5A 降压转换器TPS6217x-Q1数据表
- 3.17MB | 1次下载 | 免费
本月
- 1ES9038PRO解码芯片的电路原理图介绍
- 0.25 MB | 33次下载 | 5 积分
- 2UHD智能显示SoC VS680产品简介
- 0.46 MB | 11次下载 | 免费
- 3STM32国内外发展现状
- 1.15 MB | 10次下载 | 免费
- 4TDK电容器产品指南
- 11.88 MB | 7次下载 | 1 积分
- 5CR6842 12V/5A 反激式开关电源方案介绍
- 0.10 MB | 6次下载 | 免费
- 6电池管理系统(BMS)软硬件介绍
- 0.23 MB | 6次下载 | 2 积分
- 716A 输出电流,高可靠、高效率 同步降压转换器PCD3201产品手册
- 0.47 MB | 6次下载 | 免费
- 8传感芯片选型指南
- 3.60 MB | 5次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935085次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420050次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233067次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191316次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183316次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73786次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多