【摘 要】
：
自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执行测试用例时的真实情况.本文针对Java语言设
【机 构】
：
中国科学技术大学计算机科学与技术学院,合肥,230026中国科学技术大学计算机科学与技术学院,合肥230026;安徽省计算与通讯软件重点实验室,合肥230026;
论文部分内容阅读
自动化生成高质量测试用例是软件测试的核心问题.随机测试能快速生成大量测试用例.程序不变量作为程序中保真的属性,能反映程序执行测试用例时的真实情况.本文针对Java语言设计实现了带预设值的随机测试用例自动生成器,并利用不变量提取技术进行约简,实现了高质量测试用例的全自动化生成和约简.实验证明,本文实现的技术有效提高了随机测试的代码覆盖率；测试用例约简效果明显；并能有效揭示程序中的错误..
其他文献
文章介绍了可信计算的基本概念,给出嵌入式系统可信计算的硬件设计要求,具体阐述其中CPU和可信平台模块设计思路。
建筑工程项目管理的水平高低对建筑施工企业的核心竞争力有很大影响,为提升企业核心竞争力,就必须加强对建筑工程项目管理的创新.建筑工程施工过程中的质量管理与控制需要从
论文首先简要分析了SNMP协议的安全性,针对SNMPv1和SNMPv2c,介绍了其存在的一个主要漏洞,默认团体字符串的配置漏洞。SNMPv1和SNMPv2c都是基于团体字符串进行访问控制的,变量的读写操作需要各自的团体字符串,默认的设置分别为public(只读)和private(读/写),并且在网络中以明文传输。文中介绍了如何对这一漏洞进行探测,并获取敏感信息。最后介绍了如何防范。
电力计量工作之所以重要,是因为电力计量直接关系到供电企业的经营效益,关系到企业的生存和发展.如果电力计量出现问题,对于供电企业来说将会受到非常大的影响.通过分析电力
随着互联网的普及和网页数量的飞速增长,搜索引擎已经成为从网上获取信息的首选工具.然而,目前主流的搜索引擎在响应用户提交的检索请求时,往往以较长的一维列表形式分页展示
目前空调系统由于空调保温的施工质量造成的影响非常巨大.随着建筑施工技术的全面发展,暖通空调系统施工越来越具有隐蔽性.这就使得日后对不合格保温工程的整改、修复工作变
在建筑工程施工中,岩土工程勘察是整个工程施工重要的构成部分,工作人员通过对施工现场的进行勘察,能够为工程的设计以及施工提供相应的数据信息,保证相关工作开展的有序性.
R大素数的选取是构造RSA密钥的关键。文章介绍了几种可行的大素数生成方法,给出了快速生成大素数的有效方法,并给出了用计算机实现相应算法的步骤。
容错技术广泛应用于各个行业来保证系统的冗余和可靠性。文章在分析比较当前的双机容错系统的性能优缺点后,提出了一种全新的基于“层”模式的双机容错系统解决方案。按照这种模式,可以从链路层到应用层构建一个通用的系统级的双机容错系统。文章对其实现的关键技术进行了阐述。
针对现有基于混沌系统的图像加密算法密钥敏感度性能较差的问题,提出一种基于混沌非线性自适应滤波器的彩色图像加密算法。首先,将明文图像分解为3个颜色通道,分别进行非线性滤波处理;然后,将明文像素分别进行置乱变换、线性与非线性变换三次变换,从而获得了较好的置乱效果与直方图均匀性。仿真对比实验结果表明,本方法具有强安全性,密钥敏感度远优于现有基于混沌系统的图像加密算法。