краще англійською дивитись economic impact en.wikipedia.org/...​/Economic_impact_analysis

но наукоемкость этой профессии на порядок ниже работы программиста.

Якщо би ви бачили книжки по тестуванню, які автор не привів, бо вони не для початківців, або збірники тез з конференцій по формальним методам і тестуванню, то таких зневажливих коментарів на ДОУ було би менше.

можна і без внз знайти роботу. і що?

За вашою логікою, розробка пз така сама робоча професія, в ПТУ за 2-3 роки навчать. Тест інженер — це, в першу чергу, інженер, а по-друге, це роль на проекті. Довести, що програма працює коректно, це складніше завдання, ніж її написати — «я спеки читати не вмію, мені на словах Вася розповів». Якщо би ви бачили книжки по тестуванню, які автор не привів, бо вони не для початківців, або збірники тез з конференцій по формальним методам і тестуванню, то таких зневажливих коментарів на ДОУ було би менше. Наступного разу, коли летітемете літаком, чи не дай бог, в лікарні доведеться побувати, згадайте, що це прилади відповідного класу безпеки і їх хтось тестував.

в glo дивився

Для залізниці використовуються технології підвищеного рівня безпеки, які дозволяють доводити коректність формальних моделей, а потім на їх основі автоматично генерувати код на Ada чи C/C++. Зокрема, B-Method (зараз Event-B) використовувався для проектування автоматизованої 14 гілки Паризького метро (рухомий склад без водія), також в німецьких ДойчеБан. Не знайшов у Глобалі нікого, хто би в кваліфікації записав B, Z, VDM, TLA+, чи хоча б загальне formal methods