Automated test case generation of self-managing policies for NASA prototype missions developed with ASSL

E Vassev, M Hinchey, Patrick Nixon

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

3 Citations (Scopus)

Abstract

Self-managing policies provide a self-management behavior for autonomic systems developed with ASSL (Autonomic System Specification Language). With ASSL we have successfully developed special autonomic prototypes of both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and NASAs Voyager Mission. In these prototypes, we applied ASSL self-managing policies to drive the missions in critical situations in response to environmental or system changes. Therefore, the logical correctness of the ASSL specification of such policies appears to be of major importance. Experience has shown, however, that ASSL specifications may contain logical faults causing improper behavior. To handle such behavior, self-managing policies are often tested with manually injected inputs triggering events and satisfying constraints to allow for the activation, execution, and deactivation of these policies. The logical correctness of an ASSL self managing policy currently depends solely upon the relation between inputs and conclusion. In this paper, we present our initial work on a novel tool, part of the ASSL framework, that generates test cases based on change-impact analysis. Our main goal is to reduce testing costs and effort and improve the quality of testing, thus eventually assuring the logical correctness of the self-managing policies developed with ASSL.
LanguageEnglish
Title of host publicationUnknown Host Publication
Pages3-8
Number of pages6
DOIs
Publication statusPublished - 2010
EventProceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei
Duration: 1 Jan 2010 → …

Conference

ConferenceProceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)
Period1/01/10 → …

Fingerprint

Specification languages
NASA
Specifications
Testing
Nanotechnology
Chemical activation

Keywords

  • ASSL
  • self-management
  • test generation
  • testing

Cite this

@inproceedings{a35d4777c1bd48788a6de247cc0d4539,
title = "Automated test case generation of self-managing policies for NASA prototype missions developed with ASSL",
abstract = "Self-managing policies provide a self-management behavior for autonomic systems developed with ASSL (Autonomic System Specification Language). With ASSL we have successfully developed special autonomic prototypes of both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and NASAs Voyager Mission. In these prototypes, we applied ASSL self-managing policies to drive the missions in critical situations in response to environmental or system changes. Therefore, the logical correctness of the ASSL specification of such policies appears to be of major importance. Experience has shown, however, that ASSL specifications may contain logical faults causing improper behavior. To handle such behavior, self-managing policies are often tested with manually injected inputs triggering events and satisfying constraints to allow for the activation, execution, and deactivation of these policies. The logical correctness of an ASSL self managing policy currently depends solely upon the relation between inputs and conclusion. In this paper, we present our initial work on a novel tool, part of the ASSL framework, that generates test cases based on change-impact analysis. Our main goal is to reduce testing costs and effort and improve the quality of testing, thus eventually assuring the logical correctness of the self-managing policies developed with ASSL.",
keywords = "ASSL, self-management, test generation, testing",
author = "E Vassev and M Hinchey and Patrick Nixon",
year = "2010",
doi = "10.1109/TASE.2010.32",
language = "English",
isbn = "978-1-4244-7847-7",
pages = "3--8",
booktitle = "Unknown Host Publication",

}

Vassev, E, Hinchey, M & Nixon, P 2010, Automated test case generation of self-managing policies for NASA prototype missions developed with ASSL. in Unknown Host Publication. pp. 3-8, Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 1/01/10. https://doi.org/10.1109/TASE.2010.32

Automated test case generation of self-managing policies for NASA prototype missions developed with ASSL. / Vassev, E; Hinchey, M; Nixon, Patrick.

Unknown Host Publication. 2010. p. 3-8.

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

TY - GEN

T1 - Automated test case generation of self-managing policies for NASA prototype missions developed with ASSL

AU - Vassev, E

AU - Hinchey, M

AU - Nixon, Patrick

PY - 2010

Y1 - 2010

N2 - Self-managing policies provide a self-management behavior for autonomic systems developed with ASSL (Autonomic System Specification Language). With ASSL we have successfully developed special autonomic prototypes of both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and NASAs Voyager Mission. In these prototypes, we applied ASSL self-managing policies to drive the missions in critical situations in response to environmental or system changes. Therefore, the logical correctness of the ASSL specification of such policies appears to be of major importance. Experience has shown, however, that ASSL specifications may contain logical faults causing improper behavior. To handle such behavior, self-managing policies are often tested with manually injected inputs triggering events and satisfying constraints to allow for the activation, execution, and deactivation of these policies. The logical correctness of an ASSL self managing policy currently depends solely upon the relation between inputs and conclusion. In this paper, we present our initial work on a novel tool, part of the ASSL framework, that generates test cases based on change-impact analysis. Our main goal is to reduce testing costs and effort and improve the quality of testing, thus eventually assuring the logical correctness of the self-managing policies developed with ASSL.

AB - Self-managing policies provide a self-management behavior for autonomic systems developed with ASSL (Autonomic System Specification Language). With ASSL we have successfully developed special autonomic prototypes of both the NASA ANTS (Autonomous Nano-Technology Swarm) concept mission and NASAs Voyager Mission. In these prototypes, we applied ASSL self-managing policies to drive the missions in critical situations in response to environmental or system changes. Therefore, the logical correctness of the ASSL specification of such policies appears to be of major importance. Experience has shown, however, that ASSL specifications may contain logical faults causing improper behavior. To handle such behavior, self-managing policies are often tested with manually injected inputs triggering events and satisfying constraints to allow for the activation, execution, and deactivation of these policies. The logical correctness of an ASSL self managing policy currently depends solely upon the relation between inputs and conclusion. In this paper, we present our initial work on a novel tool, part of the ASSL framework, that generates test cases based on change-impact analysis. Our main goal is to reduce testing costs and effort and improve the quality of testing, thus eventually assuring the logical correctness of the self-managing policies developed with ASSL.

KW - ASSL

KW - self-management

KW - test generation

KW - testing

U2 - 10.1109/TASE.2010.32

DO - 10.1109/TASE.2010.32

M3 - Conference contribution

SN - 978-1-4244-7847-7

SP - 3

EP - 8

BT - Unknown Host Publication

ER -