现代电子技术2012，Vol.35Issue(12)：31-33,36,4.
基于合约的程序分析技术研究
Research of program analyzing technology based on contract
李冠雄1
作者信息
- 1. 湖南涉外经济学院实验中心,湖南 长沙 410205;湘潭市昭山农药厂,湖南 湘潭 411103
- 折叠
摘要
Abstract
In order to guarantee and improve the quality of the computer software, the way of contract-based program design was adopted in software design. The program dynamic analysis experiments of relation between kinds, between variables, and between interface and kind were conducted by taking mass program running trajectory data as a foundation and Sql Server2005 as the experimental platform. The experiments indicate that testing the attribute maintaining in the testing program at the entrance of function or at the initial point is reasonable. To perform the program dynamic analysis through contracts is a new thinking mode for ensuring the software quality. The software quality can be improved by this thinking mode.关键词
合约/断言/程序不变量/程序动态分析Key words
contracts assertion/programinvariant/dynamic analysis of program分类
信息技术与安全科学引用本文复制引用
李冠雄..基于合约的程序分析技术研究[J].现代电子技术,2012,35(12):31-33,36,4.
