Формальні методи побудови програм: тестування та оцінка надійності
Викладач: Слабоспицька Ольга Олександрівна
р.т. 526 45 79
ols.07@mail.ru
Основна література:
Майерс Г. Искусство тестирования программ.-M: Финансы и статистика, 1982. – 196 с.
Коликова Т.В., Котляров В.П. Основы тестирования программного обеспечения. Учебное пособие – Интуит, 2006 - 285 с.
Основы инженерии качества программных систем / Ф.И.Андон, Г.И.Коваль, Т.М. Коротун, Е.М.Лаврищева, В.Ю. Суслов // 2-е изд. – К.: Академпериодика. – 2007. – 672 с. Розд. 5-7.
Майерс Г. Надежность ПО – М., Мир, 1980 – 360 с.
Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. Учебное пособие - Бином, 2008 – 368 с.
Фолк Д., Нгуен Е., Канер С. Тестирование программного обеспечения – Диасофт, 2003 – 400 с.
Макгрегор Дж., Сайкс Д. Тестирование объектно-ориентированного программного обеспечения. Практическое пособие - 2002 -432 с.
Стотлемайер Д. Тестирование Web-приложений //М.: «КУДИЦ-ОБРАЗ», 2003. - 240 с.
Рэшка Д., Пол Д., Дастин Э. Автоматизированное тестирование программного обеспечения - Лори, 2003. – 592 с.
Савин Р. Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапах. – М.: Дело, 2007. – 312 с.
Інтернет-ресурси:
Портал Software-Testing.RU
Портал “Профессия тестировщик ПО” – Available at http://tester.com.ua/books
Портал “Про Тестинг - Тестирование Программного Обеспечения” – Available at http://www.protesting.ru
Офіційний сайт лабораторії тестування SQALab” – Available at http://www.sqalab.ru/content/index.htm
Портал “Я — QA | Скажи багам нет!” – Available at http://iqa.com.ua/
Портал об автоматизированном тестировании ПО – Available at http://automated-testing.info/
Портал “Информационная безопасность без паники и всерьез” – Available at http://bugtraq.ru/
Лекція 1. (4_09_12). Сутність тестування й інженерії надійності та взаємозв’язки між ними.
1.1. Вступ. Обґрунтування актуальності та мета курсу.
Стрімкий розвиток програмної індустрії в світі та в Україні обумовлює дедалі жорсткіші вимоги до якості створюваних продуктів – програмних систем (Software Systems) і компонентів повторного використання (reusable components) – та ресурсні обмеження їх досягнення. Для задоволення цих вимог у процесі розроблення програмних продуктів передбачається спеціальний вид діяльності, названий гарантуванням якості (Quality assurance).
Тестування є невід’ємною складовою гарантування якості, що може бути неформально описана як система взаємопов’язаних дій з контролювання якості програмного продукту на всіх стадіях його розроблення.
Мета курсу полягає у висвітленні основних понять в галузі тестування й оцінки надійності програмних систем, сучасних підходів і методів тестування та задач, моделей і методів інженерії надійності, а також технологічних засад і математичного апарату розгортання ресурсно ефективних процесів тестування й забезпечення надійності у життєвому циклі програмних систем.
Зростаюча актуальність проблематики курсу обумовлена:
1) зростанням масштабу потенційних негативних наслідків помилок у програмних продуктах критичного призначення через поширення їх застосування в медицині, енергетиці, засобах зв’язку тощо;
2) впровадженням індустріальних технологій повторного використання готових ресурсів, для яких необхідний гарантований рівень якості;
3) розвитком нових організаційних форм розподіленого розроблення й використання програмних продуктів;
4) зростанням витрат на опрацювання помилок у продуктах залежно від часу між моментами їх внесення й виявлення та обсягом проекту (див. рис. 1.1).
Рис. 1.1 – Динаміка втрат за невчасного виявлення помилок