声明资料属网络转载整理归纳而来。 （一）--提高C语言代码效率的方法 （二）--经典 C语言 （三）--如何优化C语言代码(程序员必读) （四）--switch与if的效率 （五）--高效可移植程序的一些习惯 （六）--C语言嵌入式系统编程之软件架构篇 （七）--小容量单片机系统的C语言程序结构 （八）--基于ARM的高效C语言编程 （九）--用C语言实现高效嵌入式系统编程 （十）--ARM设计思想与高效C编程 （十一）--查找嵌入式软件技术的缺陷

LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此，LOGISCOPE 的重点是帮助代码评审（Review ）和动态覆盖测试（Testing ）。 LOGISCOPE对软件的分析，采用基于国际间使用的度量方法（Halstead、McCabe等）的质量模型，以及从多家公司收集的编程规则集，可以从软件的编程规则，静态特征和动态测试覆盖等多个方面，量化地定义质量模

　本文将介绍如何避免那些隐蔽然而常见的错误,并介绍的几个技巧帮助工程师发现软件中隐藏的错误。大部分软件开发项目依靠结合代码检查、结构测试和功能测试来识别软件缺陷。尽管这些传统技术非常重要,而且能发现大多数软件问题,但它们无法检查出当今复杂系统中的许多共性错误。

本文将介绍如何避免那些隐蔽然而常见的错误，并介绍的几个技巧帮助工程师发现软件中隐藏的错误。大部分软件开发项目依靠结合代码检查、结构测试和功能测试来识别软件缺陷。尽管这些传统技术非常重要，而且能发现大多数软件问题，但它们无法检查出当今复杂系统中的许多共性错误。

基于模式的静态代码分析、运行时内存监测、单元测试以及数据流分析等软件验证技术是查找嵌入式C语言程序/软件缺陷行之有效的方法。上述技术中的每一种都能查找出某一类特定的错误。即便如此，如果用户仅采用上述技术中的一种或者几种来进行验证，这样的验证方法很有可能会漏过对程序中的一些缺陷的检查。解决此类问题的一种安全和有效的策略就是同时使用上述软件验证中的所有互补技术。这样就能建立起一个牢固的框架来帮助用户检查出可能会避开某种特定技术的缺陷。与此同时，用户也自然地建立起一个能检测出关键并且难以查找的功能性错