Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/35803
Title: Mining behavioral specifications of distributed systems
Authors: SANDEEP KUMAR
Keywords: Specification Mining, Distributed Systems, Program Comprehension
Issue Date: 24-Aug-2012
Source: SANDEEP KUMAR (2012-08-24). Mining behavioral specifications of distributed systems. ScholarBank@NUS Repository.
Abstract: Software specifications provide explicit and high-level descriptions of a program ensuring a clear and consistent understanding of expected behavior. The absence of good specifications in real life software engineering processes have motivated research into automated techniques to 'mine' specifications from traces collected during actual executions of a software system. Current specification mining methods are largely limited to the analysis of sequential interactions between software components. This dissertation presents problems and methodologies in an attempt to advance the application of specification mining in two directions. First, it proposes methodologies and algorithms for mining specifications that account for concurrency and asynchronicity of processes in a distributed system. These methods are then coupled with a process class abstraction technique to produce simpler and more accurate specifications. The second advancement is an approach to mine difference specifications that elicit changes across versions and help to automatically adapt and maintain specifications of evolving software.
URI: http://scholarbank.nus.edu.sg/handle/10635/35803
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
KumarS.pdf2.89 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

228
checked on Dec 11, 2017

Download(s)

230
checked on Dec 11, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.