基于Klocwork Insight静态测试技术应用及其研究
Application and Research on Static Test Technology Based on Klocwork Insight作者机构:成都理工大学
出 版 物:《电脑与电信》 (Computer & Telecommunication)
年 卷 期:2011年第11期
页 面:54-56页
学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:软件测试技术对于确保软件质量、高可靠性、高安全性越发受到行业重视。静态分析指的是一种在不执行程序的情况下对程序行为进行分析的静态测试技术。本文以五指棋程序为例用Klocwork对工程做静态分析。