The Evaluation of the Embedded Software Quality Based on the Binary Code

Abstract

The embedded software quality is one of the hottest research aspects with the wide use of the daily embedded devices. This paper proposes a method of evaluating the embedded software quality without high-level language. Firstly, we reverse the binary code into high-level language C. Secondly, the control flow and data flow analysis are utilized to analyze the structure faults of the codes. Thirdly, we create the utilization-oriented fault models and plug in the improved CppCheck tool to chase the specified faults. Fourthly, we propose a software reliability evaluation algorithm based on trigger rate of fault to assess the quality of the embedded software. Our method is evaluated on ST chips of the smart meter, with the corresponding source code. Compared with G-O model, our software reliability evaluation method is useful and simpler.