A Framework for File Flow Analysis

dc.contributor.advisorWang, Xiaoyin
dc.contributor.authorRodriguez, Rodney Xavier
dc.contributor.committeeMemberNiu, Jianwei
dc.contributor.committeeMemberQuarles, John
dc.date.accessioned2024-02-12T19:51:42Z
dc.date.available2024-02-12T19:51:42Z
dc.date.issued2017
dc.descriptionThis item is available only to currently enrolled UTSA students, faculty or staff. To download, navigate to Log In in the top right-hand corner of this screen, then select Log in with my UTSA ID.
dc.description.abstractAs modern software systems today are becoming more complex, so is the process of building those systems. Developers can waste many hours trying to build software only to have it fail during the process. By analyzing the effects that build scripts have on a system's file structure it is possible to determine if a build script could execute successfully without errors. Looking at the elemental functions of a file structure, such as creating, removing and copying files, it is possible to analyze these functions to construct preconditions and postconditions for a system. We have developed a universal grammar that other build script languages can be reduced to express these elemental functions. Using these preconditions and postconditions generated by our framework we can show what an ideal file structure may look like before and after a build script is executed. By using the results produced by our framework it is possible to ensure successful execution, code transplantation, identify dependency issues and warn against potential errors.
dc.description.departmentComputer Science
dc.format.extent35 pages
dc.format.mimetypeapplication/pdf
dc.identifier.isbn9780355534047
dc.identifier.urihttps://hdl.handle.net/20.500.12588/5149
dc.languageen
dc.subjectAbstract Interpretation
dc.subjectFinite State Automata
dc.subjectFinite State Transducers
dc.subjectFlow Analysis
dc.subjectSoftware Building
dc.subjectStatic Analysis
dc.subject.classificationComputer science
dc.titleA Framework for File Flow Analysis
dc.typeThesis
dc.type.dcmiText
dcterms.accessRightspq_closed
thesis.degree.departmentComputer Science
thesis.degree.grantorUniversity of Texas at San Antonio
thesis.degree.levelMasters
thesis.degree.nameMaster of Science

Files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
Rodriguez_utsa_1283M_12433.pdf
Size:
642.41 KB
Format:
Adobe Portable Document Format
No Thumbnail Available
Name:
fileflowanalysis-master.zip
Size:
1.35 MB
Format:
Unknown data format