Moreover, TOAST checks behavior inconsistency by comparing the return variables and exceptions of the two executions. 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. This creates two corresponding execution traces and a pair of old and new objects. 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. We propose TOAST (Test Object trAnSformaTion), an automated approach to detecting potential inconsistency caused by object transformers. However, a defective transformer failing to maintain consistency would cause errors or even crash the program. This task is accomplished by invoking an object transformer on each stale object. ![]() 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. ![]() Dynamic software update (DSU) patches programs on the fly.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |