AdaFlow: the automation of software analysis using Petri Nets.
Loading...
Authors
Grecco, Albert J.
Subjects
AdaFlow
AdaMeasure
Ada
Petri Nets
software analyst
software metrics
AdaMeasure
Ada
Petri Nets
software analyst
software metrics
Advisors
Davis, Daniel L.
Date of Issue
1988
Date
June 1988
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
There 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.
Type
Thesis
Description
Series/Report No
Department
Computer Science
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This 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.