A Hybrid Approach to Propagation Analysis

David Byers
Department of Computer Science, Linköping University, Sweden

Mariam Kamkar
Department of Computer Science, Linköping University, Sweden

Ladda ner artikelhttp://www.ep.liu.se/ecp_article/index.en.aspx?issue=001;article=016

Ingår i: Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97)

Linköping Electronic Conference Proceedings 1:16, s. 193-197

Linköping Electronic Articles in Computer and Information Science 009:16, s. 193-197

Visa mer +

Publicerad: 1997-09-10


ISSN: 1650-3686 (tryckt), 1650-3740 (online)


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.


Inga nyckelord är tillgängliga


[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

Citeringar i Crossref