使用gcc编译程序时，编译过程可以细分为四个阶段：
预处理
预处理过程读入程序源代码，检查包含预处理指令的语句和宏定义，并对源代码进行相应的转换。预处理过程会删除程序中的注释和多余的空白字符。
编译
编译阶段中，gcc首先检查代码的规范性，是否有语法错误等，以确定代码的实际要做的工作，在检查无误后，gcc把代码翻译成汇编语言。
汇编
汇编阶段是把在编译阶段产生的汇编文件转成目标代码。
链...
分类：
系统相关 时间：
2015-05-05 09:00:32
阅读次数：
209
1.Static Analyzer（静态分析）
Static Analyzer是一个非常好的工具, 它可以帮助我们发现编译器警告不会提示的问题。
Static Analysis 优点：
1、使用操作容易。
2、能够在编码阶段，开发自行进行代码检查。早期发现代码隐患。
3、直接分析源代码来发现程序中的错误，而不需要实际运行。
4、自动检测objective-C程序...
分类：
其他好文 时间：
2015-04-27 23:49:37
阅读次数：
151
单元测试工具 常见的单元测试工具有：代码静态分析工具：Logiscope，McCabe QA，CodeTest等;代码检查工具：PC--LINT，CodeChk，Logiscope等;测试脚本工具：TCL、Python、Perl等;覆盖率检测工具：Logiscope，PureCoverage,Tru...
分类：
其他好文 时间：
2015-04-26 22:39:46
阅读次数：
267
simian是一个检查重复代码的工具，支持通过命令行和UI方式来检查代码，可以检查多种语言（比如C\C++, java, c#等）的代码，常见的编程语言都支持，下面先来看看如何使用命令行来检查c++重复代码的。E:\temp\simian-2.3.33\bin>simian-2.3.33.exe.....
分类：
其他好文 时间：
2015-04-21 20:31:40
阅读次数：
6371
白盒测试:又称结构测试，它一般用来测试程序的内部结构(Control Flow , Data Flow)。并判定其结果是否与预期的结果一致。 白盒测试的主要方法： 代码检查法 静态结构分析法 静态质量度量法 逻辑覆盖法 基本路径测试法 ...
分类：
其他好文 时间：
2015-04-20 00:29:55
阅读次数：
123
一、什么是白盒测试 白盒测试是通过程序的源代码进行测试而不使用用户界面。这种类型的测试需要从代码句法发现内部代码在算法，溢出，路径，条件等等中的缺点或者错误，进而加以修正。二、白盒测试的方法白盒测试的测试方法有代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、...
分类：
其他好文 时间：
2015-04-19 21:04:21
阅读次数：
181
白盒测试的测试方法： 代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。 我们这次主要了解一下路径测试法： 基本路径测试法是在程序控制流图的基础上，通过分析控制构造的环路复杂性，导出基本可执行路径集合，从而设计测试用例的方法。 ...
分类：
其他好文 时间：
2015-04-19 14:32:22
阅读次数：
134
1.代码类 ReSharper ：代码检查，代码补齐，（收费）(vs插件) MultiEditing: vs多行编译工具 VSCommand :Web Essentials : Css扩展支持，JS 扩展支持VS 10X CodeMap(CodeSmart)NugetVsVimCodeSmith (...
分类：
Web程序 时间：
2015-03-29 14:56:12
阅读次数：
129
IntelliJ IDEA 的 Erlang 插件，主要特性： 智能编辑器： Erlang 代码补全、语法和错误高亮、代码检查 代码导航：项目和文件结构视图、在文件、模型、函数和用例之间快速跳转 工具和框架集成：支持 Eunit 和 Rebar 版本控制系统：支持 Subversion、Gi...
分类：
其他好文 时间：
2015-03-11 19:21:33
阅读次数：
192
一、代码检查法概念白盒测试分为静态测试和动态测试。代码检查法是静态测试的一种，主要是由人工进行，充分发挥人的逻辑思维优势，也可以借助软件工具自动进行。代码检查包括代码走查、桌面检查、代码审查等，主要检查代码和设计的一致性，代码对标准的遵循、可读性，代码的逻辑表达的正确性，代码结构的合理性等方面；可以...
分类：
数据库 时间：
2015-02-26 21:26:35
阅读次数：
800
