Detta dokument introducerar iProperty, ett nytt tillvägagångssätt som underlättar inkrementell kontroll av program baserade på en egendom skiljande teknik. Speciellt syftar iProperty till att minska kostnaden för att kontrollera fastigheter som de ursprungligen utvecklas och som de sam-evolvera med programmet. Den viktigaste nyheten med iProperty är att beräkna skillnaderna mellan de nya och gamla versionerna av förväntade egenskaper för att minska antalet och storleken på de egenskaper som behöver kontrolleras under den inledande utvecklingen av fastigheterna. Vidare används egenskapsdifferentiering i samverkan med programbeteendedifferentieringsteknik för att optimera vanliga regressionsscenarier, såsom att upptäcka regressionsfel eller kontrollera funktionstillägg för överensstämmelse med nya förväntade egenskaper. Experimentella resultat i samband med symboliskt utförande av Javaprogram kommenterade med egenskaper skrivna som påståenden visar effektiviteten av iProperty att använda förändringsinformation för att möjliggöra effektivare kontroll.
iProperty REF beräknar skillnader mellan påståenden om relaterade program på ett sätt som underlättar effektivare inkrementell kontroll av programs överensstämmelse med egenskaper.
Property differencing for incremental checking
{'venue': 'ICSE 2014', 'journal': None, 'mag_field_of_study': ['Computer Science']}