Systems Correctness Practices at Amazon Web Services

1

Keploy

#Developer Tools #Automated Testing #Website Testing 21 social mentions

2

rr

Https://rr-project.org/ for languages that can be debugged by gdb.

#Software Development #IDE #Decompiler 75 social mentions

3

mgmt

It's very interesting (I applaud this) that one of the main goals seems to be to make it more approachable as compared to TLA+, but then they go in write it in C# which I consider to be an incredibly unapproachable community and language. I'm not trying to draw the ire of the Microsoft fan boys, and there are certainly smart people working on that, but it's just not going to happen for most people. Had this been in golang, or maybe java, I'm sure many more hands would be digging in! Having said that, I hope this helps bring correctness and validation more into the mainstream. I've been casually following the project for a while now. My long-term goal is to integrate model validation into <a href="https://github.com/purpleidea/mgmt/">https://github.com/purpleidea/mgmt/</a> so if this is an area of interest to you, please let me know!

#Developer Tools #DevOps Tools #Productivity 37 social mentions