%0 Journal Article
%T tidspc语言编译器正确性测试
%A 孙海燕？
%A 陈跃跃？
%A 王峰？
%A 杨灿群？
%A 阳柳？
%A 王霁？
%J 计算机科学
%D 2015
%X tidsp广泛应用于工业控制任务中,其可执行代码的可靠性不仅依赖于程序本身的可靠性,而且也依赖于编译器的可靠性。选取在工业控制领域中应用广泛、具有代表性的dsp芯片tic6701对其编译器进行正确性测试。测试结果表明,用户在不加限制地使用tic6701编译器时,可能会遇到编译器的正确性问题,进而影响整个应用系统的正确性。
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20156A124&flag=1