Testing Method of Embedded Software Based on DSP

doi:10.3969/j.issn.1006-2475.2014.10.015

Abstract

Abstract: Because of perfect efficiency and real-time performance, embedded system based on DSP is applied to many fields, like communication, military industry, and aviation. However, the hardware environment of embedded software is complex. There is no effective methods or tools of embedded software testing. In this paper, the point of embedded software testing based on DSP is analyzed deeply. The general method of embedded software testing based on DSP is introduced with the case of LDRA Testbed. And at last, the validity of the testing method by using LDRA Testbed is verified.


Key words: DSP, embedded software, test, LDRA Testbed

CLC Number:

TP311.5

YANG Ke-yao， ZHANG Xiao-fang， ZENG Lei-jie. Testing Method of Embedded Software Based on DSP[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2014.10.015.

References

［1］ Li Yuan, Liu Dan. The application of Testbed Tbrun in unit test of aviation software［C］// Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering(ICCSEE), 2013. 2013:3745-3749.
［2］袁阳,槐博超,陈巨龙. 基于VxWorks平台的嵌入式实时软件测试方法［J］. 船电技术， 2010,30(8):16-18.
［3］王泉. 基于Tornado的嵌入式软件单元测试［J］. 计算机工程与设计， 2012,33(7):2683-2689.
［4］胡丹瑞. 基于LDRA Testbed的软件静态测试研究与实现［J］. 计算机安全， 2012(6):69-71.
［5］李中萍,岳海,薛静. LDRA Testbed在航天软件测试中的应用［J］. 航天控制， 2007,25(2):73-77.
［6］上海创景计算机系统有限公司. LDRA Testbed技术说明［Z］. 上海创景计算机系统有限公司, 2010.
［7］ Li Zhen, Liu Bin, Ma Ning, et al. Formal testing applied in embedded software［C］// IEEE 8th International Conference on Reliability, Maintainability and Safety, 2009. 2009:697-702.
［8］ Liggesmeyer P, Trapp M. Trends in embedded software engineering［J］. Software, IEEE, 2009,26(3):19-25.
［9］徐润德,陈亚,赵慕奇. 基于LDRA Testbed的软件单元测试［J］. 海军航空工程学院学报， 2011,26(3):356-360.
［10］陈能技. 软件测试技术大全［M］. 北京:人民邮电出版社， 2008:35-39.
［11］梅尔斯. 软件测试的艺术［M］. 2版. 北京:机械工业出版社， 2006:67-71
［12］刘春裕,王蕾. 基于LDRA的嵌入式软件覆盖率测试方法［J］. 电脑知识与技术， 2009,5(34):9843-9845.
［13］刘颖. 工业嵌入式智能仪表软件测试技术的研究［D］. 上海:华东理工大学， 2012.
［14］邹会荣. 基于LDRA Testbed的飞机中央维护系统覆盖测试［J］. 航空计算技术， 2010,40(5):91-94.
［15］杨一波. 无人机飞行控制软件测试技术研究［D］. 南京:南京航空航天大学， 2008.
［16］刘颖,王英,刘漫丹. 嵌入式软件的覆盖测试［J］. 自动化仪表， 2012,33(6):63-66.
［17］尤艺. 基于LDRA Testbed的汇编语言软件测试方法研究［J］. 航天控制， 2004,22(5):77-81.

[1]	LI Ying-ying, HUANG Wen-pei. View Frustum Culling Algorithm for Scene Based on Optimized Octree [J]. Computer and Modernization, 2024, 0(01): 103-108.
[2]	BAI Xiao-bo, JIANG Meng-xi, WANG Tie-shan, SHAO Jing-feng, LI Bo, . Improved Harris Hawks Optimization Algorithm Based on Cluster Centroid and#br# Exponential Decline Method#br# [J]. Computer and Modernization, 2023, 0(12): 30-35.
[3]	HAN Xue. Multi Path Planning Based on Constrained Clustering and Particle Swarm Optimization [J]. Computer and Modernization, 2023, 0(08): 7-11.
[4]	YAN Jia-cheng, YIN Kai-ou. Minimization of Test Suite of RESTful API in Cyber-Physical System Based on NSGA-Ⅱ [J]. Computer and Modernization, 2022, 0(11): 111-118.
[5]	KOU Lu-yan, LIAO Jing, LI Xue-jun, WU Chang-shu, XIONG Jian-hua. Climate Change Prediction in Canada Based on VAR Model [J]. Computer and Modernization, 2022, 0(10): 13-18.
[6]	HUANG Yi-hu, YU Ya-nan. Anti-collision Shortest Path Planning Based on Improved Dijkstra Algorithm [J]. Computer and Modernization, 2022, 0(08): 20-24.
[7]	XIAN Jin. Android Application Performance Testing and Monitoring Technology [J]. Computer and Modernization, 2022, 0(07): 103-109.
[8]	ZHAO Chun-yan, SUN Jing, HU Jiang-kai, ZHOU Bin. R&D Collaborative Management of Meteorological Model in High Performance Computing [J]. Computer and Modernization, 2022, 0(06): 49-55.
[9]	QI Zhan-shuo, GAO Yan-dong. Multi-step Prediction Method of Vehicle Trajectory for Eliminating Communication Delay [J]. Computer and Modernization, 2022, 0(05): 114-118.
[10]	JIN Xin, ZENG Si-ke, LIU Yang, WU Chu-han. Mask Wearing Detection Algorithm Based on Improved YOLOv4 [J]. Computer and Modernization, 2022, 0(01): 85-90.
[11]	CHEN Chun-yan, LIU Meng-chi. Intelligent Test Paper Generation Strategy Based on Particle Swarm Optimization Genetic Algorithm [J]. Computer and Modernization, 2021, 0(08): 16-23.
[12]	WANG Yan, QIAN Ju. Non-intrusive GUI Input Item Recognition Based on Visual Feature [J]. Computer and Modernization, 2021, 0(08): 46-51.
[13]	WU Cong-yun, LIU Bin, LI Hai-yong, XU Xiao-feng. Intelligent Test System of Terminal Equipment of Relay Protection Information System [J]. Computer and Modernization, 2021, 0(07): 1-5.
[14]	JIANG Jing-jie, XU Luo, LI Ning. Method of Metamorphic Testing for Image Recognition System Based on GAN [J]. Computer and Modernization, 2021, 0(02): 24-29.
[15]	LI Hai-hao, WU Ya-feng, WANG Xiao-qiang. Application of Timed Petri Net in Penetration Testing [J]. Computer and Modernization, 2020, 0(10): 110-115.