AMOEBA-RT: Run-Time Verification of Adaptive Software
2008; Springer Science+Business Media; Linguagem: Inglês
10.1007/978-3-540-69073-3_23
ISSN1611-3349
AutoresHeather J. Goldsby, Betty H. C. Cheng, Zhang Ji,
Tópico(s)Software Testing and Debugging Techniques
ResumoIncreasingly, software must dynamically adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Assurance that the adaptive software correctly satisfies its requirements is crucial if the software is to be used in high assurance systems, such as command and control or critical infrastructure protection systems. Adaptive software development for these systems must be grounded upon formalism and rigorous software engineering methodology to gain assurance. In this paper, we briefly describe AMOebA-RT, a run-time monitoring and verification technique that provides assurance that dynamically adaptive software satisfies its requirements.
Referência(s)