Title :
A Method of Dynamical Analyzing the Program
Author_Institution :
Dept. of Comput. Sci. & Technol., Hunan Int. Econ. Univ., Changsha, China
Abstract :
The problem of software quality assurance has been a significant and hot issue today. The technology of program designing based on the contract is very important and efficient. In this paper, the method of design by contract was described, and the process of dynamical analyzing of the program which is based on the contract was showed. Finally, a method of program quality assurance was presented in a new way.
Keywords :
software quality; dynamical analyzing; program designing; program quality assurance; software quality assurance; Contracts; Documentation; Performance analysis; Software quality; Testing; assertion; compile; dynamical analyzing; program invariant;
Conference_Titel :
Intelligent Computing and Cognitive Informatics (ICICCI), 2010 International Conference on
Conference_Location :
Kuala Lumpur
Print_ISBN :
978-1-4244-6640-5
Electronic_ISBN :
978-1-4244-6641-2
DOI :
10.1109/ICICCI.2010.47
