Abstract
In this paper we present the possibility of using an ontology based framework in order to model Dynamic Analysis techniques. This work relies on similar ideas applied to the case of Static Analysis, in which ontologies are used to represent some knowledge about the programs to be analyzed. In the approach proposed in this paper we describe how ontologies can be applied to Dynamic Analysis by modeling both the information collected from the system, as well as some requirements about the type of analysis to be performed. Both of these ontologies can be designed by integrating ontologies previously defined during the software development cycle, allowing for re-usability. Finally, these ontologies make it possible to reason about concepts related to Dynamic Analysis and offer tools that facilitate automation. This paper presents the main ideas of the proposed approach and illustrates them with an example related to Frequency Spectrum Analysis.
Original language | English |
---|---|
Title of host publication | Proceedings of the International Workshop on Dynamic Analysis |
Subtitle of host publication | held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010 |
Editors | Jonathan Cook, James Jones |
Place of Publication | United States |
Publisher | Association for Computing Machinery (ACM) |
Pages | 1-6 |
Number of pages | 6 |
ISBN (Print) | 9781450301374 |
DOIs | |
Publication status | Published - 2010 |
Externally published | Yes |
Event | International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010 - Trento, Trento, Italy Duration: 12 Jul 2010 → 12 Jul 2010 |
Workshop
Workshop | International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010 |
---|---|
Abbreviated title | WODA 2010 |
Country/Territory | Italy |
City | Trento |
Period | 12/07/10 → 12/07/10 |