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

Андон Ф.И., Коваль Г.И., Коротун Т.М., Лаврищева Е.М., Суслов В.Ю. Основы инженерии качества программных систем. 2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления...

Учебно-методическое пособие. — Минск: БГУИР, 2012. — 72 с. Рассмотрена классификация видов тестирования. Сформулированы основные требования к тест-кейсам. Обсуждены вопросы эффективности автоматизации процесса тестирования программного обеспечения. Представлены основные характеристики продуктов-лидеров, предназначенных для автоматизации процесса тестирования. Рассмотрены основные приемы работы при создании тест-кейсов в среде SilkTest 8.0. Дан пр...

-М., "Питер", 2004 г. Книга доктора Бейзера "Тестирование черного ящика" давно была признана классическим трудом в области поведенческого тестирования разнообразных систем. В ней глубоко рассматриваются основные вопросы тестирования программного обеспечения, позволяющие отыскать максимум ошибок при минимуме временных затрат. Черезвычайно подробно излагаются основные методики тестирования, покрывающие все спектры аспектов разработки программных си...

Critical Testing Processes Plan, Prepare, Perform, Perfect Re x Black Copyright © 2004 by Addison-Wesley All rights reserved ISBN 0-201-74868-1 Ключевые процессы тестирования Планирование , подготовка , проведение , совершенствовани е РексБлэк Переводчик Павлов М. Научный редактор А, Головко Корректор Килимник Т. Верстка А. Деевой © Издательство "Лори", 2006 Изд. № : ОАІ (03) ЛР№: 07612 30.09.97 г. ISBN 5-85582-239-7 Подписано в...

М.: Лори, 2006. — 566 с. Рик Крэйг ведущий специалист по тестированию программного обеспечения, автор книг нескольких книг, известный лектор и консультант. Среда разработки часто изменяется, в этой связи процессы тестирования программного приобретают все большую роль. Когда методологии ускоренной разработки направлены на потребности компании в ускоренном выпуске продукции, процессы тестирования нацелены на требование выпуска продукции, соответств...

М. : Институт системного программирования, 2006. — 494 с. Аннотация В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение iocoβγδ – обобщение отношения ioco (Input-Output COnformance). Для того, чтобы избегать разрушения реализации при тестировании, отношение строится только на безопасных...

Книга посвящeна вопросам практического применения автоматизации тестирования, которое является одним из важнейших аспектов обеспечения качества программных продуктов. В ней дается детальное описание программных средств, необходимых для повседневной работы в этой области, с указанием конкретных функций и методов трех ведущих поставщиков ПО для автоматизации тестирования: Segue SilkTest, Mercury Interactive WinRunner и Rational Robot. В список тем...

Методичка для курсовой работы 2 курса (3 семестр) Специфицирование программы с помошью таблиц решений; стратегии тестирования; Метод тестирования таблиц решений; Методика выполнения курсовой Работы: ограничения, блок-схемы, теория по курсачу; тестирование методами белого и черного ящиков; оформление курсача. Отфотканная методичка. Незаменим для выполонений курсача по требованиям Гвоздева и Мукасеевой. rn

Статья. Опубликована в материалах конференции "Теплотехника и информатика в образовании, науке и производстве", Екатеринбург, 2013. — 5 с. Нагрузочное тестирование - определение или сбор показателей производительности и времени отклика программно-технической системы или устройства в ответ на внешний запрос с целью установления соответствия требованиям, предъявляемым к данной системе (устройству). В наше время наличие надежного и информативного в...

М.: Институт системного программирования РАН, 2009. – 9 с. Работа представляет собой сравнительный анализ современных подходов к разработке функциональных тестов для моделей аппаратуры: AVM (Advanced Verification Methodology) от компании Mentor Graphics, OVM (Open Verification Methodology) — совместной разработки Mentor Graphics и Cadence Design Systems — и технологии UniTESK (Unified TEsting and Specification tool Kit), разработанной в Институте...

