Cambridge: Cambridge University Press, 2017. — 473 p. This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software...
Cambridge University Press, 2017. — 473 p. This extensively classroom-tested text takes an innovative approach to explaining software testing that defines it as the process of applying a few precise, general-purpose criteria to a structure or model of the software. The book incorporates cutting-edge developments, including techniques to test modern types of software such as OO,...
Cambridge University Press, 2008. — 346 p. — ISBN10: 0521880386; ISBN13: 978-0521880381. Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as the process of applying a few well-defined, general-purpose test criteria to a structure or model of the software. The structure of the text directly...
Cambridge: Cambridge University Press, 2021. — 323 p. — ISBN 1108833349. Software testing can be regarded as an art, a craft, and a science. The practical, step-by-step approach presented in this book provides a bridge between these different viewpoints. A single worked example runs throughout, with consistent use of test automation. Each testing technique is introduced in the...
Publisher: OUP India, 2010. — 608 p. — ISBN10: 0198061846; ISBN13: 978-0198061847. Software Testing is specially developed to serve as a text book for the undergraduate and postgraduate students of Computer Science Engineering and Information Technology. The book focusses on software testing as not just being the phase of software development life cycle but a complete process...
Wiley, 2018. — 720 p. — ISBN: 1119134498. The book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training participants, and software engineers and...
Addison Wesley, 2003. — 616 p. — ISBN10: 0201709457; ISBN13: 978-0201709452. Software quality assurance (SQA) systems are vital for software developers in the software and the electronics industries as well as for information systems divisions in organizations. This book, based on many years of consulting and teaching experience, is designed to serve three audiences: students...
IEEE Press Editorial Board, 2018. — 720 p. — ISBN: 978-1119134510 (EPUB). The book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training...
IEEE Press Editorial Board, 2018. — 720 p. — ISBN: 978-1119134510 (EPUB). The book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training...
IEEE Press Editorial Board, 2018. — 720 p. — ISBN: 978-1119134510 (EPUB). The book presents a comprehensive discussion on software quality issues and software quality assurance (SQA) principles and practices, and lays special emphasis on implementing and managing SQA. Primarily designed to serve three audiences; universities and college students, vocational training...
Context-Driven Press, 2015. — 238 p. — ISBN: 978-0989811934. Bug Advocacy, second in the BBST workbook series, supports students and self-studiers who want a context-driven introduction to black box software testing. Used in parallel with the instructional materials provided at the Center for Software Testing Education and Research (testingeducation.org/BBST), the workbook...
Context Driven Press, 2013. — 488 p. — ISBN10: 0989811905; ISBN13: 978-0989811903. Domain testing is the most widely taught technique in software testing. However, many of the presentations stick with examples that are too simple to provide a strong basis for applying the technique. Others focus on mathematical models or analysis of the program’s source code. The Domain Testing...
Context Driven Press, 2013. — 488 p. — ISBN10: 0989811905; ISBN13: 978-0989811903. Domain testing is the most widely taught technique in software testing. However, many of the presentations stick with examples that are too simple to provide a strong basis for applying the technique. Others focus on mathematical models or analysis of the program’s source code. The Domain Testing...
Wiley-Spektrum, 2008. — 648 p. — ISBN10: 0471789119; ISBN13: 978-0471789116. A superior primer on software testing and quality assurance, from integration to execution and automation This important new work fills the pressing need for a user-friendly text that aims to provide software engineers, software quality professionals, software developers, and students with the...
Springer, 2014. - 369 pages.
The objective of this book is to provide an introduction to the software quality field to students and practitioners, and it is based on the author’s experience in software quality and software process improvement at leading industrial companies. The principles of software quality management and software process improvement are discussed.
The goal...
New York: Springer, 2019. — 309 p. This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental principles and offering guidance on applying the theory in an industrial environment. Topics and features: Presents a brief history of software quality and its influential pioneers, as well as a discussion...
Course Technology PTR, 2005 . — 416 p. — ISBN10: 1592003737; ISBN13: 978-1592003730. "Game Testing All in One" reveals how to apply software test engineer methodologies to the game industry. It examines several game genres, detailing the product cycle and testing fundamentals specific to each. Master testing techniques as you work through a set of tutorials on four...
Lawrence Erlbaum Associates, 2001. — 272 p. — ISBN10: 0805835547; ISBN13: 9780585376530. This book is a practical guide to help researchers draw valid causal inferences from small-scale clinical intervention studies. It should be of interest to teachers of, and students in, courses with an experimental clinical component, as well as clinical researchers. Inferential statistics...
УГАТУ, каф. ВМиК, доцент Галямов А. Ф., 2016 2-я лабораторная работа по предмету "Управление качеством при разработке веб-приложений". Содержание заданий: 1. разработка модульных тестов с использованием JUnit или другой аналогичной библиотеки 2. разработка ПО через тестирование по методологии TDD
Springer, 2017. — 186 p. — ISBN: 978-3-319-64821-7. This textbook offers undergraduate students an introduction to the main principles and some of the most popular techniques that constitute ‘software quality assurance’. The book seeks to engage students by placing an emphasis on the underlying foundations of modern quality-assurance techniques , using these to highlight why...
2nd Edition. — Cambridge University Press, 2010. — 354 p. — ISBN10: 0521148014, ISBN13: 978-0521148016. На англ. языке. Testing IT provides a complete, off-the-shelf software testing process framework for any testing practitioner who is looking to research, implement, roll out, adopt, and maintain a software testing process. It covers all aspects of testing for software...
Springer, 2022. — 257 p. The book provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are essential for successful test projects. Setting the right course prevents problems from the outset and highlights the need for action in software testing. In addition to theoretical basics, this work shows the implementation...
Springer, 2022. — 257 p. The book provides concrete tips for the successful organization of software tests. Because: Planning and conception in advance are essential for successful test projects. Setting the right course prevents problems from the outset and highlights the need for action in software testing. In addition to theoretical basics, this work shows the implementation...
Учебное пособие. — Киров: Межрегиональный центр инновационных технологий в образовании, 2021. — 60 с. — ISBN 978-5-907419-18-6. Учебное пособие содержит сведения, отражающие все темы учебной программы дисциплины «Тестирование и отладка программного обеспечения», читаемой в Российском технологическом университете РТУ − МИРЭА обучающимся по направлению профессиональной подготовки...
Учебное пособие. — Киров: Межрегиональный центр инновационных технологий в образовании, 2021. — 60 с. — ISBN 978-5-907419-18-6. Учебное пособие содержит сведения, отражающие все темы учебной программы дисциплины «Тестирование и отладка программного обеспечения», читаемой в Российском технологическом университете РТУ - МИРЭА обучающимся по направлению профессиональной подготовки...
2-е изд., перераб. и доп. - К.: Академпериодика, 2007. – 672 с. Определяется ядро знаний в области инженерии качества программных систем. Рассматриваются процессы жизненного цикла, связанные с обеспечением качества – процессы верификации, валидации, тестирования, измерения, управления риском, обеспечения гарантии качества, управления качеством и др. Предлагаются обзоры методов,...
Учебно-методическое пособие. — Минск: БГУИР, 2012. — 72 с.
Рассмотрена классификация видов тестирования. Сформулированы основные требования к тест-кейсам. Обсуждены вопросы эффективности автоматизации процесса тестирования программного обеспечения. Представлены основные характеристики продуктов-лидеров, предназначенных для автоматизации процесса тестирования. Рассмотрены...
Статья. — Вестник Воронежского Государственного университета. Серия: Системный анализ и информационные технологии. — 2007. — №1. — С. 10-15. Рассмотрены основные положения методики оценки правильности и устойчивости к ошибкам специального программного обеспечения автоматизированных систем военного назначения и результаты ее практического применения на этапе проведения...
М. : Институт системного программирования, 2006. — 494 с. Аннотация В работе изучается тестирование соответствия систем, в которых возможна блокировка (приёма) стимулов и разрушение системы. Дивергенция также моделируется разрушением. В качестве соответствия предлагается отношение iocoβγδ – обобщение отношения ioco (Input-Output COnformance). Для того, чтобы избегать разрушения...
Пер. с англ. А. Гаврилов. — СПб.: Питер, 2024. — 304 с. — (Библиотека программиста). — ISBN:978-5-4461-2092-5. Веб-интерфейсы — лицо приложения, и они должны быть совершенными. Внедрение программы автоматизированного тестирования — лучший способ убедиться, что ваши API готовы к работе. «Тестирование веб-API» — это уникальное практическое руководство, включающее в себя описание...
Методичка для курсовой работы 2 курса (3 семестр) Специфицирование программы с помощью таблиц решений; стратегии тестирования; Метод тестирования таблиц решений; Методика выполнения курсовой Работы: ограничения, блок-схемы, теория по курсачу; тестирование методами белого и черного ящиков; оформление курсача. Отфотканная методичка. Незаменим для выполнений курсача по требованиям...
Статья. Опубликована в материалах конференции "Теплотехника и информатика в образовании, науке и производстве", Екатеринбург, 2013. — 5 с. Нагрузочное тестирование - определение или сбор показателей производительности и времени отклика программно-технической системы или устройства в ответ на внешний запрос с целью установления соответствия требованиям, предъявляемым к данной...
М.: Институт системного программирования РАН, 2009. – 9 с.
Работа представляет собой сравнительный анализ современных подходов к разработке функциональных тестов для моделей аппаратуры: AVM (Advanced Verification Methodology) от компании Mentor Graphics, OVM (Open Verification Methodology) — совместной разработки Mentor Graphics и Cadence Design Systems — и технологии UniTESK...
Учебное пособие. — Волгоград: ВолгГТУ, 2015. — 120 с. — ISBN: 978-5-9948-1853-4. Для проверки правильности программ и систем используются следующие основные направления обеспечения правильности программного обеспечения: формальное доказательство корректности программ; тестирование; организационные методы проверки правильности программ. В пособии кратко описываются эти...
Учебно-методическое пособие по выполнению практических заданий. — М.: Академия имени Н.Е. Жуковского, 2021. — 36 с. Данное учебно-методическое пособие издается в соответствии с рабочей программой учебной дисциплины «Верификация и проверка качества ПО» по учебному плану для студентов III курса направления «Информатика и вычислительная техника» очной формы обучения. Практические...
Пер. с англ. Н. Григорьева — СПб.: Питер, 2024. — 240 с.: ил. — (Библиотека программиста). — ISBN:978-5-4461-2226-4. Чтобы стать успешным тестировщиком ПО, необходимы глубокие знания основ и опыт тестирования, который можно получить, поработав над реальным проектом. Эта книга научит вас и тому, и другому. Сначала вы познакомитесь с основами тестирования ПО, а затем перейдете к...
Учебное пособие. – Ульяновск: УлГТУ, 2008. – 96 с. ISBN: 978-5-9795-0348-6. Пособие конспективно представляет возможности среды Visual Studio 2005 по организации отладки и тестирования приложений, написанных на C#, и содержит краткое введение в дисциплину тестирования на примерах программ, разработанных на C#. Пособие предназначено для студентов, изучающих высокоуровневые...
ЛитРес, 2024. — 261 c. Погрузитесь в увлекательный мир тестирования программного обеспечения вместе с книгой, которая является настоящим концентратом чистейших знаний для новичков и профессионалов! Автор делится секретами мастерства, подробно рассказывая о более 15 видах тестирования и более 20 методах проектирования тестов (техниках тест-дизайна). И это только вершина айсберга...
ЛитРес, 2024. — 261 c. Погрузитесь в увлекательный мир тестирования программного обеспечения вместе с книгой, которая является настоящим концентратом чистейших знаний для новичков и профессионалов! Автор делится секретами мастерства, подробно рассказывая о более 15 видах тестирования и более 20 методах проектирования тестов (техниках тест-дизайна). И это только вершина айсберга...
Учебно-методическое пособие. — Волгоград: ВолгГТУ, 2018. — 64 с. — ISBN: 978–5–9948–3024–6. Посвящено вопросам анализа, планирования, проведения тестовых испытаний и оценки качества программного обеспечения на всех стадиях его жизненного цикла. Является методическим обеспечением выполнения лабораторных работ для студентов, обучающихся по направлению 09.03.04 «Программная...
М.: Институт системного программирования РАН, 2006. – 22 с.
В работе исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой...
Методическое обеспечение к теоретическому курсу по дисциплине «Введение в программную инженерию». ТТИ ЮФУ Таганрог
Лекция
7. Качество программного обеспечения. Верификация и аттестация, тестирование. (2 часа)
Пер. с англ. С. Черников, науч. ред. А. Захарова. — СПб.: Питер, 2025. — 352 с.: ил. — (Библиотека программиста). — ISBN 978-5-4461-2165-6. Хорошими тестировщиками не рождаются — ими становятся благодаря упорному труду и постоянному общению. На этом пути таится множество ловушек, способных сорвать самые смелые планы и привести к отставанию проектов от графика. Кем Кейнер,...
М.: МЦНМО, 2002. — 416 с.: ил. В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
М.: МЦНМО, 2002. — 416 с.: ил. В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
2-е изд. — М.: Интуит, 2016. — 349 с. (Основы информационных технологий). ISBN: S-9556-0027-2. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений,...
2-е изд. — М.: Интуит, 2016. — 348 с. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий.
Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта.
Для студентов высших учебных заведений, обучающихся по специальностям в области информационных технологий. 2006г
М.: Университет Информационных технологий; БИНОМ. Лаборатория знаний, 2006. — 285 с. Курс посвящен обсуждению проблем контроля качества разработки программного обеспечения с позиций тестирования. Задачей курса, реализующейся через лекционный материал и практикум, является подготовка тестировщиков программного проекта. Для студентов высших учебных заведений, обучающихся по...
3-е изд. — Минск: Четыре четверти, 2020. — 312 с. — ISBN: 978-985-581-362-1. — Версия от 03.01.2020. В основу книги положен многолетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения,...
3-е изд. — Минск: Четыре четверти, 2022. — 298 с. — ISBN: 978-985-581-362-1. — Версия книги 3.0.16 от 12.05.2022. В основу этой книги положен пятнадцатилетний опыт проведения тренингов для тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется разумным обобщить...
Практическое пособие. — Минск: Четыре четверти, 2015. — 294 с. — ISBN: 978-985-7103-91-1. В основу книги положен десятилетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения, так и...
2-е издание. — Минск: Четыре четверти, 2017. — 296 с. — ISBN: 978-985-581-125-2. — Версия книги 2.0.2 от 28.11.2017. . В основу этой книги положен десятилетний опыт проведения тренингов для начинающих тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется...
2-е издание. — Минск: Четыре четверти, 2019. — 298 с. — ISBN: 978-985-581-125-2. — Версия книги 2.1.3 от 12.12.2019. . В основу этой книги положен десятилетний опыт проведения тренингов для начинающих тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется...
2-е издание. — Минск: Четыре четверти, 2020. — 298 с. — ISBN: 978-985-581-125-2. — Версия книги 2.1.3 от 21.02.2020. . В основу этой книги положен десятилетний опыт проведения тренингов для начинающих тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется...
3-е изд. — Минск: Четыре четверти, 2021. — 300 с. — Версия книги 3.0.8 от 11.1.2021. В основу этой книги положен пятнадцатилетний опыт проведения тренингов для тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется разумным обобщить этот материал в виде книги,...
2-е изд. — Минск: Четыре четверти, 2017. — 312 с. — ISBN: 978-985-581-125-2. — Версия от 22.08.2017 . В основу книги положен многолетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного...
2-е изд. — Минск: Четыре четверти, 2017. — 314 с. В основу книги положен многолетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения, так и опытным специалистам — для систематизации уже...
Учебное пособие. – Минск: Белорусский государственный университет информатики и радиоэлектроники , 2019. – 276 с. — ISBN: 978-985-543-462-8. Содержит материалы к лекционным и практическим занятиям. Содержание Введение Процессы тестирования и разработки ПО Модели разработки ПО Жизненный цикл тестирования Контрольные вопросы и задания Тестирование документации и требований Что...
2-е издание. — Минск: EPAM Systems, 2020. — 300 с. — ISBN: 978-985-581-125-2. — Версия книги 2.1.3 от 21.02.2020. В основу этой книги положен десятилетний опыт проведения тренингов для начинающих тестировщиков. За это время накопилась огромная коллекция вопросов от слушателей, и стали отчётливо видны типичные для многих начинающих проблемы и сложности. Представляется разумным...
Издание автора, 2023. — 301 с. В основу книги положен многолетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. Эта книга будет полезна как тем, кто только начинает заниматься тестированием программного обеспечения, так и опытным специалистам - для систематизации уже имеющихся знаний...
3-е изд., испр. и доп. — Издание автора, 2024. — 301 с. В основу книги положен многолетний опыт проведения тренингов для тестировщиков, позволивший обобщить типичные для многих начинающих специалистов вопросы, проблемы и сложности. С момента выхода первого и второго изданий в книгу было внесено множество правок, основанных на отзывах читателей и переосмыслении автором отдельных...
М.: Институт Системного Программирования РАН, 2008. – 14 с. В данной работе рассказывается о критериях тестового покрытия, применяемых в технологии UniTESK и основанных на структуре контрактных спецификаций функциональных требований. Эти критерии можно использовать при тестировании с использованием контрактных спецификаций (пред- и постусловий операций), независимо от...
М.: Институт Системного Программирования РАН, 2008. – 111 с. В данной работе представлен обзор методов верификации программного обеспечения (ПО). Верификацией называется проверка соответствия результатов отдельных этапов разработки программной системы требованиям и ограничениям, сформулированным для них на предыдущих этапах. Рассматривается контекст использования различных...
2002 г.
В методических рекомендациях рассмотрены основные понятия, факторы и методы обеспечения качества в жизненном цикле (ЖЦ) сложных программных средств (ПС).
Систематически изложены основы стандартизации в области качества ПС, а также содержание комплекса международных стандартов, регламентирующих качество их ЖЦ.
Представлены принципы и методы верификации, тестирования и...
М.: Янус-К, 2002. — 420 с. Методические рекомендации предназначены для разработчиков программных компонентов интегрированной автоматизированной информационной системы (ИАИ) Минобразования России Они могут быть полезны исполнителям научных проектов и опытно-конструкторских работ в рамках выполнения Федеральных целевых программ «Развитие единой образовательной информационной среды...
М.: СИНТЕГ, 2011. — 408 с. — ISBN: 978-5-89638-119-8. Учебник состоит из двух частей. В первой части (7 лекций) рассматриваются системные основы разработки требований к сложным комплексам программ, эталоны при их проектировании и производстве, декомпозиция функций и архитектуры комплексов программ для формирования требований к компонентам и модулям. Изложены требования к...
М.: Радио и связь, 1986. — 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников,...
М.: Радио и связь, 1986. — 296 с. Рассматриваются методы тестирования программных модулей и сложных комплексов программ. Анализируются эффективность методов, а также средства, автоматизирующие процесс тестирования. Даются рекомендации по эффективному применению тестирования на разных этапах проектирования и сопровождения программ тестирования. Для инженерно-технических работников,...
Учебник. — М.: СИНТЕГ, 2009. — 328 с. — ISBN 978-5-89638-110-5. Для анализа и учета человеческих факторов при производстве программных продуктов в учебнике изложены общие психологические характеристики субъектов, особенности лидеров и коллективов специалистов. В основной группе лекций представлены требования к психологическим и профессиональным характеристикам руководителей и...
Автор неизвестен.
Методические указания к лабораторной работе тестирование программ методами белого ящика’ по дисциплине технология программирования. Усвоение студентами методов тестирования логики программы, формализованного описания результатов тестирования и стандартов по составлению схем программ.
М.: МГУ, Мехмат, 2012. — 86 с. Подход к моделированию и верификации программных систем, известный под названием Model Checking подробно рассматривается в этом учебном пособии. Рассматриваются проблема верификации, темпоральные логики, алгоритмы Model Checking для CTL и LTL, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, а...
Методические указания к лабораторным работам. — Томск: ТУСУР, 2022. — 40 с. В настоящее время программное обеспечение (ПО) используется во всех сферах человеческой деятельности, и сегодня тестирование — это обязательная часть процесса разработки программного продукта. Цель тестирования ПО — создавать качественный продукт, предотвратить дефекты и, следовательно, обеспечить...
Методические указания к лабораторным работам. — Томск: ТУСУР, 2022. — 38 с. В настоящее время программное обеспечение (ПО) используется во всех сферах человеческой деятельности, и сегодня тестирование — это обязательная часть процесса разработки программного продукта. Цель тестирования ПО — создавать качественный продукт, предотвратить дефекты и, следовательно, обеспечить...
Астана: Спринт Бук, 2024. — 416 с.: ил. — ISBN 978-601-08-4035-5. Тестирование — важнейшая задача для создания высококачественного программного обеспечения. Разработчики и инженеры по качеству найдут в книге всеобъемлющий материал по тестированию в десяти различных категориях. Познакомьтесь с соответствующими стратегиями и понятиями и получите практические знания, применимые...
Под. ред А.П. Ершова. - М.: Радио и связь, 1988. - 256с. ISBN: 5-256-00156-6 Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей.
Под. ред А.П. Ершова. — М.: Радио и связь, 1988. — 256 с. — ISBN: 5-256-00156-6. Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных...
Владимир: Владимирский государственный университет им. А.Г. и Н.Г. Столетовых (ВлГУ), 2017. — 100 с. — ISBN: 978-5-9984-0777-2. Приведены общие сведения о тестировании программных систем, принципах тестирования, а также примеры ошибок, повлекших за собой серьезные материальные потери и человеческие жертвы. Подробно рассмотрены методики разработки тестовых сценариев. Приведено...
Пособие. — Минск: Белорусский национальный технический университет, 2020. — 66 с. — ISBN: 978-985-583-056-7. В пособии рассмотрены основные понятия из области тестирования программного обеспечения, его классификация, виды, роль и место в жизненном цикле разработки программ. Описаны процессы модульного и интеграционного тестирования, их этапы, возможности автоматизации,...
Санкт-Петербургский политехнический университет Петра Великого, Институт металлургии, машиностроения и транспорта, Технологические процессы и оборудование автоматизированных машиностроительных производств, Тимонин В.М., Санкт-Петербург, 2014, 80 с. В настоящей квалификационной работе сделан обзор предметной области тестовой педагогики. Произведено исследование и построение...
Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий, доц. В. П. Котляров, Санкт-Петербург, 2016, 80 с. Дипломная работа посвящена исследованию методов покрытия UCM-моделей тестовыми сценариями и способам устранения недостатков. Дан обзор технологической цепочки верификации и тестирования VRS/TAT, а также, используемого...
Черный Г.
- Новосибирск: НГУ, 2006. – 11 слайдов.
Цель проекта: разработка и реализация базы данных, хранящей все входные параметры и результаты прогонов; написание программ автоматического сбора данных о прогонах (скриптов); реализация web-интерфейса – доступа к базе данных.
Содержание:
Вычислительные программы.
Погодные приложения.
Оптимизация времени исполнения....
Лабораторный практикум. — Ульяновск УлГТУ, 2022. — 45 с. Практикум адресован студентам для выполнения и оформления лабораторных работ по дисциплине «Тестирование программного обеспечения». Рекомендации и требования к лабораторным работам разработаны в соответствии с рабочей программой дисциплины. Предназначены для студентов, обучающихся по укрупненной группе специальностей и...
Московский государственный технический университет имени Н.Э. Баумана, 2003, 45с. Учебное пособие по курсу «Технология программирования» по специальности «Программное обеспечение ЭВМ и информационные технологии». Данная работа имеет цель – познакомить студентов с приемами и методами современного тестирования. В первой части учебного пособия рассказывается о современном подходе...
М.: Дело, 2007. — 312 с. Этот курс лекций создан для тех, кто хочет обучиться тестированию, получить работу тестировщика в российской или западной интернет-компании, понять, как вести себя в корпоративном окружении, и добиться профессионального и личностного роста. Он будет интересен и участникам процесса разработки программного обеспечения, рекрутерам, людям, связанным с...
Методические указания к выполнению самостоятельной, практических и лабораторных работ по дисциплине «Качество программных систем». — Томск: ТУСУР, 2016. — 38 с. Учебно-методическое пособие может быть востребовано студентами направления бакалавров «Бизнес-информатика» при подготовке к лабораторным и практическим занятиям, а также при выполнении самостоятельной работы....
М.: МИФИ, 2006. - 157 с.
Курс лекций, посвященный изложению комплексного взгляда на процесс верификации программного обеспечения. Предметом обсуждения являются различные подходы и методы, применяемые в области верификации и, в частности, тестирования программного обеспечения.
Предполагается, что разрабатываемое программное обеспечение является частью более общей системы....
2-е изд. — М.: Интуит, 2016. — 445 с. Курс знакомит с современными технологиями верификации программного обеспечения, применяемыми при промышленной разработке сложных и отказоустойчивых программных систем. Курс рассчитан на читателей, заинтересованных в изучении основных подходов и путей решения проблем, связанных с современными технологиями верификации программного...
Авторский курс, 11.03.2009, 134 стр.
Введение в тестирование программного обеспечения
Методы и виды тестирования
Тестовая документация. Общие сведения
Тестовые требования
Тестовые примеры (Test Case)
Тестовые планы (Test Plan)
Отчеты о прохождении тестов
Покрытие программного кода
Тестирование пользовательского интерфейса
Тестирование объектно‐ориентированного...
Национальный исследовательский Томский политехнический университет. Презентация к докладу. Ерина О.В. - 9 с. 2015г. Актуальность темы Цель Задачи Создание дисциплинарного блога Среда для выполнения практических заданий. Главная страница Результаты
Национальный исследовательский Томский политехнический университет. Выпускная квалификационная работа. Ерина О.В. - 61 с. 2015г. Введение Электронная образовательная среда Создание образовательной среды Заключение Литература
СПб.: Лань, 2021. — 192 с. Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное...
СПб.: Лань, 2021. — 192 с. Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное...
СПб.: Лань, 2021. — 192 с. Настоящее пособие предназначено для будущих IT-специалистов, которым необходимо знать основы тестирования программных продуктов. Цель пособия – пересмотреть отношение будущих разработчиков к качеству современного программного обеспечения. Рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное...
Волгоград: ВолгГТУ, 2006. - 74 с. Ил 15. Табл 2.Библиогр.: 18 назв. Излагаются подходы и методы тестирования, начиная с проблемы определения термина "тестирование" и общих принципов и заканчивая описанием методов и стратегий тестирования. В частности, рассмотрены методы белого и черного ящика (покрытие операторов, условий, решений, комбинаторного покрытия условий и решений,...
Волгоград: ВолгГТУ, 2006. — 74 с. Излагаются подходы и методы тестирования, начиная с проблемы определения термина "тестирование" и общих принципов и заканчивая описанием методов и стратегий тестирования. В частности, рассмотрены методы белого и черного ящика (покрытие операторов, условий, решений, комбинаторного покрытия условий и решений, эквивалентного разбиения, анализа...
Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и технологий, доц. В. Ю. Сальников, Санкт-Петербург, 2016, 80 с. В данной работе проведен анализ требований Федерального Закона №152 о защите персональных данных применительно к подсистемам веб-сайта авиакомпании Личный кабинет , Обратная связь и Мобильно бронирование и разработана модель...
Выходные данные неизвестны. Таблица, описывающая применяемые типы тестовой документации, их осбенности и критерии выбора в помощь инженеру по тестированию.
М.: Институт системного программирования РАН, 2006. – 70 с.
В работе рассматривается метод спецификации и тестирования систем с асинхронным интерфейсом при помощи технологии UniTesK. Определяются математические модели, лежащие в основе метода, и подходы к решению основных задач тестирования для систем с асинхронным интерфейсом. Предлагается унифицированная архитектура теста,...
Методические рекомендации. – Витебск : Витебский государственный университет имени П.М. Машерова, 2023. – 29 с. Учебное издание содержит материал по учебной дисциплине «Тестирование программного обеспечения», вопросы и индивидуальные задания для лабораторных занятий и самостоятельной работы, краткие теоретические сведения и рекомендации для успешного их выполнения....
Практикум по выполнению лабораторных. – Гомель : Гомельский государственный технический университет имени П. О. Сухого, 2024. – 65 с. Рассмотрены вопросы и задания автоматизированного тестирования, включающего подготовку чек-листов, модульное проектирование, документирование результатов. В данной работе рассмотрены основные виды тестирования программ и те способы тестирования,...
Практическое пособие. — Самиздат, 2020. — 602 с. Руководство по тестированию веб-безопасности» (WSTG v.4.1) является основным ресурсом для тестирования кибербезопасности для разработчиков веб-приложений и специалистов по безопасности. WSTG - это всеобъемлющее руководство по тестированию безопасности веб-приложений и веб-сервисов. WSTG, созданный совместными усилиями...
Практическое пособие. — Самиздат, 2020. — 602 с. Руководство по тестированию веб-безопасности» (WSTG v.4.1) является основным ресурсом для тестирования кибербезопасности для разработчиков веб-приложений и специалистов по безопасности. WSTG - это всеобъемлющее руководство по тестированию безопасности веб-приложений и веб-сервисов. WSTG, созданный совместными усилиями...
Национальный исследовательский томский политехнический университет. Презентация к защите выпускной квалификационнной работы. Зубкова Е.А В.А. –24 с. 2014г. Цель работы Актуальность Гипотеза Планируемые результаты усвоения модуля Основные этапы разработки электронного учебного ресурса Технологический дизайн Электронный образовательный ресурс «Тестирование программного обеспечения»
Национальный исследовательский томский политехнический университет. Выпускная квалификационнная работа. Зубкова Е.А В.А. –77 с. 2014г. Введение Педагогическое проектирование учебных изданий Разработка электронного образовательного ресурса Заключение Литература Приложения
Статьи. Монография статьёй не является.Кроме того, материал не попадёт в раздел "статьи", если Вы при загрузке не укажете ему тип "научные статьи и сборники". Для монографии этого, очевидно, делать не нужно.Слово "научные" добавлено только затем, что статьи бывают и публицистическими, но такие, как правило, и помещать следует в Публицистику.
Спасибо за разъяснение. Делаю вывод, что в данный момент помещать нужно в родительский раздел "Тестирование программного обеспечения". Должен заметить, однако, что считаю целесообразным разграничение в данном разделе именно науки и практики (как и, в принципе, в любом разделе каталога). Раздел "Научные статьи" слишком конкретен и узок. Либо "Научные публикации", либо "Статьи" (не только научные), если уже на то пошло. И вообще, согласитесь, что при имеющийся в данной структуре подраздел "Другое (в т.ч. книги, учебные пособия, журналы и другие издания)" слишком широк и создает предпосылки для образования плохо структурированной свалки всего перечисленного.
Другое ~ Книги.Фильтры нужны в основном для того, чтобы отделять не-книги от общего списка. Ещё есть журналы, но они по определению складываются в особые разделы.Не думаю, что целесообразно вводить разграничения по разным типам книг, т.к. грань не всегда определённа / не всегда очевидна для пользователей. Так же неопределённа /неочевидна может быть и грань между наукой/практикой. Обратите внимание, что пользователь, загружающий книгу, не обязан быть специалистом в её тематике.
Комментарии
Монография статьёй не является.Кроме того, материал не попадёт в раздел "статьи", если Вы при загрузке не укажете ему тип "научные статьи и сборники".
Для монографии этого, очевидно, делать не нужно.Слово "научные" добавлено только затем, что статьи бывают и публицистическими, но такие, как правило, и помещать следует в Публицистику.
Должен заметить, однако, что считаю целесообразным разграничение в данном разделе именно науки и практики (как и, в принципе, в любом разделе каталога). Раздел "Научные статьи" слишком конкретен и узок. Либо "Научные публикации", либо "Статьи" (не только научные), если уже на то пошло.
И вообще, согласитесь, что при имеющийся в данной структуре подраздел "Другое (в т.ч. книги, учебные пособия, журналы и другие издания)" слишком широк и создает предпосылки для образования плохо структурированной свалки всего перечисленного.
Ещё есть журналы, но они по определению складываются в особые разделы.Не думаю, что целесообразно вводить разграничения по разным типам книг, т.к. грань не всегда определённа / не всегда очевидна для пользователей.
Так же неопределённа /неочевидна может быть и грань между наукой/практикой.
Обратите внимание, что пользователь, загружающий книгу, не обязан быть специалистом в её тематике.