Dynamic Testing of C Program Interfaces Based on FSM Modeling

Abstract

The availability of dynamic code analysis along with the application of modeling techniques can significantly improve formal software testing activity. It quickly provides an overview of how a particular piece of code is working. In software modeling, different approaches are used to visualize the input/output behavior of a computer program. In this paper, we propose a dynamic testing approach based on Finite State Machine (FSM) modeling techniques to model the potential behavior of functions in C programs. We use dynamic code analysis technique with the help of an inference algorithm for test generation. Our approach helps not only in learning program behaviors as a finite state model but also facilitates in testing the program systematically. We have performed experiments on a range of open source C programs that has shown the effectiveness of our proposed approach, especially for anomaly detection.