计算机科学 ›› 2015, Vol. 42 ›› Issue (Z6): 513-515.

• 软件工程与数据库技术 • 上一篇    下一篇

TI DSP C语言编译器正确性测试

孙海燕,陈跃跃,王峰,杨灿群,阳柳,王霁   

  1. 国防科学技术大学计算机学院 长沙410073,国防科学技术大学计算机学院 长沙410073,国防科学技术大学计算机学院 长沙410073,国防科学技术大学计算机学院 长沙410073,国防科学技术大学计算机学院 长沙410073,国防科学技术大学计算机学院 长沙410073
  • 出版日期:2018-11-14 发布日期:2018-11-14

Correctness Test of TI DSP C Compiler

SUN Hai-yan, CHEN Yue-yue, WANG Feng, YANG Can-qun, YANG Liu and WANG Ji   

  • Online:2018-11-14 Published:2018-11-14

摘要: TI DSP广泛应用于工业控制任务中,其可执行代码的可靠性不仅依赖于程序本身的可靠性,而且也依赖于编译器的可靠性。选取在工业控制领域中应用广泛、具有代表性的DSP芯片TI C6701对其编译器进行正确性测试。测试结果表明,用户在不加限制地使用TI C6701编译器时,可能会遇到编译器的正确性问题,进而影响整个应用系统的正确性。

Abstract: TI DSP is widely used in industry control areas.The reliability of the executable code not only relies on user programs,but also relies on the compilers.This paper did correctness test on the C compiler of TI C6701 DSP,which is widely used in many industry control areas.The test result shows that if users use TI C6701 Compiler without any restricts,they may meet the C compiler’s correctness problems which may affect the correctness of the whole applications.

Key words: Compiler test,C89 standard,DSP,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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!