收藏本站
《全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集》2004年
收藏 | 手机打开
二维码
手机客户端打开本文

软件的变量完整性测试方法

黄光燕  李晓维  
【摘要】:本文提出变量完整性测试方法来检测软件的错误,由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切的值,提高了错误检测的效率。同时,检测的范围不局限于程序最后的输出结果,而是散布在程序中的各个有意义的变量,正如调试过程中设置断点观察的那些变量,检测错误更加精准。

手机知网App
【参考文献】
中国期刊全文数据库 前1条
1 赵瑞莲,闵应骅;一种基于数据流分析的程序定义域自动确定方法[J];计算机辅助设计与图形学学报;2001年08期
【共引文献】
中国期刊全文数据库 前2条
1 吴洁;丁晓明;;基于程序切片的测试用例集约简方法[J];重庆交通大学学报(自然科学版);2010年02期
2 缪力,张大方,季洁,宣恒农;非定态路径测试问题的分析与一种转换算法[J];电子学报;2005年02期
中国博士学位论文全文数据库 前1条
1 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
中国硕士学位论文全文数据库 前1条
1 吴洁;一种基于程序切片的测试用例集约简方法研究[D];西南大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 熊瑞萍,黄永宁;使用LISP编程空间不够的问题之解决方法[J];计算机应用研究;1992年06期
2 吴文;用VB5实现试题库的随机命题[J];黄山学院学报;1999年03期
3 刘刀桂,孟繁晶,邓家褆;产品变量结构及变量化配置管理的研究[J];计算机辅助设计与制造;2001年05期
4 申定保;C语言考试中的语法结构和算法分析[J];电脑知识与技术;2004年02期
5 管致锦,张义清,邱建林,刘维富;巨大变量组合逻辑设计优化软件的研究与设计[J];计算机工程;2004年19期
6 王琦;;教育科学定量研究中的数据及数据的频数分布[J];科技信息(学术研究);2007年23期
7 何金枝;王保胜;;C语言中常见错误初探[J];福建电脑;2009年05期
8 陈凯;;如果变量是玻璃杯[J];中国信息技术教育;2009年05期
9 谈莉娅;C语言中的变量[J];电脑知识与技术;2003年05期
10 沈悦;Authorware的函数与变量简介(连载之三)[J];多媒体世界;1995年04期
中国重要会议论文全文数据库 前10条
1 黄光燕;李晓维;;软件的变量完整性测试方法[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
2 王鹏飞;张大方;缪力;;包含异常处理的Java程序切片[A];第三届中国测试学术会议论文集[C];2004年
3 高丽丽;石辛民;;减少倒立摆T-S模糊控制系统前提变量的仿真探讨[A];’2004系统仿真技术及其应用学术交流会论文集[C];2004年
4 蒋曹清;张大方;缪力;;一种回归测试后的错误定位方法[A];第三届中国测试学术会议论文集[C];2004年
5 余斌;史亮;钱巨;;程序概率依赖性分析技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
6 李卷孺;谷大武;陆海宁;;二进制代码隐秘功能的安全性验证[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
7 沈宏荣;;控制CT扫描中的变量因素提高CT图像质量[A];2009中华医学会影像技术分会第十七次全国学术大会论文集[C];2009年
8 韦继学;;如何运用Visual Foxpro与SAS软件建立高质量数据集[A];重庆市预防医学会2004年学术交流会论文集[C];2004年
9 张永刚;孙吉贵;;有穷论域约束逻辑程序设计及其应用[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
10 赵晓煜;曹忠鹏;李慢;;购物网站中的社会线索与顾客行为意向的关系研究[A];第五届(2010)中国管理学年会——市场营销分会场论文集[C];2010年
中国重要报纸全文数据库 前10条
1 重庆 天爪;认识环境变量[N];电脑报;2001年
2 王华丽;只要够用就好[N];中国电脑教育报;2002年
3 冯宗任;VFP变量的魔术[N];中国电脑教育报;2002年
4 南京邮电学院 李建忠;结构与枚举[N];计算机世界;2002年
5 安徽 云飞;提高VB程序的运行效率[N];电脑报;2001年
6 Warton;来!深入Java的第一步[N];电脑报;2004年
7 南京邮电学院 李建忠;C#语言基础[N];计算机世界;2002年
8 王珂;你想的才是你要的[N];中国电脑教育报;2002年
9 湖南大学软件学院 范梦旸 南京政治学院 钟辛;实现网络调查的高效处理[N];计算机世界;2009年
10 泥巴;require和include经典一例剖析[N];电脑报;2001年
中国博士学位论文全文数据库 前10条
1 张子坤;在线点评平台如何影响人们的消费行为?一个信息性社会影响的观点[D];中国科学技术大学;2010年
2 欧松;CIMS环境下的产品设计自动化系统的研究[D];华南理工大学;1998年
3 黄禹潇;面向复杂诊断贝叶斯网实时推理问题的离线、在线算法的研究[D];吉林大学;2012年
4 丁建完;陈述式仿真模型相容性分析与约简方法研究[D];华中科技大学;2006年
5 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
6 孙波;计算机取证方法关键问题研究[D];中国科学院研究生院(软件研究所);2004年
7 郭德贵;ATLAS语言指称语义及程序分析技术[D];吉林大学;2007年
8 张瑞雪;B2C网络商店的绑定导向研究[D];大连理工大学;2010年
9 韩艳;流动空间演进下电子商务使用意愿研究[D];北京邮电大学;2010年
10 姚剑波;基于句法分析的安全信息流[D];贵州大学;2006年
中国硕士学位论文全文数据库 前10条
1 宋永刚;馈线自动化若干软件模块的设计与实现[D];合肥工业大学;2003年
2 林科学;软件测试/调试技术应用研究[D];南京气象学院;2004年
3 孙纪玮;基于程序切片的电子海图系统软件测试技术研究[D];哈尔滨工程大学;2011年
4 时武略;基于程序切片的Java多态性研究[D];东北大学;2009年
5 王彦;银行支付系统数据一致性和完整性的研究[D];山东大学;2005年
6 张红英;基于AspectJ的Java程序切片系统的设计与实现[D];西安电子科技大学;2005年
7 何孝富;数字图像的完整性验证与自修复水印算法研究[D];上海师范大学;2004年
8 周红波;基于XML的数据库交换技术研究[D];大庆石油学院;2006年
9 苏瑞;基于程序切片的数据库变更影响分析系统的设计与实现[D];北京邮电大学;2011年
10 黄山;基于动态二进制程序切片技术的软件攻击诊断[D];上海交通大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026