典型文献
TOAST:Automated Testing of Object Transformers in Dynamic Software Updates
文献摘要：
Dynamic software update(DSU)patches programs on the fly.It often involves the critical task of object transformation that converts live objects of the old-version program to their semantically consistent counterparts under the new-version program.This task is accomplished by invoking an object transformer on each stale object.However,a defective transformer failing to maintain consistency would cause errors or even crash the program.We propose TOAST(Test Object trAnSformaTion),an automated approach to detecting potential inconsistency caused by object transformers.TOAST first analyzes an update to identify multiple target methods and then adopts a fuzzer with specially designed inconsistency guidance to randomly generate object states to drive two versions of a target method.This creates two corresponding execution traces and a pair of old and new objects.TOAST finally performs object transformation to create a transformed object and detects inconsistency between it and the corresponding new object produced from scratch by the new program.Moreover,TOAST checks behavior inconsistency by comparing the return variables and exceptions of the two executions.Experimental evaluation on 130 updates with default transformers shows that TOAST is promising:it got 96.0％precision and 85.7％recall in state inconsistency detection,and 81.4％precision and 94.6％recall in behavior inconsistency detection.The inconsistency guidance improved the fuzzing efficiency by 14.1％for state inconsistency detection and 40.5％for behavior inconsistency detection.
文献关键词：
中图分类号：
作者姓名：
Ze-Lin Zhao;Di Huang;Xiao-Xing Ma
作者机构：
State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210023,China
文献出处：
引用格式：
[1]Ze-Lin Zhao;Di Huang;Xiao-Xing Ma-.TOAST:Automated Testing of Object Transformers in Dynamic Software Updates)[J].计算机科学技术学报（英文版）,2022(01):50-66
A类：
stale,trAnSformaTion,fuzzer,fuzzing
B类：
TOAST,Automated,Testing,Object,Transformers,Dynamic,Software,Updates,software,DSU,patches,programs,fly,It,often,involves,critical,task,transformation,that,converts,live,objects,old,their,semantically,consistent,counterparts,under,new,This,accomplished,by,invoking,each,However,defective,failing,maintain,would,errors,even,crash,We,propose,automated,approach,detecting,potential,inconsistency,caused,transformers,first,analyzes,identify,multiple,target,methods,then,adopts,specially,designed,guidance,randomly,generate,states,drive,two,versions,creates,corresponding,traces,pair,finally,performs,transformed,detects,between,produced,from,scratch,Moreover,checks,behavior,comparing,return,variables,exceptions,executions,Experimental,evaluation,updates,default,shows,promising,got,precision,recall,detection,improved,efficiency
AB值：
0.515526
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
