Assurance for Cloud ComputingRobert V. Binder
About the Topic
Until recently, most IT systems have been a closed universe: application users funded and provisioned the entire software stack, computers, and networks; and only these users could access these resources. Cloud computing means that any networked endpoint, from a cell phone to a supercomputer, can consume, generate, and exchange content with any other endpoint. Oceans of interfaces, processors, storage, channels, and apps can be offered, shared, and used with unprecedented speed and ease. New challenges come with all this. How can anonymous producers and consumers sufficiently trust each other? If we offer a resource to the cloud, how can we be sure it will fulfill its contract and create value? If we depend on cloud resources, how can we be sure they truly support our requirements? This talk will show how model-driven development and model-based testing can assure cloud computing applications. We'll look at how to model cloud interfaces. A brief demo using Microsoft's Spec Explorer and Netmon tools will show how these models automatically generate and run tests.
About the Speaker
Robert V. Binder is an entrepreneur and software technologist with over 34 years of systems engineering experience. As principal of System Verification Associates, he leads teams that deliver advanced IT assurance solutions. He was recently awarded a U.S. Patent for a unique approach to model-based testing of mobile systems. He is a member of the Editorial Board of Software Testing, Verification, and Review and internationally recognized as the author of the definitive Testing Object-Oriented Systems: Models, Patterns, and Tools. Binder holds an MS in Electrical Engineering and Computer Science from the University of Illinois at Chicago and a MBA from the University of Chicago. He is an IEEE Senior Member.