InfoQ Homepage Presentations The Evolution of Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+
The Evolution of Testing Methodology at AWS: From Status Quo to Formal Methods with TLA+
59:21
Summary
Tim Rath explains how and why Amazon incorporated more powerful testing methodologies, ultimately leading them to the use of formal methods where TLA+ has become a cornerstone to our overall strategy.
Bio
Tim Rath has been building large scale distributed systems at Amazon for the past eleven years.
About the conference
Software is Changing the World. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.
Feb 21, 2015