DocumentCode
1972712
Title
A Method of Dynamical Analyzing the Program
Author
Liu Shukun
Author_Institution
Dept. of Comput. Sci. & Technol., Hunan Int. Econ. Univ., Changsha, China
fYear
2010
fDate
22-23 June 2010
Firstpage
102
Lastpage
104
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICICCI.2010.47
Filename
5566027
Link To Document