Specifikation gruvbrytning är en dynamisk analys process som syftar till att automatiskt sluta föreslagna specifikationer av ett program från dess genomförande spår. Vi beskriver en ny metod, ram och verktyg, för gruvdrift inter-objekt scenario-baserade specifikationer i form av en UML2-kompatibel variant av Damm och Harels Live Sequence Charts (LSC). LSC utökar den klassiska partiella ordningen semantik av sekvensdiagram med timlig livlighet och symboliska klassnivålivslinjer, för att generera kompakta och uttrycksfulla specifikationer. Utgången av vår algoritm är en ljud och komplett uppsättning statistiskt signifikanta LSCs (dvs. som uppfyller givna trösklar för stöd och förtroende), minerade från ett indatautförande spår. Vi lokaliserar statistiskt signifikanta LSC genom att utforska sökområdet för möjliga LSC och kontrollera deras statistiska signifikans. Dessutom använder vi en effektiv sökutrymme beskärning strategi, särskilt anpassad till LSCs, som möjliggör effektiv gruvdrift av scenarier av godtycklig storlek. Vi demonstrerar och utvärderar nyttan av vårt arbete i gruvdrift informativa specifikationer med hjälp av en fallstudie på Jeti, en populär, full presenterade meddelanden ansökan.
I REF, Lo et al. Mine Live Sequence Chart (LSC) från programutförande spår.
Mining modal scenario-based specifications from execution traces of reactive systems
{'venue': "ASE '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}