lytdybr

Основное дело (в порядке удавливания мультитаскинга) -- это написание главы по инженерным обоснованиям/assurance. Если всё будет хорошо, то до конца недели глава будет. Это было испытания/тестирование, затем проверка и приёмка, затем инженерные обоснования (вот я писал об этом ещё в 2010 году, когда assurance ещё не был широко распространённым термином, https://ailev.livejournal.com/811715.html). Вот темы, которые хотелось бы затронуть в главе, без упорядочивания (при этом онтика утверждений о системе по-хорошему должна уйти в главу о требованиях -- но поскольку требовательники разрабатывают требования абы как, то использующим требования людям приходится докручивать формализм и доделывать эту работу в своих стандартах): -- обоснования: что это вообще такое (основа для аргументированной уверенности в верности каких-то утверждений в свойстве системы). Обосновывающее дело -- это типа папки "судебного дела", рабочий продукт для представления аргументации уверенноости в верности верхнеуровнего утверждения о том, что система таки успешна. Обоснование в ходе жизненного цикла. -- успешность чего обосновываем: проверка и приёмка (и далее вообще: многоуровневость обоснований, у нас же безмасштабность). Нацеленность обоснований не столько настоящее, сколько на будущее. -- деятельное обоснование (добыча разных аргументов): испытания, ссылки на аналогию (гипотеза эргодичности), моделирование, ... -- теории принятия решения (об использовании системы), отсылки к рациональности. Что из этого применяют в инженерии (argument maps, варианты стандартов типа ISO 15026). -- подробней про испытания как эксперимент: известные ожидания эксперимента --> измерения --> принятие решения о результате эксперимента. -- экономика обоснований (оценки, что на них приходится до 85% затрат на разработку), варианты организации (скажем, "отдать пользователям, они оттестируют") -- TDD в софте и исследования, которые отрицают уменьшение числа ошибок -- автоматизация генерации тестов и тестирования. Обоснования (включая испытания) и continuous delivery. Проблема "автоматической генерации тестов". -- примеры обоснований нестандартных систем (скажем, обоснования в бюджетировании, с выходом на BudgetOps и continuous budgeting, due diligence, "детекторы лжи", отсутствие рациональных/инженерных обоснований в политике, провалы доказательной медицины по линии аргументов Pearl, проблема экзаменов, проблема обоснований для систем с нейросетками и AI). Очередное видео с заседания лаборатории собранности, полтора часа обсуждений: https://youtu.be/oH2WZLb-EMg. При этом первый поток курса уже стартовал 11 июня, прошёл два занятия, но это не означает, что работа над курсом прекратилась. Наоборот, только ускорилась! Свежее двухчасовое видео Филдса, Фристона, Левина -- https://www.youtube.com/watch?v=J6eJ44Jq_pw. Панпсихизм и физикализм, вот это всё. И вопросы типа "правда ли, что общество это один большой мозг, где каждая личность действует как нейрон?". Меня по-прежнему удивляет разница во внимании к выходу "Методологии 2022" (за три дня продано аж 17 кнжижек в Ridero https://ridero.ru/books/metodologiya_2022/, и почти никаких лайков на постах о выходе этой книжки), выходу пререлиза "Системной инженерии" (https://system-school.ru/engineering -- ещё меньше реакции, ни лайков, ни перепостов объявлений о выходе) и выходу моего интервью на "Дне" (ага, то ли "День", то ли "Дно" -- комменты там однозначно показывают, что это эпицентр рабочего движения в его единении против интеллигенции). Там за такое же время (вышли они одновременно) 44 тысячи просмотров и 1.6К лайков, https://www.youtube.com/watch?v=JuZEnhmNOBk. Надо было назвать учебник не "Методология 2022", а так, как называют свои передачи на этом канале, например, "Закрытая наука мировой элиты", там за год 0.5М просмотров и 16К лайков, вдесятеро от моего. И подзаголовок для этой "закрытой науки": "Корпорации уже начали управлять эволюцией человека?", https://www.youtube.com/watch?v=x1sQhRhzD24. Неужели я не способен на такие названия? "Рабочий класс и офисный планктон против энтропии" или что-то типа того. При этом мне не надо было бы менять ни одного слова в самом тексте учебника методологии, ни одного слова в интервью. "Выдра -- это та же крыса, только пиар лучше" (с). Вышел вчера на настоящий уличный танец с вейверами, дело было на смотровой площадке на Воробьёвых горах, попал на видео -- https://vk.com/wall2449939_4157. Перерыв в сольных танцах у меня был (я как-то считал год назад) 34 года. Но вылез тогда разок "в круги" на закрытой вечеринке, а потом никуда не вылезал. А сегодня вот прямо уличная классика, перформанс прямо на плитке (времена такие, что не везде найдёшь даже более классического "на асфальте"). Для сравнения: 41 лайк поста ВКонтакте с этим видео за неполные сутки, пост про выход "Методологии 2022" там же -- 7 лайков за трое суток, пост про выход пререлиза "Системной инженерии" -- 3 лайка за трое суток.