.RU

Учебная программа по дисциплине метрология и качество программного обеспечения краснобаев Ю. Л


УЧЕБНАЯ ПРОГРАММА ПО ДИСЦИПЛИНЕ

МЕТРОЛОГИЯ И КАЧЕСТВО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

Краснобаев Ю.Л.


Для очной формы обучения ВСЕГО 40

лекции 24

семинары 10

Всего аудиторных занятий 34

самостоятельная работа 6


Требования ГОС к обязательному минимуму содержания основной

образовательной программы:

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


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

В результате изучения дисциплины каждый студент должен:

Основные виды занятий: лекции и практические занятия.

Основные виды текущего контроля занятий: коллоквиумы.

Основной вид рубежного контроля знаний: экзамен.


^ СОДЕРЖАНИЕ КУРСА

Тема 1. Метрология программного обеспечения

Основные понятия и определения. Задача количественной оценки качества программного обеспечения. Основы метрологической оценки ПО. Задачи метрологии качества ПО. Стандарты управления качеством ПО. Сущность стандартизации, роль и место стандартизации в производстве и применении программного обеспечения, нормативные документы по стандартизации и виды стандартов.

^ Тема 2. Качество программного обеспечения

Характеристики качества ПО. Система качества стандарта ISO 9126: характеристики качества, показатели характеристик. Система качества ГОСТ 28195-89: факторы и критерии качества программного обеспечения, метрики и оценочные элементы.

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

^ Тема 3. Сложность программного обеспечения

Виды сложности при разработке и эксплуатации ПО. Временная, программная, информационная сложности. Измерение и оценка сложности ПО.

^ Тема 4. Корректность программного обеспечения

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

^ Тема 5. Надежность программного обеспечения

Основные понятия надежности ПО, методы измерения. Методы обеспечения надежности. Показатели надежности. Определение показателей надежности. Аналитические, имитационные, экспериментальные методы определения показателей надежности. Моделирование и обеспечение надежности при создании ПО. Тестирование программ. Инструментальные средства измерений и оценки качества программного обеспечения.

^ Тема 6. Сертификация программного обеспечения

Сертификация и система сертификации. Добровольная и обязательная сертификация. Виды сертификационных испытаний ПО. Стандарты сертификации ПО. Формы подтверждения соответствия. Аккредитация органов сертификации и испытательных лабораторий.


ЛИТЕРАТУРА

Основная:

  1. Е.В.Крылов, В.А.Острейковский, Н.Г.Типикин Техника разработки программ: В 2 кн.: Кн.2: Технология, надежность и качество программного обеспечения. — М: Высшая школа, 2008.

  2. Г. Н. Черкесов Надежность аппаратно-программных комплексов. С.П: Питер, 2005.


Дополнительная:

  1. Пальчун Б.П., Юсупов P.M. Оценка надежности программного обеспечения. - Л: Наука, 1994.

  2. Липаев В. Выбор и оценивание характеристик качества программных средств. Методы и стандарты. - М.: Синтег, 2001.

  3. Майерс Г. Надежность программного обеспечения. - М.: Мир, 1980.

  4. Изосимов А.П., Рыжко К.К. Метрическая оценка качества программ. -М.:МАИ, 1989.

