基于合约的程序分析技术研究

• 作者: 李冠雄
• 来源期刊: 现代电子技术
• 关键词: 合约 断言 程序不变量 程序动态分析
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 软件技术
• 页码范围: 31-33,36
• 分类号: TN919-34
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2012.12.011

摘要

为了更好地保证并提高计算机软件质量,在软件设计过程中采用了合约式程序设计方法.以大量程序运行轨迹数据为基础,以SQL Server 2005为实验平台,在大量详实的检测程序中对类与类之间、变量之间以及接口与类之间的关系进行了程序动态分析实验.实验表明,在函数的入口处或者在类的开始点检测程序中应保持的隐含性质是相对较好并且合理的的检测位置.通过利用合约进行程序动态分析的基本过程,是一种新的软件质量保证的思维模式,利用这种模式可以进一步提高软件质量,从而保证软件的可用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李冠雄	湖南涉外经济学院实验中心	3	1	1.0	1.0