Programtäckning används i många skeden av mjukvaruutveckling. Även om det är vanligt under testning, har programtäckning också hittat användning utanför testlabbet, i produktionsprogramvara. Produktionsprogramvaran har dock strängare krav på omkostnader för drifttid, och kan begränsa eventuell programinstrumentering. Därför är det viktigt att optimera placeringen av sonder för att samla programtäckning. Vi introducerar och studerar problemet med anpassad programtäckning optimering. Vi generaliserar tidigare arbete som optimerar för komplett täckning instrumentering med ett system som anpassar optimering till anpassningsbara program täckningskrav. Specifikt gör vårt system det möjligt för en användare att ange önskade täckningsplatser och att begränsa juridiska instrumenteringsplatser. Vi bevisar att problemet med att bestämma optimal täckning sonder är NP-hård, och vi presenterar en lösning baserad på blandade heltal linjär programmering. På grund av problemets komplexitet ger vi också två praktiska approximationer. Vi utvärderar effektiviteten av våra approximationer över en rad olika riktmärken, och visar att våra tekniker kan avsevärt minska instrumenteringen samtidigt som användaren ges enorm frihet att definiera täckningskrav. När naiv instrumentering är tät eller dyr, våra optimeringar lyckas sänka exekveringstiden overheads.
Åhmann m.fl. REF överväga binarized täckning och modellerade problemet med hjälp av heltal linjär programmering och visade att det är NP-hård.
Optimizing customized program coverage
{'venue': 'ASE 2016', 'journal': None, 'mag_field_of_study': ['Computer Science']}