首页> 中文期刊> 《计算机与现代化》 >一种区间型程序不变量检测方法

一种区间型程序不变量检测方法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

程序不变量的发现是提高软件质量的一种有效方法.静态分析是发现程序不变量的一个研究方向.本文以数学理论为基础,结合图形化方法,对区间型不变量给出一种简单有效的静态分析方法,阐述其检测过程,并用实例进行验证说明.

著录项

来源
《计算机与现代化》 |2010年第3期|184-187|共4页
作者
陈才;
展开▼
作者单位

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

湖南;

衡阳;

421001;

展开▼
原文格式 PDF
正文语种 chi
中图分类调整、测试、校验;
关键词
程序不变量; 静态分析; 图形化方法;

相似文献

中文文献
外文文献
专利

1. 一种函数依赖程序不变量动态检测方法 [J] . 刘树锟 ,阳小华 . 微电子学与计算机 . 2008,第7期
2. 一种基于不变量的软错误检测方法 [J] . 马骏驰 ,汪芸 . 软件学报 . 2016,第002期
3. 一种基于颜色不变量和PHOG特征的交通标志检测方法 [J] . 周广波 ,李豪杰 . 计算机应用与软件 . 2014,第008期
4. 一种基于微分不变量的图像变化检测方法 [J] . 房自立 ,陈涛 ,周石琳 . 计算机仿真 . 2007,第009期
5. 交通行业基于业务型数据库性能分析的一种程序优化检测方法 [J] . 郭尽朝 ,阿娜 ,高子琴 . 中国信息化 . 2021,第009期
6. 一种面向模糊测试的GUI程序空转状态实时检测方法 [C] . Zhang Xing ,张兴 ,Feng Chao . 第十六届全国软件与应用学术会议 . 2017
7. 基于关系数据理论的函数型程序似然不变量动态检测方法 [A] . 刘杰 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号