Software testing as applied to computer controlled nuclear reactor

Abstract

In this paper, a software testing package using structural testing had been proposed and implemented. It can analyze any program written in C language. Moreover it can be applied to a wide spectrum of C-like languages. The C language had been chosen as an example for it. It makes two useful functions; one is a static analysis for the program under test and the other is a dynamic analysis for that program.