Проверки и Приемки - История изменений

Admin: /* См. также */

2019-08-17T18:58:15Z

‎См. также

Admin в 17:51, 23 сентября 2018

2018-09-23T17:51:03Z

Admin: /* Классическая V&V */

2016-11-16T14:31:30Z

‎Классическая V&V

Admin: /* Классическая V&V */

2016-11-16T14:24:43Z

‎Классическая V&V

Admin в 12:07, 19 июля 2016

2016-07-19T12:07:26Z

Admin в 08:12, 7 июля 2016

2016-07-07T08:12:50Z

Admin: /* Моделирование инженерных обоснований */

2016-05-11T13:04:47Z

‎Моделирование инженерных обоснований

Admin в 11:51, 29 декабря 2015

2015-12-29T11:51:36Z

Admin в 18:42, 15 ноября 2015

2015-11-15T18:42:20Z

Admin: /* Ссылки */

2015-11-15T14:06:38Z

‎Ссылки

@@ Строка 45: / Строка 45: @@
 == См. также ==
 * [[Тестирование|Тестирование (компетенция)]]
 [[Категория:Методы]]

@@ Строка 1: / Строка 1: @@
 '''[[Верификация]]''' (verification) — это проверка того, что система соответствует какому-то описанию целевой системы (требованиям, архитектуре, неархитектурной части проекта).
-'''[[Валидация]]''' (validation)  — это проверка того, что использующая система соответствует желаемому стейкхолдером её описанию, если в её составе работает целевая система.
+'''[[Валидация]]''' (validation) — это проверка того, что использующая система соответствует желаемому стейкхолдером её описанию, если в её составе работает целевая система.
 Очень частая ошибка: забывают о необходимости валидации (приемке). В результате система удовлетворяет инженеров, которые эту систему сделали в соответствии со спецификациями, но не удовлетворяет стейкхолдеров: испытания должны проводиться не только для целевой системы (проверки), но и для использующей системы (приёмка!). Только после приёмки (то есть удостоверения в том, что использующая система работает как надо) системные инженеры могут считать, что их работа выполнена.