tonkie-kommunikativnie-vliyaniya-n-i-k03l0v-semnadcat-mgnovenij-uspeha-strategii-liderstva-vnimanie.html
tonkie-tela-cheloveka-tihoplav-v-yu-tihoplav-t-s.html
tonkoplenochnie-kondensatori-i-induktivnosti.html
tonok-put-lyubvi-lyubov-klyuch-mastera-pesn-pervaya-lyubov-klyuch-mastera.html
too-aktas-m-rnn-600500515499-iik-052467762-ao-agf-bank-centrkredit-bik-190501719-respublika-kazahstan-g-almati-ul-bulkusheva-8-b-telfaks-8-727-2-33-30-33-233-28-97-telsot-8701277-49-98-e-mail-aktas-m-mail-ru.html
too-enrc-kazakhstan-zakazchik-donskoj-gok-filial-ao-tnk-kazhrom-ao-intergaz-centralnaya-aziya-filial-umg-aktobe.html
  • ucheba.bystrickaya.ru/povtornie-operacii-v-otdalennie-sroki-posle-radikalnoj-korrekcii-tetradi-fallo-14-01-26-serdechno-sosudistaya-hirurgiya-14-01-13-luchevaya-diagnostika-luchevaya-terapiya.html
  • knigi.bystrickaya.ru/soderzhanie-programmi-kursa-tema-1-vvedenie-v-informatiku-s-m-movshovich-kand-tehn-nauk-docent.html
  • obrazovanie.bystrickaya.ru/prezentaciya-magisterskih-programm-universiteta-heriot-watt-19-noyabrya-v-10-00-ch-po-adresu-ul-bolshaya-krasnaya-55-7-j-korpus.html
  • tests.bystrickaya.ru/literatura-141-prilozheniya.html
  • reading.bystrickaya.ru/kommentarij-k-razdelam-makroekonomicheskaya-statistika-i-regionalnaya-statistika.html
  • diploma.bystrickaya.ru/vakuumnoe-napilenie.html
  • exam.bystrickaya.ru/vistavochnaya-deyatelnost-turfirm.html
  • essay.bystrickaya.ru/derzhavna-mitna-poltika.html
  • lektsiya.bystrickaya.ru/poryadok-priema-rukovodstvom-sharkovshinskogo-rovd.html
  • universitet.bystrickaya.ru/svedeniya-instrukciya-uchastnika-razmesheniya-zakaza.html
  • portfolio.bystrickaya.ru/p-e-r-e-ch-e-n-paspor-tfederalnoj-celevoj-programmi-deti-rossii-na-2007-2010godi-naimenovanie-programmi.html
  • institut.bystrickaya.ru/struktura-i-zakonomernosti-razvitiya-ekonomicheskih-otnoshenij-stranica-7.html
  • bukva.bystrickaya.ru/normativnie-materiali-i-uchebno-metodicheskaya-literatura-uchebnaya-programma-disciplini-prestupleniya-protiv-gosudarstvennoj.html
  • urok.bystrickaya.ru/poyasnitelnaya-zapiska-k-tematicheskomu-planirovaniyu-po-anglijskomu-stranica-8.html
  • uchit.bystrickaya.ru/svetloj-pamyati-semi-ali-shogencukova-posvyashayu-stranica-14.html
  • testyi.bystrickaya.ru/affilirovannoe-lico-godovoj-otchet-za-2007-god.html
  • letter.bystrickaya.ru/na-zasedanie-komissii-priglasheni.html
  • books.bystrickaya.ru/doklad-o-rabote-chetvertogo-soveshaniya-specialnoj-rabochej-gruppi-otkritogo-sostava-po-obzoru-osushestvleniya-konvencii.html
  • ucheba.bystrickaya.ru/prognozirovanie-i-planirovanie-ekonomiki-uchebnaya-programma-dlya-specialnostej-1-26-02-03-marketing-1-25-01-07-ekonomika-i-upravlenie-na-predpriyatii.html
  • universitet.bystrickaya.ru/tema-3-vnutrennie-istochniki-finansirovaniya-sanacii-predpriyatiya.html
  • tests.bystrickaya.ru/kursovaya-po-konstitucionnomu-pravu-rf-pravovoe-polozhenie-inostrannih-grazhdan-v-rossijskoj-federacii.html
  • textbook.bystrickaya.ru/imennoj-ukazatel-ukazatel-cheboksari.html
  • university.bystrickaya.ru/glava-17-monokapitalizm-vnutri-i-vne-izdanie-2-e-ispravlennoe-i-dopolnennoe.html
  • crib.bystrickaya.ru/kniga-ta-samaya-cel-stranica-13.html
  • uchit.bystrickaya.ru/tehnicheskoe-moloko-kompaniya-avtor-ne-ukazan-26052008-020-str-12-gosduma-rf-monitoring-smi-24-26.html
  • gramota.bystrickaya.ru/vvedenie-programma-razvitiya-oon.html
  • textbook.bystrickaya.ru/izbiratelnij-uchastok-385-spiso-k.html
  • spur.bystrickaya.ru/literatura-orlov-as-georgiev-va-osnovi-kursa-istorii-rossii-m-prostor-1997.html
  • university.bystrickaya.ru/esep-komitetn-zhmisi-turali-esept-sondaj-a-oblistardi-respublikali-maizi-bar-alalardi-zhne-astanani-tekseru-komissiyalari-zhrgzgen-memlekettk-arzhili.html
  • studies.bystrickaya.ru/klimaticheskie-ekologicheskie-faktori-i-obekti-dendrologii-ponyatie-o-zhiznennoj-forme.html
  • prepodavatel.bystrickaya.ru/the-analysis-of-examples-of-translating-transformations.html
  • kanikulyi.bystrickaya.ru/zadachi-konkursa-sbor-i-obobshenie-informacii-o-dejstvuyushih-sistemnih-podhodah-v-organizacii-deyatelnosti-uchenicheskogo-samoupravleniya-obsheobrazovatelnih-uchrezhdenij-stavropolskogo-kraya.html
  • tests.bystrickaya.ru/konspekt-lekcij-po-kursu-osnovi-filosofii.html
  • laboratornaya.bystrickaya.ru/rabochaya-programma-disciplini-v-dv2-koncepcii-i-modeli-upravleniya-chelovecheskimi-resursami-napravlenie-podgotovki-visshego-professionalnogo-obrazovaniya.html
  • writing.bystrickaya.ru/audit-ucheta-malocennih-i-bistroiznashivayushihsya-predmetov-chast-3.html
  • © bystrickaya.ru
    Мобильный рефератник - для мобильных людей.