Method of software testing based on program understanding

@article{Tang2010MethodOS,
  title={Method of software testing based on program understanding},
  author={Heping Tang and Shuguang Huang and Lei Bao and Yongliang Li},
  journal={2010 The 2nd International Conference on Computer and Automation Engineering (ICCAE)},
  year={2010},
  volume={2},
  pages={811-814}
}
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… CONTINUE READING
0 Extracted Citations
7 Extracted References
Similar Papers