ДМК-пресс, 2013. — 232 с. / Gartner M. ATDD by Example Применяя методику разработки через приемочные тесты (ATDD), заказчики, разработчики и тестировщики получают возможность совместно сформулировать тестопригодные требования, что позволяет создавать высококачественное программное обеспечение в сжатые сроки. Однако на практике многие не понимают, в чем истинный смысл ATDD. Настоящая книга – первое практическое руководство начального уровня по вне...

М.: ЛОРИ, 2003. — 567 c. — ISBN 5-85582-186-2. Книга «Автоматизированное тестирование программного обеспечения» адресована профессионалам в области программного обеспечения, которые занимаются внедрением, управлением и выполнением автоматизированного тестирования в проектах и обязаны производить все эти работы в сжатые сроки. Предметом книги является автоматизированное тестирование в среде клиент-сервер или Web. Книга будет полезна тестировщику/...

Книга «Автоматизированное тестирование программного обеспечения» адресована профессионалам в области программного обеспечения, которые занимаются внедрением, управлением и выполнением автоматизированного тестирования в проектах и обязаны производить все эти работы в сжатые сроки. Предметом книги является автоматизированное тестирование в среде клиент-сервер или Web. Книга будет полезна тестировщику/тест-менеджеру, сталкивающемуся с необход...

Учебное пособие. — Волгоград: ВолгГТУ, 2015. — 120 с. — ISBN 978-5-9948-1853-4 Для проверки правильности программ и систем используются следующие основные направления обеспечения правильности программного обеспечения: формальное доказательство корректности программ; тестирование; организационные методы проверки правильности программ. В пособии кратко описываются эти направления. Основное внимание уделяется процессу тестирования методом черного ящ...

Учебное пособие. – Ульяновск: УлГТУ, 2008. – 96 с. ISBN 978-5-9795-0348-6. Пособие конспективно представляет возможности среды Visual Studio 2005 по организации отладки и тестирования приложений, написанных на С#, и содержит краткое введение в дисциплину тестирования на примерах программ, разработанных на C#. Пособие предназначено для студентов, изучающих высокоуровневые методы информатики и программирования (специальность 080801 «Прикладная инфо...

М.: Вильямс, 2002. — 384 с. — ISBN 5-8459-0336-X. Напряженная, жесткая, порою даже жестокая, конкуренция на современном рынке программного обеспечения заставляет максимально быстро поставлять программные продукты на рынок. Проблема непрерывного поддержания должного уровня качества и, в то же время, соблюдения календарного плана приводит к созданию новых стратегий тестирования, неразрывно связанных с процессом разработки. Не смотря на то, что идеа...

Издательство Вильямс, 2002. 384 с. Напряженная, жесткая, порою даже жестокая, конкуренция на современном рынке программного обеспечения заставляет максимально быстро поставлять программные продукты на рынок. Проблема непрерывного поддержания должного уровня качества и, в то же время, соблюдения календарного плана приводит к созданию новых стратегий тестирования, неразрывно связанных с процессом разработки. Не смотря на то, что идеальное программ...

М.: Институт системного программирования РАН, 2006. – 22 с. В работе исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой информации о состоянии целевой системы в процессе тестирования. В работе пре...

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

СПб.: БХВ-Петербург, 2010. - 560 с. - ISBN: 978-5-9775-0404-1 В книге рассказывается о новых результатах в области верификация с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, би...

Методическое обеспечение к теоретическому курсу по дисциплине «Введение в программную инженерию». ТТИ ЮФУ Таганрог Лекция 7. Качество программного обеспечения. Верификация и аттестация, тестирование. (2 часа)

М.: МЦНМО, 2002. — 416 с.: ил. В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.

2-е изд. — М.: Интуит, 2016. — 348 с. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий.

Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. 2006г

М.: Университет Информационных технологий; БИНОМ. Лаборатория знаний, 2006. — 285 с. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий.

