【摘 要】
：
描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.
【机 构】
：
中国科学院软件研究所,中国信息安全测评中心,大连理工大学数学科学学院
【基金项目】
：
国家自然科学基金项目(60903049);国家“八六三”高技术研究发展计划基金项目(2009AA01Z148,2009AA010313);中国科学院知识创新工程领域前沿项目(ISCAS2009-DR01)~~
论文部分内容阅读
描述了一个Java自动化的单元测试工具JUTA.JUTA首先调用工具Soot解析单个Java方法的源码,并将源码解析成一个控制流图.在此基础上,采用符号执行的方法分析控制流图上的路径.工具能够自动地产生满足覆盖率标准的程序的测试用例.这种方法产生的所有测试用例都是可执行的,并且一般来说具有较小的测试用例数.如果用户能够合理地给出描述程序错误的断言,框架JUTA能够自动地检查源码中部分特定类型的错误.实验结果表明工具对Java单元代码的动态测试和静态测试均能在可接受的时间内给出有效的结果.
其他文献
分析了国内钢铁企业控制项目投资的必要性；提出了基于战略目标的建设项目全过程投资控制的思路；并针对项目前期投资决策、方案设计、招投标、项目实施、竣工验收以及项目后评估
<正>小学生是处于迅速发展时期的人,是未完成的人,是可教育之人。他们的辨别是非的能力和自我控制的能力比较差,因此时时刻刻都有可能犯"错误"。作为班主任,在学生做错事情之
<正>《计量标准考核规范》第五章阐述了计量标准考核的程序。计量标准考核是国家行政许可项目,其行政许可项目的名称为计量标准器具核准。计量标准器具核准行政许可分四级许
高氯化聚乙烯 (HCPE)是一种耐化学腐蚀的高分子材料 .改性后的高氯化聚乙烯高分子材料是以高氯化聚乙烯为主体 ,辅以增塑剂、除锈剂和钛合金等辅料改性 ,并经过科学工艺研制
提出了一种基于多候选方法的数学公式识别系统.该系统主要包括公式图像预处理,多候选公式符号分割和多候选公式结构分析3个部分.在公式符号切分中,使用3次动态规划方法对公式
当前中国社会的就业形式愈来愈严峻,大学生职业规划也日益受到整个社会的重视。我国的大学生职业生涯规划仍处于初起阶段,但职业生涯规划对大学生有着十分重要的作用。为了更
为了探明配方普洱茶饮用的安全性,以标准普洱茶为对照,采用国家标准规定的测量方法分别测定茶样中的理化成分,并进行急性毒性试验。试验测得标准普洱茶、灵芝普洱茶、洋参普
我国英语教学论的发展和完善,深受翻译法与直接法的影响。翻译法和直接法虽然在起源、特征和方法等处有所差异,但是他们的目的相同,都是为了达到更好的英语教学效果。文章基
生态与经济社会协调科学发展,已然成为京津冀区域实现可持续发展的关键。河北省生态文明的创建活动近年来成果丰硕,但同时也存在一些问题。随着京津冀一体化进程的不断推进,
优化 Folin-Ciocalteu比色法测定石榴花提取物中多酚含量的条件, 并对该方法进行系统评价. 以没食子酸为标准物质, 确定测定波长后系统考察 Folin-Ciocalteu 试剂 （FC 试剂） 浓