计算机科学 ›› 2015, Vol. 42 ›› Issue (Z6): 513-515.
孙海燕,陈跃跃,王峰,杨灿群,阳柳,王霁
SUN Hai-yan, CHEN Yue-yue, WANG Feng, YANG Can-qun, YANG Liu and WANG Ji
摘要: TI DSP广泛应用于工业控制任务中,其可执行代码的可靠性不仅依赖于程序本身的可靠性,而且也依赖于编译器的可靠性。选取在工业控制领域中应用广泛、具有代表性的DSP芯片TI C6701对其编译器进行正确性测试。测试结果表明,用户在不加限制地使用TI C6701编译器时,可能会遇到编译器的正确性问题,进而影响整个应用系统的正确性。
[1] Kocher P,Lee R,McGraw G,et al.Security as a New Dimension in Embedded System Design[C]∥Proceedings of the Design Automation Conference.ACM Press,2004(6):735-760 [2] TMS320C62x Code Composer IDE Help(SPRH197),ParallelDebugging Manager:An Introduction[EB/OL].http://www.ti.com,2005-06 [3] Popovic M,Kovacevic V,Temerinac M.Software testing concept used for MAS/C-compiler[C]∥Proceedings of the 26th Euromicro Conference.Maastricht.IEEE Computer Society,2000(2):224-229 [4] 何群.C编译器自动测试工具(Ctcgen)的剖析与移植(A)[J].计算机工程,2004,0(20):95-97 [5] Plum Hall Inc.The Plum Hall Validation Suite for CTM[EB/OL].http://www.plumhall.com/stec1.html [6] ANSI X3.159-1989.Programming Language-C .http://www.freestd.us/soft/109648.html |
No related articles found! |
|