г. Москва, 1-й Балтийский пл., 2/13
Принимаем заказы с 9.00 до 18.00
по телефону 8 (495)  961−99−74
   

ПОЛИМЕРНО-БИТУМНЫЕ МАТЕРИАЛЫ

Полимерно-битумные материалы не просто намного экологичнее и экономичнее классических. Их разработка привела к появлению нового типа материалов.
 

ПРОФНАСТИЛ И САЙДИНГ

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

Три главные проблемы качества программного обеспечения

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

Вторая проблема связана с тем, что исходные коды, будучи однажды разработаны, в дальнейшем могут только проверяться с помощью открытых приемов, как это было описано в подразделе 17.4.4. И опять - обнаружение 10 отказов не дает никакой информации о том, осталось ли их еще один, 10 или 100.

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

• Спецификация требований и проектирование. Существует развивающаяся группа языков проектирования, охватывающая формальные графические и алгебраические методы представления. Для составления требований в настоящее время используются такие средства, как VDM (Vienna Development Method - Венский метод разработки), OBJ (Object Oriented Code - Объектно-ориентированный код) и Z (метод, разработанный Оксфордским университетом). Они требуют формулировок на формальном языке и, при определенном расширении, использования Булевых выражений. Достоинством этих методов является то, что они существенно снижают возможность неясностей и пропусков и предоставляют более формальную структуру для проверки требований.

Способы проектирования


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

Формальные методы в равной мере применимы к разработке технического и программного обеспечения. В действительности они успешно используются при проектировании крупных интегрированных электронных устройств, например таких, как чипы процессора VIPER (Verifiable Integrated Processor for Enhanced Reliability, т.е. проверяемый интегрированный процессор повышенной надежности), выпускаемые компанией RSRE, г. Малверн, Великобритания.

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