An approach for modeling dynamic analysis using ontologies

N Al Haider, Patrick Nixon, B Gaudin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)

    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 languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherAssociation for Computing Machinery
    Pages1-6
    Number of pages6
    ISBN (Print)978-1-4503-0137-4
    DOIs
    Publication statusPublished - 2010
    EventProceedings of the International Symposium on Software Testing and Analysis - Trento, Italy
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceProceedings of the International Symposium on Software Testing and Analysis
    Period1/01/10 → …

    Keywords

    • n/a

    Fingerprint Dive into the research topics of 'An approach for modeling dynamic analysis using ontologies'. Together they form a unique fingerprint.

  • Cite this

    Al Haider, N., Nixon, P., & Gaudin, B. (2010). An approach for modeling dynamic analysis using ontologies. In Unknown Host Publication (pp. 1-6). Association for Computing Machinery. https://doi.org/10.1145/1868321.1868322