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


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:

 Roy S Freedman Testability of software components IEEE Transactions on Software Engineering     June  


 Michael A Friedman and Jerey M Voas Software Assessment Reliability Safety Testability John Wiley  Sons Inc 


 Thomas J McCabe A complexity measure IEEE Transactions on Software Engineering SE   December  


 Jerey M Voas Testing software for characteristics other than correct ness Safety failure tolerance and security In Proceedings of the th Inter nataional Conference on Testing Computer Software June  


 Jerey M Voas Anup K Ghosh Gary McGraw and F Charron Dening an adaptive software security metric from a dynamic software failure tolerance measure In Proceedings of the th Annual Conference on Computer Assurance COMPASS  IEEE Computer Society  


 Jerey M Voas and Keith W Miller Semantic metrics for software testa bility Journal of Systems and Software     March  



 Jerey M Voas and Keith W Miller Software testability The new veri cation IEEE Software    May 

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