Для ПО какого назначения и сфер применения следует использовать формальную верификацию?

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

В чём преимущество формальной верификации ПО по сравнению с тестированием?

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

Какой вид переносимости программ определяет стандарт POSIX?

на уровне исходных кодов

Назовите некоторые группы API, определяемые стандартом POSIX.

Интерфейс командной строки.

Большинство систем поддерживает терминальный (последовательный) интерфейс POSIX для изменения параметров, таких как скорость передачи, размер символов и т.д.

Перечислите примитивы синхронизации по стандартам POSIX.

мьютэксы, условные переменные,

Средства синхронизации: семафоры, мьютексы и переменные условий

Сколько степеней соответствия ОС стандартам POSIX имеется? Чем они отличаются?

Стандарт POSIX.1 содержит несколько сотен (если не тысяч) требований; считается самоочевидным, что если не выполнено хотя бы одно из них, то система (или прикладная программа) не удовлетворяет стандарту. Вместе с тем, к настоящему времени написано такое количество операционных систем класса UNIX и прикладных программ для них, что вряд ли разумно требовать полного соответствия в указанном смысле. Трудности разработки международного стандарта такого рода усугубляются существованием разных национальных языков. Даже если забыть о прикладных программах, предназначенных для обработки текстов на национальных языках, практически любая прикладная программа должна выдавать какие-то диагностические сообщения и/или воспринимать тексты, вводимые оператором.

Осознавая такого рода трудности, авторы POSIX предлагают уточненную семантику слова "соответствует". Во-первых, вводится несколько видов соответствия (прикладной программы стандарту):

строгое соответствие стандарту POSIX.1;

соответствие международной версии POSIX.1;

соответствие национальной версии POSIX.1;

соответствие POSIX.1 с расширениями.

Назовите известные вам ОС РВ, совместимые со стандартом POSIX.

ñ DSPnano

ñ Unison RTOS

ñ QNX

ñ LynxOS

ñ VxWorks