|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Aleksey Barabanov 2:5020/400 23 Dec 2004 12:32:01
To : Alexander Lubyagin
Subject : Re: CorelDraw
--------------------------------------------------------------------------------
Alexander Lubyagin wrote:
> 22 Dec 04 23:13, you wrote to me:
>
> AB> А...! Hаверное Моррис ломанул ДОС ;))))
>
> Слышал, что под ДОС были эмуляторы многозадачности,
> думаю, что у Морриса хватило бы ума прикрутить sendmail к DOS. :)
Мне правда помнится, что история с сендмейлом это уже "другая" история.
> А если серьезно, то для анализа таких сложных программ
> полезно применять метод декомпозиции ("разделяй и властвуй")
> Математическая аналогия - факторизация множества состояний
> или множества объектов по какому-либо отношению эквивалентности
> (например - отношение принадлежности объекту определенному
> типу объектов).
>
> Это позволяет снизить число ошибок и на этапе проектирования
> систем, т.к. обычно число ошибок пропорционально количеству
> связей между компонентами прилжения, а также - пропорционально
> объему самого исходного текста (своего рода - импульсный
> и равномерный шумы).
>
> P.S. Попытался описать свое представление, хотя можно бы было
> порыться по умным книжкам по тестированию программ ...
Говоря попросту, это называется проверкой на всем множестве входных данных.
Практически нерешаемая задача, если механизм проверки не создается на этапе
проектирования. Примерно так, компилит компилер if(A), а к нему создает
одновременно и генератор {A}, которй этот if(A) переберает по всему
множеству состояний. Есть такая теория надежного программирования. В
практике мало применимо к сожалению.
--
Bye.
Aleksey Barabanov <alekseybb at mail.ru>
--- ifmail v.2.15dev5.3
* Origin: home (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
