A Study on Analysis Support Tools for Unexpected Obstacle Specification of Embedded Software

点击翻译按钮获取中文摘要

In order to improve the quality of embedded software, we studied the analysis method for extracting unexpected obstacles such as exceptions and failures. The method integrates the Embedded Systems Improving Method(ESIM) using an Analysis Matrix, and a method that uses an Information Flow Diagram(IFD). The former is a statical requirement analysis method focused on the flow of information, the latter is a dynamical analysis method focused on the state transition model. We also introduced practical techniques to decrease the analysis scope in the integrated method.