咨询与建议

限定检索结果

文献类型

  • 6 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 工学
    • 7 篇 计算机科学与技术...
    • 6 篇 软件工程

主题

  • 7 篇 程序断言
  • 2 篇 程序不变量
  • 1 篇 谓词逻辑
  • 1 篇 免疫
  • 1 篇 程序证明
  • 1 篇 程序设计
  • 1 篇 序验证
  • 1 篇 契约
  • 1 篇 关联属性
  • 1 篇 hoare逻辑
  • 1 篇 动态更新
  • 1 篇 赋值公理
  • 1 篇 动态侦测
  • 1 篇 java建模语言
  • 1 篇 行为接口规范语言
  • 1 篇 软件可靠性
  • 1 篇 程序正确性
  • 1 篇 合约
  • 1 篇 推理规则
  • 1 篇 更新点选择

机构

  • 3 篇 南华大学
  • 2 篇 湖南涉外经济学院
  • 1 篇 南京大学
  • 1 篇 华中师范大学
  • 1 篇 武汉大学
  • 1 篇 衡阳南华大学

作者

  • 4 篇 阳小华
  • 3 篇 刘杰
  • 3 篇 刘树锟
  • 1 篇 彭浩
  • 1 篇 黄万徽
  • 1 篇 何锫
  • 1 篇 罗江琴
  • 1 篇 康立山
  • 1 篇 谢国珍
  • 1 篇 吴取劲
  • 1 篇 陈继锋
  • 1 篇 罗扬

语言

  • 7 篇 中文
检索条件"主题词=程序断言"
7 条 记 录,以下是1-10 订阅
排序:
程序断言动态检测工具的设计与实现
收藏 引用
计算机应用研究 2009年 第11期26卷 4140-4142页
作者: 刘树锟 阳小华 陈继锋 彭浩 湖南涉外经济学院计算机科学与技术学部 长沙410205 南华大学计算机学院 湖南衡阳421001
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设... 详细信息
来源: 评论
一种基于断言的软件动态更新技术
一种基于断言的软件动态更新技术
收藏 引用
作者: 谢国珍 南京大学
学位级别:硕士
应用程序生命周期中需要不断进行更新,以修复程序中的错误、添加新的功能、适应环境和需求的变化。传统更新方式需关闭应用程序、安装更新、然后重启新版本的应用程序,但很多应用程序需要不间断的运行。软件动态更新不需要关闭应用程序... 详细信息
来源: 评论
程序断言的半自动生成及证明逻辑
收藏 引用
计算机工程与应用 2008年 第14期44卷 18-20,30页
作者: 何锫 康立山 武汉大学软件工程国家重点实验室 武汉430072
如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生成方法。为便于理解,讨论主要以XYZ/VERI系统为论述背景。XYZ/... 详细信息
来源: 评论
基于演进思想的程序断言动态发现模型研究
收藏 引用
信息技术 2008年 第5期32卷 10-12,107页
作者: 吴取劲 阳小华 罗扬 刘杰 南华大学计算机科学与技术学院 衡阳421001
程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机... 详细信息
来源: 评论
Java建模语言在程序不变量动态发现过程中的应用
收藏 引用
计算机工程与设计 2007年 第18期28卷 4536-4538,4545页
作者: 刘树锟 阳小华 刘杰 湖南涉外经济学院计算机科学与技术学部 湖南长沙410205 南华大学计算机科学与技术学院 湖南衡阳421001
通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产... 详细信息
来源: 评论
基于合约的似然程序不变量动态发现
收藏 引用
微计算机信息 2006年 第10X期22卷 233-235,300页
作者: 刘树锟 阳小华 罗江琴 刘杰 衡阳南华大学计算机科学与技术学院 湖南衡阳421001
本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断... 详细信息
来源: 评论
谓词逻辑在程序正确性证明中的应用
收藏 引用
高等函授学报(自然科学版) 1997年 第6期10卷 48-53页
作者: 黄万徽 华中师范大学计算机科学系
现代计算机中的程序规模越来越大,复杂程度越来越高,如何保证程序的正确性也就越来越重要。一般认为程序的正确性可通过程序调试而获得保证,其实不然。调试可以发现程序的错误,但不能保证程序正确,因为在调试时只能选取有限次初值... 详细信息
来源: 评论