基于合约的似然程序不变量动态发现

刘树锟; 阳小华; 罗江琴; 刘杰

首页> 中文期刊> 《科技与创新》 >基于合约的似然程序不变量动态发现

基于合约的似然程序不变量动态发现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.

著录项

来源
《科技与创新》 |2006年第10x期|233-235|共4页
作者
刘树锟; 阳小华; 罗江琴; 刘杰;
展开▼
作者单位

衡阳南华大学计算机科学与技术学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
程序不变量; 关联属性; 程序断言; 合约;

相似文献

中文文献
外文文献
专利

1. 基于合约的似然程序不变量动态发现 [J] . 刘树锟 ,阳小华 ,罗江琴 . 微计算机信息 . 2006,第10X期
2. 基于合约的程序不变量动态检测模型研究 [J] . 刘树锟 ,阳小华 . 计算机工程与设计 . 2008,第023期
3. 函数依赖似然不变量发现方法研究 [J] . 刘杰 . 现代计算机（专业版） . 2008,第005期
4. 一种基于GEP的程序不变量动态发现方法 [J] . 郭培甲 ,吴取劲 . 南华大学学报（自然科学版） . 2016,第004期
5. 基于GEP的线性指数函数型程序不变量动态发现方法 [J] . 阳小华 ,黄彩霞 . 南华大学学报（自然科学版） . 2012,第001期
6. 基于极大似然法的动态航迹预测 [C] . XU Qin ,徐琴 ,TANG Xinmin . 第四届中国航空学会航空通信导航监视及空管学术会议暨航电与空管分会2013年学术年会（CCATM2013） . 2013
7. 基于GEP的函数型似然程序不变量发现方法 [A] . 吴取劲 . 2009

基于合约的似然程序不变量动态发现

摘要

著录项

相似文献

相关主题

期刊订阅