IT 工作心得感想范文 3 篇 篇一：IT 工作心得感想范文 我在一家叫做 Coverity 的公司工作，我住在三藩市(San Francisco)。Coverity 是一个奇怪的公司，三藩市是一个奇怪的城市。 Coverity 制造一种叫做静态分析(static analysis)的软件。这种软件可以在不运行程序的情况下，经过对代码的分析，自动的找到程序里面可能出现的问题。这有点像我之前给 Google 做的那个 Python 分析器，只不过针对另外的语言(C，C++ 和 Java 等)，分析的侧重点不同，能处理代码的规模也貌似大一些。还有就是这么多年了，久经沙场考验了。 Coverity 具有世界上最先进的一些技术，所以麻雀虽小，却让很多人离不开它。恐怕很少有人知道，这小小的公司的忠实客户，包括了一系列的大拿：美国宇航局， 波音， 洛克希德马丁，雷神(Raytheon)，BAE Systems，丰田，欧洲原子能中心(CERN) 貌似几乎所有对代码质量不敢有丝毫差错，又不得不用像 C++ 这样毛病众多的语言的公司，都购买了 Coverity 的产品。比如最近的火星好奇者号上的所有 200 多万行代码，都经过了 Coverity 的静态分析。当然，如此精密的设备不可能光靠 Coverity 查一下错就能确保万无一失，它必须依靠很多其它的技术，但 Coverity 确实是这些东西的开发过程里面比较重要的部分。 我必须承认，Coverity 给了我足够的启发，甚至间接的让我发现了自己之前做的 Python 静态分析里面存在的一些问题。Coverity 的产品在大规模的代码上面的成功，也让我意识到了自己在 Python 分析器里的一些突发奇想的设计的正确性和价值。假如我现在做一个新的 Python 分析器，它将比原来的精确和高效(也可以推广到其它语言比如 JavaScript)。我也清楚的看到，Coverity 自发研制的一些不大严谨的做法，其实比程序语言领域里面一些看似高深的逻辑还要正确。这些微妙的提示信息，让我把多个领域的知识串通了起来。所以我觉得跟这公司还有点臭味相投，加入 Coverity 也是不枉此行的。 然而我也发现，Coverity 缺少我拥有的程序语言理论知识。绝大部分的 Coverity 工程师没有系统的学习过 lambda calculus 和函数式编程。在我的 Python 分析器中，其实包含了 Coverity 还没有的技术。Python 的静态分析原来就比 C++ 和 Java 之类的难，然而我的实现却异常的简单。这些微妙的技术，貌似很多人都可以说他会做但是他们却很难把它做对。这就像 CPS 转换一样，很多人都说...
