Static Analysis for Program Generation Templates
MetadataShow full item record
This paper presents an approach to achieving reliable cost-effective software via automatic program generation patterns. The main idea is to certify the patterns once, to establish a reliability property for all of the programs that could possibly be generated from the patterns. We focus here on properties that can be checked via computable static analysis. Examples of methods to assure syntactic correctness and exception closure of the generated code are presented. Exception closure means that a software module cannot raise any exceptions other than those declared in its interface.
Showing items related by title, author, creator and subject.
Kim, Kyung Cheol (Monterey, California. Naval Postgraduate School, 2004-06);High Frequency (HF) radar backscatter instruments are being developed and tested in the marine science and defense science communities for their abilities to sense surface parameters remotely in the coastal ocean over large ...
Jung, Yun Su (Monterey, California: U.S. Naval Postgraduate School, 1987-12);The charge distribution of periodic electron beam pulses generates patterns of sub-Cerenkov radiation distinctive of the distribution of charge with in a bunch. Mapping the radiation pattern from different charge shapes ...
Michael, James Bret; Auguston, Mikhail; Rowe, Neil C.; Riehle, Richard D. (Monterey, California. Naval Postgraduate School, 2002-06);We introduce the notion of an intelligent software decoy, and provide both an architecture and event-based lan!guage for automatic implementation of them. Our decoys detect and respond to patterns of suspicious behavior, ...