пятница, 5 августа 2011 г.

[life] Три недели назад норм отпуска сахара не было…

…а сейчас вот есть:

Белорусское экономическое чудо, о котором так долго нам вещали все официальные СМИ, продолжает показывать свое настоящее лицо. Жалко, что трепачи вроде putnik1 о таких вещах не пишут.

[prog] Впечатлила фраза из заметки “Specification Explosion” в блоге Бертранда Мейера

Небольшой пост в блоге Бертранда Мейера под названием “Specification Explosion” (выделение жирным мое):

At a Microsoft Software Verification summer school [1] in Moscow on July 18 — the reason why there was no article on this blog last week — Stefan Tobies, one of the lecturers, made the following observation about the specification effort needed to produce fully verified software. In his experience, he said, the ratio of specification lines to program lines is three to one.

Т.е. на прошедшем 18 июля 2011 в Москве мероприятии под названием Microsoft Software Verification summer school один из лекторов, Стефан Тобиес, поделился своими наблюдениями о соотношении количества строк спецификаций к количеству строк в программе – у него получается 3:1.

Т.е. для того, чтобы получить верифицируемую программу требуется, чтобы спецификация для нее была в три раза больше объема самой программы.

Думаю, что при таких раскладах в ближайшие десятилетия годы вопрос о верификации подавляющего большинства коммерчески разрабатываемого ПО даже не будет выноситься на повестку дня.