М.: Вильямс, 2010. — 464 с. — ISBN 978-5-8459-1625-9. Тестирование является ключевым компонентом гибкой разработки. Широкое внедрение гибких методов привело к необходимости помещения в центр внимания приемов эффективного тестирования, а гибкие проекты существенно трансформировали роль тестировщиков ПО. Тем не менее, большинство функций тестировщика остается в значительной степени недопонятыми. В чем же состоит истинная роль тестировщика? Нужны ли...

Практ. пособие. — Минск: Четыре четверти, 2015. — 294 с. — ISBN 978-985-7103-91-1. В основу книги положен десятилетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения, так и опытным специалистам — для систематизации уже имеющихся знаний и организации обу...

М.: Институт Системного Программирования РАН, 2008. – 14 с. В данной работе рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), независимо от применяемой при этом технологии. Приводится алгоритм определения достижимых ком...

М.: Институт Системного Программирования РАН, 2008. – 111 с. В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных методов контроля качества и, в частности, верификации в рамках жизненного...

2002 г. В методических рекомендациях рассмотрены основные понятия, факторы и методы обеспечения качества в жизненном цикле (ЖЦ) сложных программных средств (ПС). Систематически изложены основы стандартизации в области качества ПС, а также содержание комплекса международных стандартов, регламентирующих качество их ЖЦ. Представлены принципы и методы верификации, тестирования и испытаний сложных комплексов программ.

