Användningen av skriptspråk för att bygga webbapplikationer har ökat programmerarens produktivitet, men till priset av försämrad pålitlighet. I detta papper fokuserar vi på en klass av buggar som visas i webbapplikationer som är uppbyggda utifrån Model-View-Controller arkitektur. Vårt mål är att automatiskt upptäcka datamodellfel i Ruby on Rails applikationer. Därför skapade vi en automatisk översättare som konverterar datamodelluttryck i Ruby on Rails applikationer till formella specifikationer. I synnerhet tar vår översättare Active Records specifikationer (som används för att ange datamodeller i Ruby on Rails applikationer) som indata och genererar en datamodell i legeringsspråk som utgång. Vi använder sedan avgränsade verifieringstekniker som implementeras i legeringsanalytikern för att leta efter fel i dessa formella datamodellspecifikationer. Vi tillämpade vår strategi på två webbapplikationer med öppen källkod för att visa dess genomförbarhet.
Detta dokument bygger på vårt tidigare arbete med begränsad verifiering av Rails datamodeller REF.
Bounded verification of Ruby on Rails data models
{'venue': "ISSTA '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}