A demo on using visualization to aid run-time verification of dynamic service systems

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    3 Citations (Scopus)

    Abstract

    Future software systems will be dynamic service oriented systems. Service-Oriented Architecture (SOA) provides an extensible and dynamic architecture to be used, for example, in smart environments. In such an environment, software has to adapt its behaviour dynamically. Thus, there is a need for Verifying and Validating (V & V) the adaptations at run-time. This paper contributes to that by introducing a novel visualization tool to be used with traditional V & V techniques to aid the software analysts in the verification process of dynamic software systems. When Quality of Service (QoS) of dynamic software systems varies due to the changing environment the Interactive Quality Visualization (IQVis) tool detects these changes and provides analysts an easier way of understanding the changed behaviour of the system.
    Original languageEnglish
    Title of host publication2010 Third International Conference on Software Testing, Verification, and Validation Workshops
    PublisherIEEE Institute of Electrical and Electronic Engineers
    Pages319-324
    ISBN (Electronic)978-1-4244-6774-7, 978-0-7695-4050-4
    ISBN (Print)978-1-4244-6773-0
    DOIs
    Publication statusPublished - 2010
    MoE publication typeNot Eligible
    Event3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 - Paris, France
    Duration: 6 Apr 201010 Apr 2010
    Conference number: 3

    Conference

    Conference3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010
    Abbreviated titleICSTW 2010
    CountryFrance
    CityParis
    Period6/04/1010/04/10

      Fingerprint

    Keywords

    • QoS
    • quality attribute
    • run-time verification
    • self-adaptive systems
    • visualization

    Cite this

    Kuusijärvi, J. (2010). A demo on using visualization to aid run-time verification of dynamic service systems. In 2010 Third International Conference on Software Testing, Verification, and Validation Workshops (pp. 319-324). IEEE Institute of Electrical and Electronic Engineers . https://doi.org/10.1109/ICSTW.2010.40