Verification of Architectual Constraints on Interaction Protocols Among Modules
| dc.contributor.advisor | Podorozhny, Rodion | |
| dc.contributor.author | Siroky, Colin Stuart | |
| dc.contributor.committeeMember | Yang, Guowei | |
| dc.contributor.committeeMember | Ngu, Anne | |
| dc.date.accessioned | 2015-06-26T19:10:34Z | |
| dc.date.available | 2015-06-26T19:10:34Z | |
| dc.date.issued | 2015-05 | |
| dc.description.abstract | The 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.department | Computer Science | |
| dc.format | Text | |
| dc.format.extent | 60 pages | |
| dc.format.medium | 1 file (.pdf) | |
| dc.identifier.citation | Siroky, C. S. (2015). Verification of architectual constraints on interaction protocols among modules (Unpublished thesis). Texas State University, San Marcos, Texas. | |
| dc.identifier.uri | https://hdl.handle.net/10877/5581 | |
| dc.language.iso | en | |
| dc.subject | architectural constraints | |
| dc.subject | slicing | |
| dc.subject | mocking | |
| dc.subject | symbolic execution | |
| dc.subject | verification | |
| dc.subject | software architecture | |
| dc.title | Verification of Architectual Constraints on Interaction Protocols Among Modules | |
| dc.type | Thesis | |
| thesis.degree.department | Computer Science | |
| thesis.degree.discipline | Software Engineering | |
| thesis.degree.grantor | Texas State University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science |