Dependable Computing and Online Testing in Adaptive and Configurable Systems
IEEE Design & Test
The Vision of Autonomic Computing
Computer
A Framework for Assessing Dependability in Distributed Systems with Lightweight Fault Injectors
IPDS '00 Proceedings of the 4th International Computer Performance and Dependability Symposium
Reducing wasted development time via continuous testing
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Reconfigurable Architecture for Autonomous Self-Repair
IEEE Design & Test
An experimental evaluation of continuous testing during development
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Computer
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Autonomous FPGA Fault Handling through Competitive Runtime Reconfiguration
EH '05 Proceedings of the 2005 NASA/DoD Conference on Evolvable Hardware
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Verifying and Analyzing Adaptive Logic through UML State Models
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Self-adaptive software: Landscape and research challenges
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Model evolution by run-time parameter adaptation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Software Engineering for Self-Adaptive Systems: A Research Roadmap
Software Engineering for Self-Adaptive Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A goal-oriented software testing methodology
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Requirements reflection: requirements as runtime entities
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
On the consistency, expressiveness, and precision of partial modeling formalisms
Information and Computation
Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Fuzzy Goals for Requirements-Driven Adaptation
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Adaptive Software Needs Continuous Verification
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Run-time efficient probabilistic model checking
Proceedings of the 33rd International Conference on Software Engineering
A framework for evaluating quality-driven self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Runtime verification of component-based systems
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A formal approach to adaptive software: continuous assurance of non-functional requirements
Formal Aspects of Computing
Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
A fast and elitist multiobjective genetic algorithm: NSGA-II
IEEE Transactions on Evolutionary Computation
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Automatically RELAXing a goal model to cope with uncertainty
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Automated reliability estimation over partial systematic explorations
Proceedings of the 2013 International Conference on Software Engineering
Hi-index | 0.00 |
It is challenging to design, develop, and validate a dynamically adaptive system (DAS) that satisfies requirements, particularly when requirements can change at run time. Testing at design time can help verify and validate that a DAS satisfies its specified requirements and constraints. While offline tests may demonstrate that a DAS is capable of satisfying its requirements before deployment, a DAS may encounter unanticipated system and environmental conditions that can prevent it from achieving its objectives. In working towards a requirements-aware DAS, this paper proposes run-time monitoring and adaptation of tests as another technique for evaluating whether a DAS satisfies, or is even capable of satisfying, its requirements given its current execution context. To this end, this paper motivates the need and identifies challenges for adaptively testing a DAS at run time, as well as suggests possible methods for leveraging offline testing techniques for verifying run-time behavior.