Ответы на тестовые вопросы № 31-60 дисциплины "Микропроцессорные информационно-управляющие системы"

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

-

верификацией

32) На какие группы можно разбить методы обнаружения ошибок в ПО?

-

Пассивные и активные.

33) Какой метод является основным активным методом обнаружения ошибок программирования?

-

Тестирование.

34) Какие дестабилизирующие факторы, нарушающие функционирование ПО, относят к внешним дестабилизирующим факторам

-

Искажения информации в каналах связи

35) Какие дестабилизирующие факторы, нарушающие функционирование ПО, относят к внутренним дестабилизирующим факторам

-

chk

---

Ошибки программирования ПО

Ошибки проектирования ПО

Недостаточное качество средств защиты ПО

36) Ошибки проектирования ПО относят к

-

Внутренним дестабилизирующим факторам

37) Какой из методов обеспечения надежности ПО является наиболее эффективным?

-

Методы обеспечения устойчивости к ошибкам.

38) Процесс выполнения программы на заранее известных входных данных с целью обнаружения ошибок называется ...

-

тестированием

39) К какой группе относятся методы обеспечения надежности ПО, направленные на выявление ошибок в программном обеспечении?

-

Методы обнаружения ошибок.

40) Какие дестабилизирующие факторы, нарушающие функционирование ПО, относят к пассивным дестабилизирующим факторам

-

chk

---

НИЧЕГО НЕ ОТМЕЧАТЬ,… нет активно\пасивных дест. Факов

41) Изменения конфигурации системы, нарушающие функционирование ПО относят к

-

Внешним дестабилизирующим факторам

42) Какие критерии являются критериями полноты функционального теста?

-

chk

---

Проверка всех типов выходных значений.

Проверка всех типов входных значений.

Проверка всех функций программы.

Проверка всех ограничений.

43) Ошибки персонала при эксплуатации ПО относят к

-

Внешним дестабилизирующим факторам

44) К какой группе относятся методы обеспечения надежности ПО, позволяющие программному обеспечению правильно функционировать при наличии ошибок в программном обеспечении или отказов (сбоев) аппаратных средств?

-

Методы обеспечения устойчивости к ошибкам.

45) Какие дестабилизирующие факторы, нарушающие функционирование ПО, относят к активным дестабилизирующим факторам

-

chk

---

 НИЧЕГО НЕ ОТМЕЧАТЬ,… нет активно\пасивных дест. Факов

46) Cвойство программы вычислять правильные или защитные выходные данные при наличии ошибок или появлении отказов аппаратуры и некорректных входных данных называется

-

Безопасностью

47) Какие методы повышения надежности программного обеспечения основаны на детальном анализе команд микропроцессора с целью прогнозирования поведения системы при отказах?

-

методы защищенного программирования

48) Недостаточное качество средств защиты ПО относят к

-

Внутренним дестабилизирующим факторам

49) Угрозы надежности ПО (дестабилизирующие факторы) делятся на

-

Внутренние и внешние

50) Укажите принципы построения программ, входящие в понятие структурного программирования?

-

chk

---

Принцип нисходящего проектирования.

Модульность программы.

51) Какие методы позволяет увеличить диверситет программ?

-

chk

---

* Использование различных версий языков или разных версий компиляторов с одного и того же языка.

* Создание версий программы разными программистами.

* Использование упрощенной модели программы в качестве другой версии.

* Использование разных методов логической организации программ.

52) Ошибки программирования ПО относят к

-

Внутренним дестабилизирующим факторам

53) Какой из этих принципов не относится к пассивным методам обнаружения ошибок?

-

Тестирование.

54) К какой группе методов обеспечения надежности ПО относят методы автоматизации проектирования?

-

Методы рациональной организации труда.

55) Cвойство свойство ПО исключать возможность обращения одного пользователя к данным и программам, являющимися собственностью другого пользователя называется

-

Недоступностью

56) На чем базируется метод построения самопроверяемых программ?

-

На результатах синтеза самопроверяемых схем.

57) Процесс подтверждения соответствия программы нормативным документам называется ...

-

сертификацией

58) Искажения информации в каналах связи, нарушающие функционирование ПО относят к

-

Внешним дестабилизирующим факторам

59) При каком тестировании программного обеспечения учитывается алгоритм программы?

-

При тестировании модулей.

60) В каком стандарте определены основные показатели качества программного обеспечения?

-

IEC 61508