Abstrakt. Vi presenterar QuickSpec, ett verktyg som automatiskt genererar algebraiska specifikationer för uppsättningar av rena funktioner. Verktyget är baserat på testning, snarare än statisk analys eller teorem som bevisar. Den största utmaningen QuickSpec ansikten är att hålla antalet genererade ekvationer till ett minimum samtidigt som fullständighet. Vi visar hur QuickSpec kan förbättra förståelsen för en programmodul genom att utforska de lagar som genereras med hjälp av två fallstudier: ett högbibliotek för Haskell och ett aritmetiskt bibliotek för Erlang.
QUICKSPEC REF är en annan slutsats verktyg som bygger på testning och kan användas för att generera lagar som ett Haskell program uppfyller.
QuickSpec: Guessing formal specifications using testing
{'venue': 'In Tests and Proofs, Fourth International Conference, TAP', 'journal': None, 'mag_field_of_study': ['Computer Science']}