Method of software testing based on program understanding

The large scale software system requires computational management techniques in engineering designs, implementations and maintains urgently. This paper discusses an approach of program understanding with mathematical foundations for computation of software behavior. Computational analyses automatically figure out possible behavior and security attributes of software components both for source files and binary executes. The results of program understanding in formula and concurrent assignments forms augment human intelligence in program analysis, testing and evaluation. Program understanding transforms specification verification, software product and security attribute into computational procedure that would achieve intelligent management in next generation Software Engineering.