Analysis of Embedded Software Based on Program Slicing

• Main Authors: Wei-Yu Chen, 陳威諭
• Other Authors: Chien-Hung Liu
• Format: Others
• Language: zh-TW
• Published: 2011
• Online Access: http://ndltd.ncl.edu.tw/handle/9maqk5

碩士 === 國立臺北科技大學 === 資訊工程系研究所 === 99 === As embedded systems have become an indispensable part of our life and are gaining importance with increasingly complexity, there is a growing concern about the quality of embedded software, the essential part of an embedded system. However, the design of embedded software strongly depends on the hardware and operating system, which makes embedded software complex and difficult to understand and analyze. Thus, debugging and testing embedded software are considered challenging. To facilitate analyzing and testing of embedded software, this thesis applies program slicing technique to embedded software to extract critical dependence information. In particular, the program slices corresponding to the variables regarding hardware registers and system calls and to the variables shared by concurrent threads are extracted. The related program dependence graph (PDG) and system dependence graph (SDG) are constructed in order to support various dependence analysis for those variables, such as data, control, and interference dependences. Such dependence information and analyses can be very useful not only for embedded program debugging, but also for embedded program regression testing for ensuring that the changes of program affected by updating the target boards and/or operating systems are correct. In addition, a tool is developed to support program slicing for embedded software. The tool can automatically extract the dependence information and construct corresponding dependence graphs in order to facilitate embedded software debugging and testing.