Learning finite state machine specifications from test cases [Elektronische Ressource] / vorgelegt von Edith Benedicta Maria Werner

LearningFiniteStateMachineSpeciVcationsfromTestCasesDissertationzur Erlangung des Doktorgradesder Mathematisch-Naturwissenschaftlichen Fakultätender Georg-August-Universität zu Göttingenvorgelegt vonEdith Benedicta Maria Werneraus NürnbergGöttingenim Mai 2010Referent: Prof. Dr. Jens Grabowski,Universität Göttingen.Korreferent: Prof. Dr. Stephan Waack,Universität Göttingen.Tag der mündlichen Prüfung: 1. Juni 2010AbstractUp-to-datesoftwaresystemsareoftenmodularandneedtobechangeable. Whilemodu-larityisbelievedtoreducesoftwareproductioncosts,italsoleadstoincreaseddiXcultyintesting,asthefutureusesofamodulearegettingmorevariedandthereforehardertoguess. Also, reused modules are often represented as black boxes, whose interior struc-tureishiddenfromthesystem. Inconsequence,onreusingamodule,thetestingfocuseson integration testing and monitoring the interfaces of the module.Inordertomonitorasystem,amodelofthesystemisneededtocomparetheobservedtraces to. However, with the advent of agile development methods and decreasing timeto market, formal models of a system are seldom available. While formal modelinghas not been widely adopted in industry, the importance of testing has increased, inpart thanks to the same agile development methods that obsolete explicit modeling. AnexampleisthetestVrstparadigmofeXtremeProgramming,whichrequiresthatthetestsfor any software have to be written before the software itself.