Verification of Architectual Constraints on Interaction Protocols Among Modules

dc.contributor.advisorPodorozhny, Rodion
dc.contributor.authorSiroky, Colin Stuart
dc.contributor.committeeMemberYang, Guowei
dc.contributor.committeeMemberNgu, Anne
dc.date.accessioned2015-06-26T19:10:34Z
dc.date.available2015-06-26T19:10:34Z
dc.date.issued2015-05
dc.description.abstractThe importance of correspondence between the architectural prescription and implementation has been long recognized. This thesis presents an approach to verification of constraints on method invocation chains prescribed by an architectural style. It consists of two key steps. One, static slicing is applied to the code from a given final method in the system. The resulting slice information is then used to create a smaller executable program by mocking out the methods that are not contained in the slice. For the second step, symbolic execution is used for the verification and the application of architecturally defined constraints. We implement our approach in a prototype based on Wala, Javassist and Symbolic PathFinder (SPF), and demonstrate the usefulness of our approach using case studies.
dc.description.departmentComputer Science
dc.formatText
dc.format.extent60 pages
dc.format.medium1 file (.pdf)
dc.identifier.citationSiroky, C. S. (2015). <i>Verification of architectual constraints on interaction protocols among modules</i> (Unpublished thesis). Texas State University, San Marcos, Texas.
dc.identifier.urihttps://hdl.handle.net/10877/5581
dc.language.isoen
dc.subjectArchitectural constraints
dc.subjectSlicing
dc.subjectMocking
dc.subjectSymbolic execution
dc.subjectVerification
dc.subjectSoftware architecture
dc.subject.lcshSoftware architectureen_US
dc.subject.lcshComputer programmingen_US
dc.subject.lcshComputer architectureen_US
dc.subject.lcshComputer systems--Design and constructionen_US
dc.titleVerification of Architectual Constraints on Interaction Protocols Among Modules
dc.typeThesis
thesis.degree.departmentComputer Scienceen_US
thesis.degree.disciplineSoftware Engineeringen_US
thesis.degree.grantorTexas State Universityen_US
thesis.degree.levelMastersen_US
thesis.degree.nameMaster of Scienceen_US

Files

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
SIROKY-THESIS-2015.pdf
Size:
1.42 MB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
LICENSE.txt
Size:
2.12 KB
Format:
Plain Text
Description: