|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Boris Sivko 2:452/26.14 09 Apr 2003 13:20:18
To : Vitaly Lugovsky
Subject : Доказательство правильности ПО
--------------------------------------------------------------------------------
Дело "Re: Доказательство правильности ПО" было в Среда Апрель 09 2003 03:53
и заведено оно от Vitaly Lugovsky к Boris Sivko, но мне кажется, что в нём не
хватало нескольких строк:
BS>> В тематике данной эхи интересует:
BS>> - алгоритмизация уже существующего ПО для док-ва;
VL> В смысле - написание спецификаций и/или аннотаций?
VL> Это эквипенисуально собственно самим алгоритмам.
BS>> Я уже не в первый раз сталкиваюсь с задачей, когда есть прога, а
BS>> автора нет и нужно по поставленной задаче и условиям док-ва строить
BS>> всё с нуля.
VL> А... Догадаться по реализации, какой была постановка задачи?
Совершенно не то.
Есть эл. схема с контроллелом, известно что она делает и что она на самом деле
собрана и работает. Hужно взять прогу и проверить её на возможность опасных
отказов. Автор уже исчез, есс-но для док-ва прогу он пост- и пред- условиями не
обеспечил, не говоря уже о инвариантах циклов. Ещё хуже если практически не
соблюдается модульный принцип построения ПО. Так вот: нужно данное ПО привести к
такому виду алгоритма, чтобы было проще осуществлять док-во при известных
условиях док-ва.
Счастливо, Vitaly. Вспоминай обо мне...
... I'll be back...
* Origin: ГОМЕЛЬ - самый ГОМЕЛЬ в мире! (2:452/26.14)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
Доказательство правильности ПО