Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-software-quality
List of free software testing and verification resources
https://github.com/eric-erki/awesome-software-quality
Last synced: 5 days ago
JSON representation
-
In Russian
-
Introduction
- Школа тестирования баннерной системы
- Foundations of Software Testing - Glossary
- ISTQB Glossary of Terms in Software testing
- Coding and Design
- Тестирование ПО: Базовый уровень - курс основан на официальной программе обучения "Сертифицированный тестировщик ПО Базового уровня" ISTQB и предназначен для подготовки к сдаче сертификационных экзаменов
- Верификация программ на моделях
- Формальные методы обеспечения качества ПО
- Верификация программного обеспечения
- Software Verification
- Введение в формальные методы верификации программ - - А.С. Камкин
- Методы верификации программного обеспечения - - В.В. Кулямин
- Формальная спецификация и верификация программ - content/uploads/2015/07/Deductive-Verification-Practicum.pdf))
- Введение в язык формальной верификации Coq - Антон Трунов
- Введение в верификацию программ - Антон Трунов (спецкурс для МФТИ)
- Software Testing
- Design Patterns
- Object Oriented Design Patterns
- Regular Expressions
- 106 Linux Commands
- Bash Command Line For Linux
- LPIC 101 and 102
- SQL basics
- Distributed Computing
- Testing Mnemonics Game
- Learn TLA
- LibFuzzer Tutorial
- Interactive Z3 Guide
- Code-defenders game (mutation testing)
- RoboBUG: A Debugging Game
- Robot ON! A Program Understanding Game
- FireFinder
- Threaded Paws: A Concurrency Game
- Verigames
- Edukera
- NASA Public Lessons Learned System
- Flight Software Engineering Lessons
- Forum on Risks to the Public in Computers and Related Systems
- CPU Bugs
- Illustrative Risks to the Public in the Use of Computer Systems and Related Technology
- Wikipedia: List of software bugs
- Awesome Testing
- Visual regression testing
- UI Automation Tools
- List of verification and synthesis tools
- Awesome Falsehood
- Awesome Appium
- Awesome Selenium
- Awesome JMeter
- Черная книга менеджера - 03-01/black_book.pdf), [epub](http://labs.stratoplan.ru/wmbook-03-01/black_book.epub), [mobi](http://labs.stratoplan.ru/wmbook-03-01/black_book.mobi)) Слава Панкратов
- Тестирование программного обеспечения. Базовый курс. - Святослав Куликов
- Всё, что вам нужно знать о форматах отчётов в тестировании ПО - Сергей Бронников
- Руководство по тестированию пользовательского опыта для сайтов, мобильных приложений и прототипов
- Учебник по SilkTest - Gennadiy Alpaev
- Основы программной инженерии - _cKNuVAYAWPPoDKwsZJcyOWmNiVPT4D) - Владимир Ицыксон
- Верификация программ методом Model Checking - А.М.Миронов
- Практикум по математической логике. Coq.
- Введение в программную инженерию
- Введение в технологию программирования
- Юнит-тестирование и метрики покрытия кода тестами
- Методы анализа и обеспечения качества ПО
- Основы тестирования программного обеспечения
- Основы тестирования ПО
- Основы тестирования программного обеспечения
- Школа автоматизации процессов разработки
- Школа тестирования баннерной системы
- Software Testing
- на английском - Testing-101-ru.pdf))
- Software Testing 102
- Software Testing 103
- Тестирование ПО
- Ручное тестирование и Автоматизация тестирования - lI8MMR))
- Тестирование на основе моделей - _cKNuVAYAU1LAGzq5S0ARQjXs3TAY3K) - Кулямин Виктор
- Серия семинаров по тестированию (автоматизация) - Сергей Андреев
- Flight Software Engineering Lessons
- Белая книжная полка менеджера - 03-01/wmbook.epub), [mobi](http://labs.stratoplan.ru/wmbook-03-01/wmbook.mobi), [zip](http://labs.stratoplan.ru/wmbook-03-01/wmbook.zip))
- pdf - 03-01/it_manager.epub), [mobi](http://labs.stratoplan.ru/wmbook-03-01/it_manager.mobi)) - Слава Панкратов, Александр Орлов
- Автоматизация тестирования от «А» до «Ы» - Gennadiy Alpaev
- Учебник по TestComplete - Gennadiy Alpaev
- Верификация параллельных и распределенных программных систем - _cKNuVAYAUw3pNeradNr8zwOXKQ1IZA) - Юрий Карпов
-
License
-
-
List of Free Software Testing Resources
- )
- Software Testing Glossary
- Quality Assistance - quality-assurance-to-quality-assistance-32ffc990d27b) and for [youtube](https://youtu.be/9giJYYag6wQ)
- Testing Standards Working Party
- The International Software Testing Standard
- Standard for Software Component Testing
- Everything You Need to Know About Software Test Formats
- Software Testing Standards in NASA
- ECSS-Q-ST-80C Rev.1 – Software product assurance
- СИСТЕМНАЯ И ПРОГРАММНАЯ ИНЖЕНЕРИЯ: ГОСТ Р 56922—2016/ISO/IEC/IEEE 29119- 3:2013
- Practical PHP testing
- DO-178B
- Quality Improvement in Volunteer Free and Open Source Software Project
- Web Application Testing in Ruby
- The Evolving Art of Fuzzing - Jared DeMott
- AccelTest
- HP Quality Center Tutorial
- HP QuickTest Professional Tutorial
- .NET Performance Testing and Optimization - The Complete Guide - RedGate, By Paul Glavich and Chris Farrell
- Record-Playback Test Automation: Sahi & Selenium IDE
- Selenium 2.0 Using the WebDriver API to Create Robust User Acceptance Tests
- SoapUI 101: Beginner's Guide to Functional Testing
- PropEr Testing - Fred Hebert
- Testing mypy stubs, plugins, and types - Nikita Sobolev
- Learn TLA+ - Hillel Wayne @hwayne
- Books and papers about TLA+ and formal verification by Leslie Lamport
- Alloy Documentation - Daniel Jackson
- Introduction to Spin - Multiple Authors
- 4.0
- Verified Functional Algorithms - Andrew W. Appel
- Foundations of Computer Science - Dr Larry Paulson
- Principles of Model Checking - Christel Baier, Joost-Pieter Katoen
- Certified Programming with Dependent Types - Adam Chlipala @achlipala
- ML for the Working Programmer, 2nd Edition - Lawrence C. Paulson
- Formal Reasoning About Programs - Adam Chlipala @achlipala
- Concrete Semantics - Tobias Nipkow and Gerwin Klein @lsf37
- Proofs and Types - Jean-Yves Girard, Yves Lafont and Paul Taylor
- Proof assistants: History, ideas and future - H. Geuvers
- Introduction to Logic - Michael Genesereth, Eric Kao (Stanford University)
- An Introduction to Formal Logic - P.D. Magnus (University at Albany)
- A Problem Course in Mathematical Logic - Stefan Bilaniuk (Trent University)
- Language, Proof, and Logic - Jon Barwise, John Etchemendy
- Mathematical Logic - Helmut Schwichtenberg
- Mathematical Logic - Stephen G. Simpson (Pennsylvania State University)
- Formal Logic - Miguel Palomino
- More books...
- Formal Methods of Software Design
- Software Engineering: Introduction
- Software Analysis & Testing
- Fundamentals of TDD
- Critical Reasoning for Beginners
- Reasoning Across the Disciplines
- Discrete Mathematics and Probability Theory
- Mathematical Logic
- Engineering Ethics
- Engineering Ethics
- Part 1 - nG4sXgCtJ), [Part 3](https://www.youtube.com/playlist?list=PLAwxTw4SYaPkoQFThzsc9e7Fe3QV_KJCs)
- Test Automation Universities
- Java Web UI Path
- Java API Path
- Java Mobile Path
- JavaScript Web UI Path
- JavaScript API Path
- JavaScript Mobile Path
- Python Web UI Path
- Python Mobile Path
- C# Web UI Path
- Ruby Web UI Path
- Swift Mobile Path
- Codeless Path
- Black Box Software Testing course - Cem Kaner, J.D. Ph.D.
- Software Testing
- Embedded Software Testing
- Software Testing Fundamentals
- Software Testing Methods
- Software Testing and Verification
- Introduction to Software Testing
- Software Testing - Black-box Strategies and White-box Testing
- Diploma in Software Testing
- Software Testing - Testing Levels and Object-Oriented Program Testing
- Software Testing - Condition Coverage and Mutation Testing Strategies
- Software Testing Training
- Quality Center Training
- QTP Training
- Selenium Tutorials
- Selenium WebDriver Course
- Software Testing - Mauro Pezz
- Intro: Unknown vulnerability management and discovery using fuzzing
- Part 1: What are unknown vulnerabilities and why should I care
- Part 2: What is fuzz testing, and where does it fit in the world of software?
- Part 3: How and why fuzz testing, and managing your unknown vulnerabilities saves money
- Part 4: Fuzz testing techniques: unfuzzing the fuzzing
- Software Testing Management
- Introduction to User Testing
- Software security
- Performance Engineering of Software Systems
- LoadRunner Tutorials
- Computer Systems Analysis
- Formal Specification
- Formal Software Verification - software-verification-usmx-university-maryland-university-stv1-3x)
- Logic, Languages, Compilation, and Verification
- A survey of automated theorem proving
- Tutorials and advanced lectures
- Types Project
- Introduction to Formal Systems and Computation
- CSE 814 Formal Methods in Software Engineering
- A survey of automated theorem proving - John Harrison
- Coq in a Hurry
- Introduction to the Coq Proof Assistant
- Coq Intensive - DeepSpec Summer School
- Interactive Computer Theorem Proving
- Coq tutorials
- Type Theory and Coq
- Logical Verification
- Modelling and verifying algorithms in Coq: an introduction
- Formal Reasoning About Programs
- Software foundations in Coq 0.1 - Benjamin Pierce
- Compiler Certification
- Advanced Topics in Software Verification
- Theorem Proving - Principles, Techniques, Applications
- Programming Language Foundations in Agda
- Software Verification - Natasha Sharygina
- Alloy Courses
- The TLA+ Video Course
- Theorem Proving and Model Checking in PVS - Edmund M. Clarke
- System Validation: Automata and behavioural equivalences
- System Validation (2): Model process behaviour
- System Validation (3): Requirements by modal formulas
- System Validation (4): Modelling Software, Protocols, and other behaviour
- Perspectives on Agile Software Testing
- Practical Software Testing - STH in association with Chindam Damodar
- Manual Testing Help
- Principles of Model Checking - Christel Baier, Joost-Pieter Katoen
- Mobile Testing: Ready Reckoner - Ajay Balamurugadas, Sundaresan Krishnaswami
- UI and UX Testing: Ready Reckoner - Ajay Balamurugadas
- What If: A collection of tips from a software tester - Ajay Balamurugadas
- What If: 50+ tips to win testing contests - Ajay Balamurugadas
- What If: 50+ tips to boost your productivity - Ajay Balamurugadas
- What If: 50+ tips to improve tester-programmer relationship - Ajay Balamurugadas
- Testing for Continuous Delivery with Visual Studio 2012
- Professional Software Development - Mike G. Miller
- Perspectives on Agile Software Testing
- A Step-by-Step Guide to Functional Testing with TestComplete
-
Programming Languages
Sub Categories
Keywords
awesome
5
awesome-list
5
list
2
network
1
myths
1
internationalization
1
identity
1
geography
1
falsehoods
1
engineering
1
email
1
edge-cases
1
date
1
visual-regression
1
selenium
1
regression-tests
1
phantomjs
1
phantomcss
1
testing
1
tester
1
naughty-strings
1
performance-testing
1
load-testing
1
jmeter-plugin
1
jmeter
1
benchmarking
1
apache-jmeter
1
inspector
1
docker-appium
1
cloud-solution
1
awesome-appium
1
appium-tutorials
1
appium-tests
1
appium-ios
1
appium-android
1
appium
1
typography
1
time
1
resources
1
programming
1
postal-addresses
1
phone-numbers
1
phone-number
1