Sammanfattning — De artefakter som utgör ett programvarusystem glider ofta isär med tiden. Vi har utvecklat teknik för programvara reflexion modell för att hjälpa ingenjörer att utföra olika programvarutekniska uppgifter genom att utnyttja — snarare än att ta bort — drift mellan design och genomförande. Mer specifikt, tekniken hjälper en ingenjör att jämföra artefakter genom att sammanfatta där en artefakt (t.ex. en design) överensstämmer med och inkonsekvent med en annan artefakt (t.ex. källa). Tekniken kan användas för att hjälpa en programvaruingenjör att utveckla en strukturell mental modell av ett system till den grad att det är agood-enougho att användas för resonemang om en uppgift i hand. Den programvara reflexion modell teknik har tillämpats för att stödja en mängd olika uppgifter, inklusive konstruktion överensstämmelse, förändring bedömning, och en experimentell omkonstruktion av den miljon-lines-of-code Microsoft Excel produkt. I detta dokument ger vi en formell karakterisering av reflexion modellteknik, diskuterar praktiska aspekter av tillvägagångssättet, relaterar erfarenheter av att tillämpa tillvägagångssätt och verktyg, och placera tekniken i sammanhanget av relaterade arbete.
I REF introduceras teknik för programvarureflexionsmodell.
Software reflexion models: bridging the gap between design and implementation
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}