AdaFlow: the automation of software analysis using Petri Nets.

Simple item page
dc.contributor.advisorDavis, Daniel L.
dc.contributor.authorGrecco, Albert J.
dc.contributor.departmentComputer Science
dc.contributor.secondreaderKordes, Uno R.
dc.dateJune 1988
dc.date.accessioned2012-11-27T18:05:31Z
dc.date.available2012-11-27T18:05:31Z
dc.date.issued1988
dc.description.abstractThere is considerable interest in the development of Ada-based, automated software tools to aid in the development and testing of embedded, real-time software. The Naval Postgraduate School has already implemented automated Ada metric tools at the request of the Naval Weapons Center, China Lake. This thesis is the preliminary work for a new automated software analysis tool entitled AdaFlow. This tool, which is written in Ada, takes Ada programs as input, and translates the source code to a Petri net model. This Petri net model provides the user with the capability to perform automated, interactive analysis of Ada programs for properties such as safety and deadlocks. Recommendations for future work in this area are included.en_US
dc.description.distributionstatementApproved for public release; distribution is unlimited.
dc.description.serviceLieutenant, United States Navy
dc.description.urihttp://archive.org/details/adaflowutomation1094522853
dc.identifier.urihttps://hdl.handle.net/10945/22853
dc.language.isoen_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.
dc.subject.authorAdaFlowen_US
dc.subject.authorAdaMeasureen_US
dc.subject.authorAdaen_US
dc.subject.authorPetri Netsen_US
dc.subject.authorsoftware analysten_US
dc.subject.authorsoftware metricsen_US
dc.subject.lcshComputer scienceen_US
dc.titleAdaFlow: the automation of software analysis using Petri Nets.en_US
dc.typeThesisen_US
dspace.entity.typePublication
etd.thesisdegree.disciplineEngineering Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.nameM.S. in Engineering Scienceen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
adaflowautomatio00grec.pdf
Size:
10.68 MB
Format:
Adobe Portable Document Format
Download
Collections
Theses