@@ Строка 20: / Строка 20: @@
 * [http://courses.csail.mit.edu/6.141/spring2013/pub/lectures/Lec07-SystemEngineering.pdf слайды занятия: что обсуждается в «тестовых стратегиях» (и чуть-чуть про тестирование роботов)].
-== TDD ==
+== Разработка через тестирование ==
-'''TDD (test driven development)''' - разработка софта, вариант [[agile]] методологии разработки
+'''TDD (test driven development)''' — разработка программного обеспечения, вариант [[agile]] методологии разработки
 * [http://ailev.livejournal.com/1015692.html driven против based];
 * [http://en.wikipedia.org/wiki/Testdriven_development тестоориентированная разработка];
@@ Строка 27: / Строка 27: @@
 * [http://www.ambysoft.com/essays/agileTesting.html что ещё кроме TDD бывает в agile] (а именно, developer TDD, developer regression testing, reviews/inspections, end of lifecycle testing, acceptance TDD, parallel independent testing, independent regression testing).
-== Model-based testing ==
+== Тестирование на основе моделей ==
 '''Model-based testing''' (и по сопричастности test automation) - приходится разбираться, как устроена предметная область – т.е. что такое испытания как таковые.
 * [http://en.wikipedia.org/wiki/Model-based_testing model-based testing];
@@ Строка 34: / Строка 34: @@
 * [http://penxy.com/joso обезьянки против роботов (на русском)] ([http://penxy.com/wylo 2]) ([http://penxy.com/rygi 3]).
-== Test of Cyber-physical systems (control system engineering) ==
+== Тестирование киберфизических систем ==
 * [https://www.linkedin.com/groups/Difference-between-MIL-SIL-PIL-%20109866.S.167229094 разница в Model in loop(MIL), Software in loop(SIL), Processor in loop(PIL), Hardware in loop(HIL)];
 * [http://home.hit.no/~hansha/documents/lab/Lab%20Work/HIL%20Simulat%20ion/Background/Introduction%20to%20HIL%20Simulation.pdf hardware-in-the-loop];
@@ Строка 42: / Строка 42: @@
 == Моделирование инженерных обоснований ==
 {{Main|Обоснование заявленных свойств}}
 [[Категория:Методы]]

@@ Строка 18: / Строка 18: @@
 * чему учат: [http://www.nafems.org/events/nafems/2014/vandv3/ пример программы курса] ([http://www.tonex.com/training-courses/system-verificationvalidation ещё]);
 * [http://www.academia.edu/1745073/Systems_Engineering_MS_Course_Int%20egrated_Product_Verification_and_Validation пример материала (слайдов) для вузовского курса];
-* [http://courses.csail.mit.edu/6.141/spring2013/pub/lectures/Lec07-%20SystemEngineering.pdf слайды занятия: что обсуждается в «тестовых стратегиях» (и чуть-чуть про тестирование роботов)].
+* [http://courses.csail.mit.edu/6.141/spring2013/pub/lectures/Lec07-SystemEngineering.pdf слайды занятия: что обсуждается в «тестовых стратегиях» (и чуть-чуть про тестирование роботов)].
 == TDD ==

@@ Строка 12: / Строка 12: @@
 == Классическая V&V ==
-* [http://sebokwiki.org/wiki/System_Realization место проверки и приёмки в ходе воплощения системы (водопад)];
+* [http://sebokwiki.org/wiki/System_Realization Место проверки и приёмки в ходе воплощения системы (водопад)];
-* [http://sebokwiki.org/wiki/System_Verification проверка];
+* [http://sebokwiki.org/wiki/System_Verification Статья про верификацию в SEBoK];
-* [http://sebokwiki.org/wiki/System_Validation приёмка];
+* [http://sebokwiki.org/wiki/System_Validation Статья про валидацию в SEBoK];
 * что делает [http://en.wikipedia.org/wiki/Test_engineer инженер по испытаниям (hardware test engineer)];
 * чему учат: [http://www.nafems.org/events/nafems/2014/vandv3/ пример программы курса] ([http://www.tonex.com/training-courses/system-verificationvalidation ещё]);

← Предыдущая		Версия 12:07, 19 июля 2016
Строка 43:		Строка 43:
	{{Main\|Обоснование заявленных свойств}}		{{Main\|Обоснование заявленных свойств}}

−	[[Категория:~~Практики~~]]	+	[[Категория:Методы]]

@@ Строка 41: / Строка 41: @@
 == Моделирование инженерных обоснований ==
-http://ailev.livejournal.com/811715.html (cм. assurance case)
+{{Main|Обоснование заявленных свойств}}
 [[Категория:Практики]]

← Предыдущая		Версия 18:42, 15 ноября 2015
Строка 42:		Строка 42:
	== Моделирование инженерных обоснований ==		== Моделирование инженерных обоснований ==
	http://ailev.livejournal.com/811715.html (cм. assurance case)		http://ailev.livejournal.com/811715.html (cм. assurance case)
		+
		+	[[Категория:Практики]]

@@ Строка 11: / Строка 11: @@
 Как всегда, основной тренд в системной инженерии – это сдвиг всех проверок и приёмок влево на V-диаграмме (см. пост Donald Firesmith – [http://blog.sei.cmu.edu/post.cfm/four-types-shift-left-testing-082 «Four Types of Shift Left Testing»]).
-== Ссылки ==
+== Классическая V&V ==
-* '''Классика жанра''' (классические определения и общее понимание предмета):
+== TDD ==
-**место проверки и приёмки в ходе воплощения системы (водопад);
+'''TDD (test driven development)''' - разработка софта, вариант agile методологии разработки
-**проверка;
+* [http://ailev.livejournal.com/1015692.html driven против based];
-**приёмка;
+* [http://en.wikipedia.org/wiki/Testdriven_development тестоориентированная разработка];
-**что делает инженер по испытаниям (hardware test engineer);
+* [http://david.heinemeierhansson.com/2014/tdd-is-dead-long-livetesting.html пример, как и в пользу чего отказываются от TDD] (читать нужно так «TDD очень хорош, но это явно не панацея в тестировании»);
-**чему учат: пример программы курса (ещё);
+* [http://www.ambysoft.com/essays/agileTesting.html что ещё кроме TDD бывает в agile] (а именно, developer TDD, developer regression testing, reviews/inspections, end of lifecycle testing, acceptance TDD, parallel independent testing, independent regression testing).
-**пример материала (слайдов) для вузовского курса;
-**слайды занятия: что обсуждается в «тестовых стратегиях» (и чуть-чуть про тестирование роботов).
+== Model-based testing ==
-* '''TDD, test driven development''' (разработка софта, вариант agile методологии разработки)
+'''Model-based testing''' (и по сопричастности test automation) - приходится разбираться, как устроена предметная область – т.е. что такое испытания как таковые.
-driven против based:
+* [http://en.wikipedia.org/wiki/Model-based_testing model-based testing];
-**тестоориентированная разработка;
+* [https://www.st.cs.unisaarland.de/edu/testingdebugging10/slides/19_ModelBasedTesting.pdf пример слайдов занятия по model-based testing];
-**пример, как и в пользу чего отказываются от TDD (читать нужно так «TDD очень хорош, но это явно не панацея в тестировании»);
+* [http://en.wikipedia.org/wiki/TPT_%28software%29 time partition testing];
-** что ещё кроме TDD бывает в agile (а именно, developer TDD, developer regression testing, reviews/inspections, end of lifecycle testing, acceptance TDD, parallel independent testing, independent regression testing).
+* [http://penxy.com/joso обезьянки против роботов (на русском)] ([http://penxy.com/wylo 2]) ([http://penxy.com/rygi 3]).
-* '''Model-based testing''' (и по сопричастности test automation): тут очень интересно, ибо приходится разбираться, как устроена предметная область – т.е. что такое испытания как таковые.
-** model-based testing;
+== Test of Cyber-physical systems (control system engineering) ==
-** пример слайдов занятия по model-based testing;
+* [https://www.linkedin.com/groups/Difference-between-MIL-SIL-PIL-%20109866.S.167229094 разница в Model in loop(MIL), Software in loop(SIL), Processor in loop(PIL), Hardware in loop(HIL)];
-** time partition testing;
+* [http://home.hit.no/~hansha/documents/lab/Lab%20Work/HIL%20Simulat%20ion/Background/Introduction%20to%20HIL%20Simulation.pdf hardware-in-the-loop];
-** обезьянки против роботов (на русском) (2) (3).
+* [http://www.autonomie.net/projects/engine_loop_18.html примеры испытательных стендов] (как «что-то-in-the-loop»);
-* '''Test of Cyber-physical systems''' (control system engineering):
+* [http://www.autonomie.net/references/model_based_design_defs_24.html коротенькие определения терминов в картинках].
-** разница в Model in loop(MIL), Software in loop(SIL), Processor in loop(PIL), Hardware in loop(HIL);
-** hardware-in-the-loop;
+== Моделирование инженерных обоснований ==
-** примеры испытательных стендов (как «что-то-in-the-loop»);
+http://ailev.livejournal.com/811715.html (cм. assurance case)
-** коротенькие определения терминов в картинках.
-* Моделирование инженерных обоснований (в том числе assurance case)
-** много-много ссылок внутри.