Article | Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97) | A Hybrid Approach to Propagation Analysis

Title:
A Hybrid Approach to Propagation Analysis
Author:
David Byers: Department of Computer Science, Linköping University, Sweden Mariam Kamkar: Department of Computer Science, Linköping University, Sweden
Download:
Full text (pdf) Full text (ps)
Year:
1997
Conference:
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)
Issue:
001
Article no.:
016
Pages:
193-197
No. of pages:
5
Publication type:
Abstract and Fulltext
Published:
1997-09-10
Series:
Linköping Electronic Conference Proceedings
ISSN (print):
1650-3686
ISSN (online):
1650-3740
Series:
Linköping Electronic Articles in Computer and Information Science
ISSN (online):
1401-9841
Publisher:
Linköping University Electronic Press; Linköpings universitet


Export in BibTex, RIS or text

Propagation analysis is a dynamic code analysis technique that can be used to quantitatively assess certain software properties that are otherwise difficult to assess; such as testability; safety and security. The currently accepted analysis technique relies heavily on repeated execution of the code being assessed; and is therefore very expensive to apply. We are currently developing static analysis methods to assist in the dynamic assessment. Our aim is to replace the most expensive parts of the dynamic analysis technique with less expensive and nearly as accurate static analysis techniques. This paper summarizes our ideas on how this can be done.

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
David Byers, Mariam Kamkar
Title:
A Hybrid Approach to Propagation Analysis
References:

[1] Roy S. Freedman. Testability of software components. IEEE Transactions on Software Engineering, 17(6):553-564, June 1991


[2] Michael A. Friedman and Jeffrey M. Voas. Software Assessment: Reliability, Safety, Testability. John Wiley & Sons, Inc., 1995


[3] Thomas J. McCabe. A complexity measure. IEEE Transactions on Software Engineering, SE-2(4):308-320, December 1976


[4] Jeffrey M. Voas. Testing software for characteristics other than correctness: Safety, failure tolerance and security. In Proceedings of the 13th Internataional Conference on Testing Computer Software, June 1996


[5] Jeffrey M. Voas, Anup K Ghosh, Gary McGraw, and F. Charron. Defining an adaptive software security metric from a dynamic software failure tolerance measure. In Proceedings of the 11th Annual Conference on Computer Assurance (COMPASS). IEEE Computer Society, 1996


[6] Jeffrey M. Voas and Keith W. Miller. Semantic metrics for software testability. Journal of Systems and Software, 20(3):207-216, March 1993


[7] Jeffrey M. Voas and Keith W. Mille. Software testability: The new verification. IEEE Software, 12(3):17-28, May 1995

Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Author:
David Byers, Mariam Kamkar
Title:
A Hybrid Approach to Propagation Analysis
Note: the following are taken directly from CrossRef
Citations:
No citations available at the moment