Ответы на модуль 2 (КАЧЕСТВО РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ) по предмету технологии разработки программного обеспечения.
1) В каком году институт SEI — подразделение университета Карнеги-Меллона — с помощью корпорации Митре начал разработку основ модели эффективного процесса изготовления программ?
в 1986 г.
2) Как называется отношение уровня услуг, предоставляемых программных средств (ПС) пользователю при заданных условиях, к объёму используемых ресурсов?
эффективность ПС
3)Укажите верную формулировку теоремы об ослаблении свойств программы
пусть Р, Q, P1 и Q1 — предикаты над информационной средой IS, для которых справедливы импликации Р1=>Р и Q=>Q1, и пусть для оператора S справедливо свойство {P}S{Q}. Тогда справедливо свойство {PI}S{Q1}
4) Что включает в себя управление продукцией в стандарте ISO 9001?
контроль за версиями систем, за приобретением готовых пакетов и программ
5) При каком типе тестирования программного обеспечения тестирующий знает только внешние характеристики системы, но не знает, как она работает?
при системном тестировании
6) Какова цель стандарта ISO 9001?
построение системы сквозного управления качеством
7) Какой подход к обеспечению надежности программных средств означает, что в программе содержатся средства, позволяющие локализовать область влияния отказа программы, либо уменьшить его неприятные последствия, а иногда предотвратить катастрофические последствия отказа?
обеспечение устойчивости к ошибкам
8) Какие вопросы регламентирует система стандартов ISO 9001, разработанная Международной организацией стандартизации?
вопросы управления качеством
9) Какая из перечисленных частей стандарта ISO 9001 является важнейшей?
управление разработкой
10) Укажите характеристику первого, начального уровня зрелости организации, согласно модели эффективного процесса изготовления программ
спонтанный и иногда хаотический процесс разработки программ, процедуры разработки не определены, и успех зависит от индивидуальных усилий и героизма работников
11) Целью какого подхода к обеспечению надежности программных средств является недопущение ошибок в готовых продуктах?
предупреждение ошибок
12) Естественной единицей тестирования является
класс
13) На каком уровне зрелости организации, согласно модели CMM, одним из ключевых процессов является предотвращение ошибок?
на оптимизированном
14) Какой тип контроля принимаемых решений при разработке программных средств позволяет обеспечивать однозначность интерпретации полученного документа?
смежный контроль
15) Каково соотношение между моделью СММ и стандартом ISO 9001?
ISO 9001 используется как структура, тогда как СММ определяет детали требований к процессу разработки для включения их в документы по управлению качеством
16) Чем характеризуются организации на четвертом уровне зрелости, согласно модели эффективного процесса изготовления программ?
у организации имеются способы детального измерения качества процесса и разрабатываемого продукта. Количественные характеристики процесса разработки и разрабатываемых систем хорошо изучены и управляемы
17) Укажите верное пояснение триады Хоора {Р} S {Q}
оператор S обладает свойством {P}S{Q}, если всякий раз, когда перед выполнением оператора S истинен предикат Р, после выполнения этого оператора S будет истинен предикат Q
18) Какой уровень зрелости организации, согласно модели эффективного процесса изготовления программ, характеризуется тем, что в организации имеются основные процессы управления, позволяющие отслеживать как функциональные характеристики разрабатываемой системы, так и график работ и их стоимость?
второй уровень, названный повторяющимся
19) Что включается в понятие качества программного средства (ПС)?
совокупность его черт и характеристик, которые влияют на его способность удовлетворять заданным потребностям пользователей
20) Какая из перечисленных теорем выражает свойство разветвления конструкций структурного программирования?
пусть Р, Q и R — предикаты над информационной средой IS, a S1 и S2 — обобщенные операторы, обладающие соответственно свойствами {P,Q}S1{R} и {┐P,Q}S2{R}. Тогда для условного оператора ЕСЛИ Р ТО S1 ИНАЧЕ S2 ВСЕ ЕСЛИ справедливо свойство {Q} ЕСЛИ Р ТО S1 ИHАЧE S2 ВСЕ ЕСЛИ {R}
21) Какая из перечисленных теорем выражает свойство следования конструкций структурного программирования?
пусть Р, Q и R — предикаты над информационной средой IS, a S1 и S2 — обобщенные операторы, обладающие соответственно свойствами {P}S{Q} и {Q}S2{R}. Тогда для составного оператора S1;S2 справедливо свойство {P}S1;S2{R}
22) Какой подход к обеспечению надежности программных средств связан с организацией процессов их разработки?
предупреждение ошибок
23) Что означает свойство завершаемости выполнения программы?
отсутствие в ней зацикливания при любых исходных данных
24) Какие критерии качества программных средств являются обязательными?
функциональность и надежность
25) Какой тип тестирования программного обеспечения представляет собой тестирование того, как отдельные элементы программы работают вместе?
интеграционное тестирование