3 ms·
Sqlite has a fairly exhaustive test suite. I wonder how far we are from auto-generating code which manages to pass these tests and maybe produce same results o
by fooker 4y ago
Sqlite has a fairly exhaustive test suite.
I wonder how far we are from auto-generating code which manages to pass these tests and maybe produce same results on random queries compared to SQLite3.
Two years ago, I’d have said 50 years. That estimate is now blown.
- tonyedgecombe 4y agoOr generating the test suite from the specification. Or finding ambiguities in the specification. I suspect our jobs are going to change quite a lot in the coming years.
- chasil 4y agoThe final test suite was used to pass DO-178B, allowing SQLite to be the only major database that is approved for use in critical avionics. Dr. Hipp remarked that he spent years of 80 hour weeks attaining this quality. C can be used safely, but it can be very hard.