Research of Software Test Technology in Airborne Software Based on GCC

Lin Lan Liu; Xiang Xian Yu; Xin Fan; Jian Shu

doi:10.4028/www.scientific.net/AMR.977.447

Paper Titles

Applied Technology in Dynamics Study for Projecting Deployment of a New Anti-Riot Net
p.425

Applied Technology in Image Retrieval via 8-Direction Gaussian Density in the DCT Domain
p.431

The Application of Stress Testing and Applied Technology in Credit Risk Management
p.435

Research on Applied-Information Technology in Reformation System of the Physical Examination Mode of School Infirmaries
p.442

Research of Software Test Technology in Airborne Software Based on GCC
p.447

Research on Applied-Information Technology with Inter-Partition Integration Testing Strategy under IMA Architecture
p.454

Research on Information Engineering with Information Technology for E-Learning Based on Face Recognition
p.460

An Information Retrieval Expansion Model Based on Wikipedia
p.464

Information Technology in Intelligent Warehouse Management System Based on ZigBee
p.468

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 977Research of Software Test Technology in Airborne...

Research of Software Test Technology in Airborne Software Based on GCC

Abstract:

It was researched that the aviation embedded airborne software testing , because of software quality and reliability assurance.In order to improve the efficiency of testing of airborne software, for airborne software features, this paper propose a method that achieves the coverage test and basic ways search taking compiler GCC technology to complete the program automatic instrumentation. The method leverages airborne software test process automation in terms of modifying compiler GCC to make instrumentation automatically.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 977)

Pages:

447-453

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.977.447

Citation:

Cite this paper

Online since:

June 2014

Authors:

Lin Lan Liu, Xiang Xian Yu*, Xin Fan, Jian Shu

Keywords:

Airborne Software, GCC, Program Instrumentation, Software Testing

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] YOU Hai-feng, Liu Yu. Application Analysis of and Development Suggestion for IMA System on Large Civil Aircrafts,. Telecommunication Engineering53. 1 (2013): 110-116. (in Chinese).

Google Scholar

[2] HOU Chenguang, Wang Qihua. UML Layered Model Based Test Case Generation of Aviatic Software Reliability Test ,. (in Chinese).

Google Scholar

[3] JIN Ping, ZHANG Xiao-chun. Airborne Software Reliability Design Based on D0-178B,. Software 33. 6(2012): 44-47. (in Chinese).

Google Scholar

[4] Wang Jun. Research on The Measurement-Based Aviation Airborne Software Quality Control,. University of Electronic Science and Technology of China. 2012 (in Chinese).

Google Scholar

[5] LIN Cheng Wen. Airborne Software Graphical Design And Automatic Code Generation Research ,. Northwestern Polytechnical University, 2007. (in Chinese).

Google Scholar

[6] ZHANG Xiao-chun, JIN Ping, SUN Quan-yan. Modeling and Auto-generation of C code on SCADE bench,. Software 32. 5(2011): 74-77. (in Chinese).

Google Scholar

[7] Prisaznuk, Paul J. Arinc 653 role in integrated modular avionics (IMA)., Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th. IEEE, (2008).

DOI: 10.1109/dasc.2008.4702770

Google Scholar

[8] Easwaran, Arvind, et al. A compositional scheduling framework for digital avionics systems. " Embedded and Real-Time Computing Systems and Applications, 2009. RTCSA, 09. 15th IEEE International Conference on. IEEE, (2009).

DOI: 10.1109/rtcsa.2009.46

Google Scholar

[9] Wagle, Perry, and Crispin Cowan. Stackguard: Simple stack smash protection for gcc., Proceedings of the GCC Developers Summit. (2003).

Google Scholar

[10] Wan Yong chao, Zhao Hongbin, Dong Yunwei. Study on Safety Testing towards Aeronautic Airborne Software,. Computer Measurement & Control, 2010 (5): 1017-1020. (in Chinese).

Google Scholar

[11] Song Yang Xiang. Aviation Embedded Airborne Software Testing Automatic Quality Assurance Research,. University of Electronic Science and Technology of China, 2008. (in Chinese).

Google Scholar

[12] LIN Li, Wang Yi Gang, Ye Fei. Extracting the Static Information From C/C++ Source Code Based on GCC,. Computer & Digital Engineering, 2011. (in Chinese).

Google Scholar

[13] Wang Xiangdong, Zhang Yikun. Analysis of the C++ Source Program Structure Based on GCC Abstract Syntax Tree,. Computer Engineering and Applications, 2006. (in Chinese).

Google Scholar