Comparing program to requirement and design using language acceptance

In this article, a complete solution for behavior model comparison is proposed. In our solution, the graph comparison problem is reduced to language acceptance, which can make use of the structures of program sources and recovering methods of parsing techniques, so that the whole procedure is clear and easy to implement. Since the preparation for comparison needs to perform manually, a technique called behavior coverage estimation is proposed to predict potential problems quickly in preparation. Finally, some practical problems are discussed with viable solutions.