Abstract Specification mining tar utförande spår som input och extraherar sannolikt programinvarianter, som kan användas för förståelse, verifiering, och evolution relaterade uppgifter. I detta arbete integrerar vi scenario-baserad specifikation gruvdrift, som använder en data-gruve algoritm för att föreslå beställning begränsningar i form av levande sekvens diagram, ett mellanobjekt, visuell, modal, scenario-baserad specifikationsspråk, med gruvdrift av värdebaserade invarianter, som upptäcker sannolika invarianter håller vid specifika programpunkter. Nyckeln till integrationen är en teknik som vi kallar scenariobaserad skärning, som löper ovanpå gruvalgoritmerna för att skilja de scenariospecifika invarianterna från de allmänna. De resulterande föreslagna specifikationerna är rika, bestående av modalscenarier som kommenteras med scenariospecifika värdebaserade invarianter, med hänvisning till händelseparametrar och deltagande objektegenskaper. Vi har implementerat gruvalgoritmen och den visuella presentationen av gruvscenarierna i en standardutvecklingsmiljö. En utvärdering av vårt arbete över ett antal fallstudier visar lovande resultat i att extrahera expressiva specifikationer från verkliga program, som inte kunde extraheras tidigare. Ju mer uttrycksfulla de minerade specifikationerna är, desto större är deras potential att stödja programförståelse och testning.
I REF introducerar vi gruvscenariobaserade specifikationer med värdebaserade invarianter som innefattar metodparametrar.
Scenario-based and value-based specification mining: better together
{'venue': 'Automated Software Engineering', 'journal': 'Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}