Livejournal
Log in
Post
Friends
My journal
thesz
Про тесты, SQLite и формальную проверку кода.
Dec 28, 2011 23:03
Итак, в SQLite действительно 1100 строк кода тестов к одной строке кода:
As of version 3.7.8 (all statistics in the report are against that release of SQLite), the SQLite library consists of approximately 77.6 KSLOC of C code. (KSLOC means thousands of "Source Lines Of Code" or, in other words, lines of code excluding blank lines and comments.) By comparison, the project has 1177 times as much test code and test scripts - 91392.4 KSLOC.
Тем не менее,
Coverity
смогла отыскать проблемы
в столь хорошо оттестированном коде.
тестирование программ
,
формальные методы
Leave a comment
Read comments 12
Previous post
Next post
Up