资料下载
×
C++静态分析中对泛型构件的识别与表示方法
消耗积分:3 |
格式:rar |
大小:147 |
2009-08-17
张勇
分享资料个
本文从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]的基本泛型构件及其相关元素的表示方法。
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
评论(0)
发评论
- 相关下载
- 相关文章
