An Embedded Software Analysis and Testing Tool

• Main Authors: Tien-Chi Huang, 黃田琦
• Other Authors: Chien-Hung Liu
• Format: Others
• Language: zh-TW
• Published: 2012
• Online Access: http://ndltd.ncl.edu.tw/handle/gsevqp

碩士 === 國立臺北科技大學 === 資訊工程系研究所 === 101 === Embedded software is considered the central part of an embedded system and can fundamentally affect the quality and reliability of the system. An error occurs in the critical embedded software can cause the loss of human life or damage to property. Thus, embedded software has to be tested thoroughly in order to ensure that its quality satisfies customer’s needs. In this thesis, an analysis and testing tool is presented to support the testing and debugging of embedded software. In particular, the tool can extract various test artifacts of embedded software, such as OS kernel and hardware interface signature and data usage information. It can also construct different test models including call graph and control flow graph. The extracted test artifacts and test models can be used to analyze the control structure and data dependency of embedded software for deriving test cases. Further, the tool can generate basis paths to facilitate path testing, provide an editor for writing test cases, and support automatic test execution, test result presentation, and test coverage computation. Moreover, the tool can also generate program dependence graph and system dependence graph which can be used for program debugging and understanding. The tool can also help to highlight the program statements related to a failed test case based on the notion of program slicing. This can be very valuable for locating the program errors that might cause the test case to fail. Besides, an example is provided to illustrate the effectiveness of the proposed tool for analyzing and testing embedded software.