Исходное сообщение Nema_Alex: Lisentia, а шо, а шо... Очень даже интересно.. Жуть, как диаграммы люблю рассматривать :)... Вот наделаю завтра их дюжину, на основу статистических данных и буду любоваться... С утра :(.
Неее, не буду выкладывать, не хочу превращать дневник в форум по программированию, таких и так полно.
Верификация... знакомое словечко.. Это что-то мы проходили тоже. Проверка данных, полученных программным путём? Или что-то такое... не помню уже толком.
Верификация - это доказательство правильности, в данном случае доказательство правильности программы, находятся инварианты и декременты всех циклов, доказывается что программа не повиснет, что она соответствует спецификации. Все доказывается руками на бумаге, математическими методами.
В колонках играет:
04-schattengesang
LI 3.9.25