程序不变量

作品数：31被引量：30H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：阳小华刘树锟刘杰曾凡平吴取劲更多>>
相关机构：南华大学中国科学技术大学浙江理工大学湖南涉外经济学院更多>>
相关期刊：《计算机工程与设计》《计算机与现代化》《计算技术与自动化》《南华大学学报（自然科学版）》更多>>
相关基金：湖南省自然科学基金国家自然科学基金湖南省教育厅科研基金安徽省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于合约的程序不变量动态检测模型研究被引量：1
《计算机工程与设计》2008年第23期6177-6180,共4页刘树锟 阳小华 
湖南省教育厅基金项目(08C516);湖南省自然科学基金项目(05JJ30117)。
讨论了程序不变量的内涵,研究并建立了程序不变量动态生成系统的理论模型。主要描述基于合约的似然程序不变量发现的基本理论模型,以及程序不变量发现的主体过程,并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方...
关键词：程序不变量 合约 关联属性 动态发现 模型 
基于不变量的程序运行保护方法
《计算机工程与设计》2008年第5期1069-1071,1075,共4页王勇 曾庆凯 
国家自然科学基金项目(60473053);国家863高技术研究发展计划基金项目(2006AA01Z432);江苏省自然科学基金项目(BK2005074)
程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行。该方法根据检测出的程序不变量,配置程序保护策略。运行环境支持对程序插装保护代码...
关键词：程序不变量 动态监控 运行保护 保护策略 保护代码 
Java建模语言在程序不变量动态发现过程中的应用
《计算机工程与设计》2007年第18期4536-4538,4545,共4页刘树锟 阳小华 刘杰 
湖南省自然科学基金项目(05JJ30117)。
通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产...
关键词：程序不变量 Java建模语言 重载 行为接口规范语言 契约 程序断言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部