Abstract
dc:description.abstractWith the advent of model based development technologies, dependence of COTS in software development has increased considerably. Use of COTS is considered economical and practical when it comes to integration of various software components. However COTS are trapped with some pitfalls. COTS provided are not usually accompanied by models or extensive specifications. This approach makes usage & integration of COTS components with in house developed software components a very challenging task. Conformance of the implementation with the specification forms the basis for our approach. In this thesis, we analyze an approach where the model is extracted from the COTS software that greatly aids in integration.;We developed a system that extracts the state machine model from the COTS software using Dana Angluin's L* Algorithm. We also developed a hierarchical approach of viewing the state machine model by static analysis of assembly code.
Degree
thesis:*- Name thesis:degree_name
- MS
- Level thesis:degree_level
- Thesis
- Discipline thesis:degree_discipline
- Lane Department of Computer Science and Electrical Engineering
- Year dc:date.available
- 2005
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Bayana, Sreeram
- Contributors dc:contributor
-
- Supratik Mukhopadhyay.
Subjects
dc:subject × 1Identifiers
dc:identifier.*- Identifier
- https://researchrepository.wvu.edu/etd/1577
- OAI identifier oai:identifier
- oai:researchrepository.wvu.edu:etd-2580