论文部分内容阅读
从类的源代码中抽象出类的所有状态来减少系统状态及其行为，根据抽象后的类状态，设置JPF搜索环境，裁剪类方法测试序列生成时的搜索分支，提出了一种类测试用例生成方法。实验结果表明，该方法能够有效地减少类测试用例生成时间。
运用抽象技术和JPF生成类测试用例方法
【摘 要】
：
从类的源代码中抽象出类的所有状态来减少系统状态及其行为，根据抽象后的类状态，设置JPF搜索环境，裁剪类方法测试序列生成时的搜索分支，提出了一种类测试用例生成方法。实验结果
【机 构】
：
广西大学计算机与电子信息学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2009年23期
【基金项目】
：
广西科学基金（No挂科自0728033）,广西研究生教育创新计划.
其他文献
随着生产自动化程度的提高,机器人在工业生产中的应用愈加普遍。四自由度SCARA机器人是工业机器人中应用很广的平面装配机器人。本文根据课题设计了一种四自由度SCARA平面装
通过理论分析建立了加入蓄能器后阀控液压系统的数学模型,从理论和仿真角度研究了蓄能器对带长管道的阀控液压系统动态特性的影响.得出了一些结论,为同类系统的设计与分析提
目的系统评价中药保留灌肠治疗病毒性肝炎的疗效。方法计算机检索Cochrane图书馆、PubMed、EMbase、VIP、CNKI、CBM和WanFang Data中关于中药保留灌肠治疗病毒性肝炎的随机对
文言文是高中语文教学的重要组成部分,以《陈情表》为例,谈谈高中文言文教学过程。一、说教材《陈情表》出自于人教版教材必修五第二单元,是抒情散文。体现出我国古代抒情散
利用铅－碘络合物在离子交换树脂相进行分光光度测定，２００ｍｌ试液中，５￣１００μｇ铅服从Ｂｅｅｒ定律，铋的干扰用ＤＴＰＡ－Ｃｕ消除。应用于水样中铅的测定，方法简便快速。
提出了在纸币高速运行条件下对纸币图像进行快速可靠的识别和系统实现方法。清分机是一种自动纸币整理机具。纸币图像分析技术是清分机的核心技术。该系统是光机电一体化的设
模糊C均值算法（FCM）在聚类分析中是目前比较流行和应用比较广泛的一种算法。但它存在两个弱点：一是对初始化非常敏感,容易陷入局部极值点;二是处理大数据集时耗时太长。基于RNA
基于牛顿前向插值公式提出一种对任意阶多维函数可实现高精度逼近的新型联想记忆系统——NFI—AMS，详细讨论了其基本原理、插值算法及训练规则。利用NFI—AMS良好的非线性逼近
Li等人提出了一个基于离散对数的门限签名方案，此方案很有效地防止了合谋攻击。但Michels和H0rster成功地对Li等人的方案伪造了一个有效的签名，从而证明了此方案的不安全性。在
视频水印技术是保护数字视频版权的一种有效方法。提出一种基于3DDWT的彩色视频水印算法,按场景以16帧划分视频,在各子段YCbCr颜色空间上对Y分量进行二级三维小波变换,利用三维小波低频帧间系数相近而不相同的特性进行水印嵌入,并实现了水印的盲提取。实验结果表明,该算法在保证含水印视频图像质量的同时具备良好的鲁棒性,对各种视频几何攻击及MPEG压缩均具有较强的抵抗能力。