国产DSP编译器正确性测试

doi:10.16257/j.cnki.1681-1070.2025.0142

电子与封装 ›› 2025, Vol. 25 ›› Issue (12): 120205 . doi: 10.16257/j.cnki.1681-1070.2025.0142

国产DSP编译器正确性测试

戴湘怡¹，万江华^1,2

1. 湘潭大学物理与光电工程学院，湖南湘潭 411100；2. 湖南毂梁微电子有限公司，长沙 410003

收稿日期:2025-03-21 出版日期:2025-12-26 发布日期:2025-06-26
作者简介:戴湘怡（2001—），女，湖南长沙人，硕士，主要研究方向为编译优化。

Correctness Testing of Domestic DSP Compiler

DAI Xiangyi¹, WAN Jianghua^1,2

1. School of Physics and Optoelectronics, Xiangtan University, Xiangtan 411100, China; 2. HunanGreat-Leo Microelectronics Co., Ltd., Changsha 410003, China

Received:2025-03-21 Online:2025-12-26 Published:2025-06-26

摘要/Abstract

摘要： 针对国产DSP编译器的正确性展开系统性测试与分析，旨在验证其与参考编译器的代码生成功能一致性。聚焦测试用例移植与自动化测试工具开发两大核心任务，提出了一种基于参考编译器的对比验证方法。测试用例移植自LLVM和GCC标准测试集，并针对DSP芯片的硬件特性，解决了数据类型匹配、标准库兼容及测试用例代码体积过大等关键难题。开发了自动化测试工具DSPValidator，被测编译器与参考编译器的输出对比结果表明，DSPValidator支持跨平台（模拟器与物理开发板）的批量测试、结果比对及错误定位，与手工测试相比，测试效率提升33.6倍（单用例验证时间从45 min降至1.3 min），显著提高了测试效率。

关键词: 国产DSP编译器, 正确性测试, 自动化测试, 嵌入式系统

Abstract: A systematic testing and analysis of the correctness of domestic DSP compilers is conducted to verify the code generation functional consistency with reference compilers. Focusing on two core tasks of test case transplantation and automated testing tool development, a contrastive validation method based on reference compilers is proposed. Test cases are adapted from LLVM and GCC standard test suites, critical challenges such as data type matching, standard library compatibility, and excessive test case code volume are resolved by adapting them to hardware characteristics of DSP chips. An automated testing tool, DSPValidator, is developed. Comparison results between the compiler under test and the reference compiler demonstrate that DSPValidator supports cross-platform (simulators and physical development boards) batch testing, result comparison, and error localization. Compared to manual testing, it achieves a 33.6-fold improvement in testing efficiency (reducing single-case verification time from 45 min to 1.3 min), significantly enhancing testing efficiency.

Key words: domestic DSP compiler, correctness testing, automated testing, embedded system

中图分类号:

戴湘怡，万江华. 国产DSP编译器正确性测试[J]. 电子与封装, 2025, 25(12): 120205 .

DAI Xiangyi, WAN Jianghua. Correctness Testing of Domestic DSP Compiler[J]. Electronics & Packaging, 2025, 25(12): 120205 .

参考文献

[1] 荀长庆, 陈照云, 文梅, 等. 以编译为导向的Matrix-DSP程序分析与优化[J]. 计算机工程与科学, 2020, 42(10): 1791-1800.
[2] MULTANEN J, DE BRUIN B, CORPORAAL H, et al. Energy-efficient instruction compression with programmable dictionaries[J]. Design Automation for Embedded Systems, 2024, 28(3): 245-274.
[3] 李秦华, 李可. 数字信号处理器(DSP)测试方法标准研究[J]. 中国标准化, 2023(8): 152-155.
[4] 何群. C编译器自动测试工具的剖析与移植[J]. 计算机工程, 2004, 30(20): 95-97.
[5] 谢凌峰, 武新郑, 王建超. 基于ATE的千兆以太网收发器芯片测试方法[J]. 电子与封装, 2023, 23(11): 110102.
[6] KUMAR A. DSP-MLIR: a compiler for digital signal processing in MLIR[D]. Tempe: Arizona State University, 2024.
[7] PAPAPHILIPPOU P. FPGA-extended modified Harvard architecture[EP/OL]. [2025-11-14]. https://www.researchgate.net/publication/359390375_FPGA-extended_Modified_Harvard_Architecture.
[8] AHMADPOUR S S, NAVIMIPOUR N J, AIN N U, et al. Design and implementation of a nano-scale high-speed multiplier for signal processing applications[J]. Nano Communication Networks, 2024, 41: 100523.
[9] 李凌, 李璜华, 王生原. 在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程[J]. 计算机科学, 2020, 47(6): 8-15.
[10] AMRUTH S J, NIGELESH T M, SHRUTHIK V S, et al. A quantum computation language-based quantum compiler[C]//2024 15th International Conference on Computing Communication and Networking Technologies (ICCCNT), Kamand, India, 2024: 1-8.
[11] 李博诺, 王博, 陈明达, 等. 基于大语言模型的C程序单元测试方法[J]. 空间控制技术与应用, 2025, 51(1): 115-122.
[12] Chen Z CH, Chen J J, Wang W J, et al. Exploring better black-box test case prioritization via log analysis[J]. ACM Transactions on Software Engineering and Methodology, 2023, 32(3): 1-32.
[13] 孙海燕, 陈跃跃, 王峰, 等. TI DSP C语言编译器正确性测试[J]. 计算机科学, 2015, 42(S1): 513-515.
[14] 耿言, 陈英, 史晋. C编译器自动测试仿真研究[J]. 计算机仿真, 2003, 20(10): 139-142.
[15] BECHO J, CERVEIRA F, LEIT?O J, et al. TESRAC: a framework for test suite reduction assessment at scale[C]//2022 IEEE Conference on Software Testing, Verification and Validation (ICST), Valencia, Spain, 2022: 174-184.
[16] ZHONG H. Enriching compiler testing with real program from bug report[C]//Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, Rochester MI USA, 2022: 1-12.
[17] GAO F J, CHEN H Y, ZHOU Y W, et al. Shoot yourself in the foot—efficient code causes inefficiency in compiler optimizations[C]// 2024 39th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, USA, 2024: 1846-1857.

中国半导体行业协会封装分会会刊

中国电子学会电子制造与封装技术分会会刊

国产DSP编译器正确性测试

Correctness Testing of Domestic DSP Compiler

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

编辑推荐

Metrics

本文评价

[1]	侯庆庆;刘凯;李文学. 一种CPU芯片功能自动测试平台的设计[J]. 电子与封装, 2021, 21(11): 110202-.
[2]	章慧彬. 测试成本的挑战及对策[J]. 电子与封装, 2018, 18(5): 5-7.