BT

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+

Bookmarks
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.

Recorded at:

Feb 21, 2015

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT

Is your profile up-to-date? Please take a moment to review and update.

Note: If updating/changing your email, a validation request will be sent

Company name:
Company role:
Company size:
Country/Zone:
State/Province/Region:
You will be sent an email to validate the new email address. This pop-up will close itself in a few moments.