【摘 要】
：
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结
【基金项目】
：
国家自然科学基金项目(61070208)
论文部分内容阅读
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.
其他文献
笔者对安徽省宣城市不同地理环境的6个市（县）共21个集约化养猪场的1520头妊娠母猪。进行了猪细小病毒病流行的调查研究。其中，发生繁殖障碍综合征的猪671头，占44．1％。1520头妊娠母
目前，我国的道路建设．汽车的生产和大众化已基本实现，在此基础上，汽车电子控削技术有国家倡导和发展的趋势，利用汽车电子控制技术实现除了能实现节能减排，提高汽车运行安全性之外，建
1临床资料1．1一般资料 患者，女，26岁。因“腹痛3天”入院，无明诱因出现脐周右中下腹疼痛，为持续性胀痛，无肩背会阴区放射痛，无畏寒发热、无恶心呕吐，无腹泻及停止排气排便等。既往无
为改善SPHC钢LF精炼效果,本研究首先利用Fact Sage热力学计算软件,分析了SPHC钢LF精炼渣系的理化特性,提出相应的精炼渣优化方案,并进行了工业实验验证.研究结果显示,通过对L
公共借阅权用以补偿作者因公共图书馆提供其作品给公众借阅而承受的潜在损失,或者作为政府资助图书、音乐或其他艺术作品之理由。1979年,英国立法明确公共借阅权制度。公共借
美国是最早将绩效审计注入政府审计的国家，美国审计总署早在20世纪60年代就把注意力转向了绩效审计，70年代绩效审计已占其工作量的86％以上，到了2005年这一比例已达到90％以上。经过
目的:探讨丙酮酸透膜与乳酸穿梭的关系。方法:不同运动能力的20名男性大学生分为运动组和对照组,每组10人,连续进行不同最大摄氧量百分比递增强度跑台运动,每级负荷运动3分钟
故意犯与过失犯在存在构造与规范定位上存在差异,应当对客观归责理论在故意犯与过失犯中的适用进行区分讨论。客观归责理论无法为故意犯提供兼具逻辑一贯性与结论合理性的归
诱导多功能干细胞（ induced pluripotent stem cells，iPSCs），即通过不同的转导方法，将影响重编程的关键转录因子、RNA、蛋白或小分子化合物导入到成体细胞，使其＂返老还童＂回到胚胎干
文章在回顾道家学说历史文化地位的基础上，结合当前文化建设和创新的时代任务，提出了以道家伦理学说，特别是其心理机制思想，为当代伦理教育和道德重建服务的文化借鉴主张。接着，又