Testing Computer Software, Second Edition
Testing Computer Software, Second Edition
ACM SIGMETRICS Performance Evaluation Review
Research challenges in control engineering of computing systems
IEEE Transactions on Network and Service Management
On the Value of Coordination in Distributed Self-Adaptation of Intrusion Detection System
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special Section: Extended Version of SASO 2011 Best Paper
| Hi-index | 0.01 |
Over the last decade, there has been great progress in using formal methods from control theory to design closed loops in software products. Despite this progress, formal methods are rarely used by software practitioners. One reason is the substantial risk of making changes to closed loops, code that is typically complex and performance sensitive. We argue that broad adoption of formal methods for controller design requires addressing the reduction of risk in making changes to controller implementations. To this end, we propose a framework for unit testing controller implementations that addresses scenario coverage, scenario evaluation, and runtime efficiencies for scenario execution. We give examples of applying this framework to the Microsoft .NET Thread Pool, the Google Cluster Manager, and a Google stream processing system.