【摘 要】
：
字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法.针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方
【基金项目】
：
国家自然科学基金项目（61073035、61170082）
论文部分内容阅读
字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法.针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法.将测试数据候选字符集中的字符通过取余编码转换为整数;将目标路径上字符串约束转换成整数约束,通过约束求解获得中间解;采用搜索算法生成字符串测试数据.该方法能很好地减小字符串的搜索范围,有效地减少搜索算法的执行时间.实验结果表明,该方法达到了预期的效果,提高了测试数据生成效率.
其他文献
以河北、内蒙、辽宁三省交界处的中低品位磷铁矿精选后的磷精矿粉为原料．进行了硫酸分解制磷酸的试验研究。在模拟工业性工艺试验基础上．较系统地研究了影响磷酸物性的因素及变
按照云南磷化集团公司发展定位，“十一·五”期间，将在云南晋宁建设年处理450万t／a的选矿装置。由于该选厂规模大，矿石来源复杂，工程设计和建设需要可靠的试验资料和技术参数
随着我国社会经济的高速发展,人们的生活水平也随即提高,休闲场所也受到越来越多人的青睐。在此背景下休闲会所室内设计中的情感体验也被提及出来,休闲会所室内设计是否具有
针对分布式传感器网络检测系统中的最优决策融合问题，引入了奈曼一皮尔逊判定准则，在此基础上推导出由虚警率条件约束的最大检测准确概率的局部判决阀值和全局最优判决阀值的求
英语短文写作前要求发散思维,搜集素材;写作时要整理归纳,具体深入。此过程正与现在各学科大力倡导的思维导图不谋而合。思维习惯决定英语写作的成败!本文旨在探讨简洁的思维
碳酸钠作为一种无机调整剂,在胶磷矿选矿中被广泛用作pH调整剂、脉石细泥分散剂、活化剂等。本文对云南胶磷矿进行了加与不加碳酸钠对比试验,结果表明:在相同的刮泡时间内,加
资料与方法2003～2006年我院内科心力衰竭住院病人23例，均根据病史、体检、X线和心脏超声等检查确诊为心力衰竭。在治疗原发病和祛除病因基础上，经强心剂、利尿剂及血管紧张素转
通过测量、对比材料生长和器件制备条件基本相似,但是谐振腔腔模波长与增益峰值波长相对位置明显不同的两类氧化物限制型应变AlInGaAs/AlGaAs量子阱垂直腔面发射激光器(VCSEL
交互式电子白板为课堂教学提供了更加灵活广阔的平台,它不仅能够消除“人机”的隔阂,更重要的是它能够改变传统课堂的呈现方式,提供良好的互动,提高学生的学习兴趣,从而提高
为进一步实现数字音频媒体版权保护，提出了一种新的用于音频数字媒体版权保护的冗余小波变换（RI）WT）、离散余弦变换（DCT）和奇异值分解（SVD）相结合的音频水印算法。将冗余小波变换引入