Analysis of Embedded Software Based on Program Slicing
碩士 === 國立臺北科技大學 === 資訊工程系研究所 === 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 embed...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
2011
|
Online Access: | http://ndltd.ncl.edu.tw/handle/9maqk5 |
id |
ndltd-TW-099TIT05392055 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-TW-099TIT053920552019-05-15T20:42:46Z http://ndltd.ncl.edu.tw/handle/9maqk5 Analysis of Embedded Software Based on Program Slicing 基於程式切片的嵌入式軟體分析 Wei-Yu Chen 陳威諭 碩士 國立臺北科技大學 資訊工程系研究所 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. Chien-Hung Liu 劉建宏 2011 學位論文 ; thesis 81 zh-TW |
collection |
NDLTD |
language |
zh-TW |
format |
Others
|
sources |
NDLTD |
description |
碩士 === 國立臺北科技大學 === 資訊工程系研究所 === 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.
|
author2 |
Chien-Hung Liu |
author_facet |
Chien-Hung Liu Wei-Yu Chen 陳威諭 |
author |
Wei-Yu Chen 陳威諭 |
spellingShingle |
Wei-Yu Chen 陳威諭 Analysis of Embedded Software Based on Program Slicing |
author_sort |
Wei-Yu Chen |
title |
Analysis of Embedded Software Based on Program Slicing |
title_short |
Analysis of Embedded Software Based on Program Slicing |
title_full |
Analysis of Embedded Software Based on Program Slicing |
title_fullStr |
Analysis of Embedded Software Based on Program Slicing |
title_full_unstemmed |
Analysis of Embedded Software Based on Program Slicing |
title_sort |
analysis of embedded software based on program slicing |
publishDate |
2011 |
url |
http://ndltd.ncl.edu.tw/handle/9maqk5 |
work_keys_str_mv |
AT weiyuchen analysisofembeddedsoftwarebasedonprogramslicing AT chénwēiyù analysisofembeddedsoftwarebasedonprogramslicing AT weiyuchen jīyúchéngshìqièpiàndeqiànrùshìruǎntǐfēnxī AT chénwēiyù jīyúchéngshìqièpiàndeqiànrùshìruǎntǐfēnxī |
_version_ |
1719103631081340928 |