［1］宋晓秋.GJB5369 航天型号软件C语言安全子集［S］.北京:国防科技工业委员会，2005
［2］储蕾.基于静态源码分析的软件安全测试技术研究与实现［D］.成都：电子科技大学，2010
［3］杨朝红，宫云战，肖庆，等.基于软件缺陷模型的测试系统［J］.北京邮电大学学报，2008，31(5)：1-4
Yang Z H，Gong Y Z，Xiao Q W，et al. A defect model based testing system［J］.Journal of Beijing University of Posts and Telecommunications，2008，31（5）：1-4
［4］宫云战，杨朝红，金大海，等.软件缺陷模式与测试［M］.北京：科学出版社，2011
［5］朱少民.软件测试方法和技术［M］.北京：清华大学出版社，2005
［6］黎连业，王华，李淑春.软件测试与测试技术［M］.北京：清华大学出版社，2009
［7］赵国亮，蒋勇，孔令兵.用代码分析技术检测软件缺陷［J］.计算机工程与设计，2011，32（8）：2741-2744
Zhao G L,Jiang Y,Kong L B.Software bug detection using code analysis technology［J］.Computer Engineering and Design,2011,32(8) :2741-2744
［8］杨朝红，宫云战，肖庆,等.基于模型的软件测试［J］.北京化工大学学报,2007,34（增刊1）：85-88
Yang Z H，Gong Y Z，Xiao Q W，et al. The software testing based on testing model［J］. Journal of Beijing University of Chemical Technology,2007,34（sup1）:85-88
［9］杨洪路，宫云战，高文龄,等.软件安全静态检测技术与工具［J］.微型机与应用，2009(9)：70-72
Yang H L, Gong Y Z，Gao W L, et al. Static analysis of software security techniques and tools［J］.Microcomputer & Its Application,2009(9):70-72
［10］王光卫，范明钰.源代码分析技术的理论和实践发展［J］.计算机安全，2011(1)：7-10
Wang G W, Fan M Y. Theory and practice of source code analysis［J］.Network and Computer Security,2011(1):7-10
