[1]Howard M,LeBlanc D. Writing secure code (Second edition)[M]. Beijing:China Machine Press,2005. (in Chinese)
[2]He Lingmin,Xu Xiang,Lu Huijuan,et al. Training of C++ programming style[J]. Computer Education,2011(9):6467. (in Chinese)
[3]Miara R J,Musselman J A,Navarro J A,et al. Program indentation and comprehensibility[J]. Communications of the ACM,
1983,26(11):861867.
[4]The Motor Industry Software Reliability Association. MISRAC 2012:Guidelines for the use of the C language in critical systems[EB/OL]. [20150710].http://www.misra.org.unk/publications/tabid/57/default.aspx#labelc3.
[5]Google C++ style guide[EB/OL].[20150703].http://googlestyleguide.googlecode.com/svn/trunk/cppguide.html.
[6]Commission of Science,Technology and Industry for National Defense of China:Safe subset of C language for space armament software:GJB53692005[S].
Beijing:Commission of Science,Technology and Industry for National Defense of China,2005.(in Chinese)
[7]Li Shuhao, Qi Zhichang. Programming rule checking:An underlying practice for software quality assurance[J]. Computer Science,2003,30(11):1. (in Chinese)
[8]GNU Indent beautify C code[EB/OL].[20150703].http://www.gnu.org/software/indent/manual/.
[9]Zhang Liangde,Ge Xiangwei,Liu Dongsheng. Application of indent software in programming style teaching[J]. Computer Education,2010(5):8284. (in Chinese)
[10]Li Feng,Wen Yanjun,Qi Zhichang,et al. Research on checking program rules algorithm which based on MYGCC[J]. Computer Engineering & Science, 2012,34(2):6772. (in Chinese)
附中文参考文献:
[1]Howard M,LeBlanc D. 编写安全的代码(第二版)[M]. 北京:机械工业出版社,2005.
[2]何灵敏,许翔,陆慧娟,等. C++教学中编程习惯的养成[J]. 计算机教育,2011(9):6767.
[6]国防科学技术工业委员会.航天型号软件C语言安全子集:国军标GJB53692005[S]. 北京:国防科学技术工业委员会,2005.
[7]李书浩,齐治昌. 程序设计规则检查:一种保障软件质量的基本方法[J]. 计算机科学, 2003,30(11):1.
[9]张良德,葛湘巍,刘东升. Indent 软件在编程风格教学中的应用[J]. 计算机教育,2010(5):8284.
[10]李锋,文艳军,齐治昌,等. 基于MYGCC 的编程规则检查算法研究[J]. 计算机工程与科学,2012,34(2):6772.
|