М.: СИНТЕГ, 2011. — 408 с. — ISBN 978-5-89638-119-8. Учебник состоит из двух частей. В первой части (7 лекций) рассматриваются системные основы разработки требований к сложным комплексам программ, эталоны при их проектировании и производстве, декомпозиция функций и архитектуры комплексов программ для формирования требований к компонентам и модулям. Изложены требования к характеристикам качества, к тестам и допустимым рискам комплексов программ (К...

М.: Радио и связь, 1986 г. 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников, занимающихся проектированием и эксплуатацией программного обеспеч...

Библия для тесторов ПО. Одна из основополагающих книг. Достаточно широко и популярно излагаются основные принципы методологии тестирования и отладки программ. Рассматриваются вопросы психологии и экономики тестирования. Значительное место отводится методам корректировки программ. Для специалистов, занимающихся программированием, студентов и аспирантов.

Практическое пособие. Основное внимание уделяется реальному планированию и эффективной реализации процесса тестирования ПО. Подробно рассматриваются концептуальные отличия технологий тестирования объектно-ориентированного ПО от таковых для традиционного процедурного ПО. Книга может послужить практическим и учебным руководством для профессиональных разработчиков, предлагая готовые технологии построения надежного, предсказуемого и высокоэффективног...

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

Под. ред А.П. Ершова. - М.: Радио и связь, 1988. - 256с. ISBN: 5-256-00156-6 Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.

М.: Бином, Лаборатория знаний, 2007. — 167 с.: ил. — ISBN 978-5-94774-458-3. Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ подкрепляется приме...

М.: Бином, Лаборатория знаний, 2007. — 167 с.: ил. — ISBN 978-5-94774-458-3. Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ подкрепляется приме...

2-е изд. (эл.). —М. : Бином. Лаборатория знаний, 2013. — 167 с.: ил. — ISBN 978-5-9963-0946-7. Изложена теория тестирования и отладки программ, причем рассматриваются как вопросы, интересные начинающим программистам, так и вопросы, полезные профессионалам, например вероятностные модели оценки количества ошибок в программе и количества необходимых тестов. Описание простой в использовании высокотехнологичной методики тестирования учебных программ п...

22 с. Содержание Основы процесса тестирования ПО. Тестирование и тест-дизайн. Первичное и регрессионное тестирование. Тестовая документация. Что должна содержать тестовая документация и почему. Тестовые объекты и тестовые данные. Идентификатор тесткейса, приоритет, время прохождения. История изменений и история прохождений. Жизненный цикл бага. Основы функционального тестирования (Black-Box). Определение. Black-box, white-box, grey-box тестирован...

Черный Г. - Новосибирск: НГУ, 2006. – 11 слайдов. Цель проекта: разработка и реализация базы данных, хранящей все входные параметры и результаты прогонов; написание программ автоматического сбора данных о прогонах (скриптов); реализация web-интерфейса – доступа к базе данных. Содержание: Вычислительные программы. Погодные приложения. Оптимизация времени исполнения. Автоматизация процесса сбора и доступа к используемым данным и полученным результа...

Московский государственный технический университет имени Н.Э. Баумана, 2003, 45с. Учебное пособие по курсу «Технология программирования» по специальности «Программное обеспечение ЭВМ и информационные технологии». Данная работа имеет цель – познакомить студентов с приемами и методами современного тестирования. В первой части учебного пособия рассказывается о современном подходе к тестированию программного продукта, о методике интегральной оценки т...

М.: Дело, 2007. — 312 с. Одна из причин, побудивших автора написать эту книгу - осознание собственного бессилия в поисках сиюминутного практического смысла при чтении классических сочинений по теории тестирования, в особенности, когда ты в поисках работы и время дорого. Наиболе эффективный подход для тренинга тестировщиков дать им практический инструментарий поставить в нужную сторону мозги, и в бой. Эта книга и есть тот самый практический инстр...

М.: Дело, 2007. — 312 с. Одна из причин побудивших автора написать эту книгу осознание собственного бессилия в поисках сиюминутного практического смысла при чтении классических сочинений по теории тестирования, в особенности, когда ты в поисках работы и время дорого. Наиболе эффективный подход для тренинга тестировщиков дать им практический инструментарий поставить в нужную сторону мозги, и в бой. Эта книга и есть тот самый практический инструме...

М.: Дело, 2007. — 312 с. Одна из причин побудивших автора написать эту книгу осознание собственного бессилия в поисках сиюминутного практического смысла при чтении классических сочинений по теории тестирования, в особенности, когда ты в поисках работы и время дорого. Наиболе эффективный подход для тренинга тестировщиков дать им практический инструментарий поставить в нужную сторону мозги, и в бой. Эта книга и есть тот самый практический инструме...

2-е изд. — М.: Интуит, 2016. — 445 с. Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного обеспечения. По завершении курса студент овладевает всеми основными навыками, нео...

М.: МИФИ, 2006. - 157 с. Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения. Предполагается, что разрабатываемое программное обеспечение является частью более общей системы. Подобная система включает аппаратные, информационные и организационные (чело...

Авторский курс, 11.03.2009, 134 стр. Введение в тестирование программного обеспечения Методы и виды тестирования Тестовая документация. Общие сведения Тестовые требования Тестовые примеры (Test Case) Тестовые планы (Test Plan) Отчеты о прохождении тестов Покрытие программного кода Тестирование пользовательского интерфейса Тестирование объектно?ориентированного программного обеспечения Регрессионное тестирование

Национальный исследовательский Томский политехнический университет. Презентация к докладу. Ерина О.В. - 9 с. 2015г. Актуальность темы Цель Задачи Создание дисциплинарного блога Среда для выполнения практических заданий. Главная страница Результаты

Национальный исследовательский Томский политехнический университет. Выпускная квалификационная работа. Ерина О.В. - 61 с. 2015г. Введение Электронная образовательная среда Создание образовательной среды Заключение Литература

/ - Волгоград: ВолгГТУ, 2006. - 74 с. Ил .15. Табл .2. Библиогр. : 18 назв. © Волгоградский государственный технический университет, 2006 Излагаются подходы и методы тестирования, начиная с проблемы определения термина "тестирование" и общих принципов и заканчивая описанием методов и стратегий тестирования. В частности, рассмотрены методы белого и черного ящика (покрытие операторов, условий, решений, комбинаторного покрытия условий и решений, эк...

СПб.: Питер, 2014. — 255 с. — ISBN 978-5-496-00893-8. В книге описано тестирование программных продуктов в Google: как устроены процессы, как организованы команды, какие техники используются, кто ответственен за качество. Принципы, на которых построено тестирование в Google, применимы в проектах и компаниях любого размера. Авторы книги сами работали над продуктами Google, создавая инструменты тестирования, настраивая процессы и занимаясь непосред...

СПб.: Питер, 2014. — 320 с. — ISBN 978-5-496-00893-8, 978-0321803023. В книге описано тестирование программных продуктов в Google: как устроены процессы, как организованы команды, какие техники используются, кто ответственен за качество. Принципы, на которых построено тестирование в Google, применимы в проектах и компаниях любого размера. Авторы книги сами работали над продуктами Google, создавая инструменты тестирования, настраивая процессы и за...

СПб.: Питер, 2014. — 320 с. — ISBN 978-5-496-00893-8, 978-0321803023. В книге описано тестирование программных продуктов в Google: как устроены процессы, как организованы команды, какие техники используются, кто ответственен за качество. Принципы, на которых построено тестирование в Google, применимы в проектах и компаниях любого размера. Авторы книги сами работали над продуктами Google, создавая инструменты тестирования, настраивая процессы и за...

СПб.: Питер, 2014. — 304 с. — ISBN 978-5-496-00893-8. В книге описано тестирование программных продуктов в Google: как устроены процессы, как организованы команды, какие техники используются, кто ответственен за качество. Принципы, на которых построено тестирование в Google, применимы в проектах и компаниях любого размера. Авторы книги сами работали над продуктами Google, создавая инструменты тестирования, настраивая процессы и занимаясь непосред...

М.: Институт системного программирования РАН, 2006. – 70 с. В работе рассматривается метод спецификации и тестирования систем с асинхронным интерфейсом при помощи технологии UniTesK. Определяются математические модели, лежащие в основе метода, и подходы к решению основных задач тестирования для систем с асинхронным интерфейсом. Предлагается унифицированная архитектура теста, определяющая архитектуру всех тестовых систем, построенных в соответстви...

Национальный исследовательский томский политехнический университет. Презентация к защите выпускной квалификационнной работы. Зубкова Е.А В.А. –24 с. 2014г. Цель работы Актуальность Гипотеза Планируемые результаты усвоения модуля Основные этапы разработки электронного учебного ресурса Технологический дизайн Электронный образовательный ресурс «Тестирование программного обеспечения»

Национальный исследовательский томский политехнический университет. Выпускная квалификационнная работа. Зубкова Е.А В.А. –77 с. 2014г. Введение Педагогическое проектирование учебных изданий Разработка электронного образовательного ресурса Заключение Литература Приложения

Typeset by Pantek Arts Ltd, Maidstone, Kent. Printed and bound in Great Britain by Biddles Ltd, Guildford and King’s Lynn. Contents. Foreword. Preface. Acknowledgments. ntroduction. Fundamentals. Aims of testing. What is an embedded system? . Approach to the testing of embedded systems. The TEmb method. Overview. TEmb generic. Mechanism for assembling the dedicated test approach. Lifecycle. Multiple V-model. ntroduction. Test activities in the m...

The book focuses only on software test design, not related subjects such as test planning, test management, test team development, etc. While those are important in software testing, they have often overshadowed what testers really need—the more practical aspects of testing, specifically test case design. Other excellent books can guide you through the overall process of software testing. One of my favorites is Systematic Software Testing by Rick...

John Wiley & Sons, 2003. - 408 pages. A software tester's survival guide from a leading expert in the field. Contents: The State of Software Testing Today Maintaining Quality Assurance in Today's Software Testing Environment Approaches to Managing Software Testing The Most Important Tests (MITs) Method Fundamental Metrics for Software Testing The Test Inventory How to Build a Test Inventory Tools to Automate the Test Inventory Risk Analysis...

Wiley-Interscience, 2005. - 440 p. - ISBN: 0471713457 The one resource needed to create reliable software This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity. The first part of the publication introduces major topics in softwa...