Короткий ответ
Анализом называется одно прочтение системы кодовым агентом. Утверждение говорит одно о системе, а его доказательство показывает, где это установлено и было ли это наблюдением, заявлением или выводом. Покрытие говорит, что анализ проверил. Открытый вопрос обозначает то, что установить не удалось, а известное неизвестное обозначает такой вопрос, записанный вместе с ответственным. История изменений сравнивает два анализа, и утверждение, которое более новый анализ больше не подтверждает, помечается как больше не подтверждённое.
#Анализ
- Анализ
- Одно прочтение системы кодовым агентом. Его результат представляет собой структурированное описание, которое проверяют и затем хранят в проекте. Владельцу это важно, потому что в анализах считается всё остальное: тарифы включают их количество, а история изменений всегда строится между двумя анализами. С чего начать.
- Если проще Одно внимательное прочтение вашей системы, записанное так, чтобы его можно было проверить и сравнить.
- Подключённый анализ
- Анализ, при котором 1adk-agent на машине с кодом выдаёт кодовому агенту небольшие порции работы и проверяет каждый ответ до отправки. Он переживает перерывы и после проверки попадает в проект сам. Как идёт подключённый анализ.
- Если проще Анализ, который делает ваш собственный кодовый агент через небольшую программу на вашей машине.
- Покрытие
- Запись, которая хранится с каждым анализом: какие части системы проверены полностью, частично или не проверялись вовсе. Это важно, потому что непроверенная часть не означает пустую, и ничего не объявляется удалённым оттуда, куда не смотрели. История изменений.
- Если проще То, на что анализ действительно смотрел.
#Утверждения и доказательства
- Утверждение
- Фраза из четырёх частей: о чём она, какое свойство описывает, какое значение и какое доказательство. Например, операция создания платежа идемпотентна, и это установлено в названном файле и строках. Владельцы повторяют утверждения клиентам и аудиторам, поэтому утверждение, которое не может показать доказательство, повторять не стоит. Доказательства.
- Если проще Одна проверяемая фраза о вашей системе.
- Доказательство
- Ссылка под утверждением на часть системы, настройку или документ, по которым оно установлено. Именно она превращает уверенную фразу в такую, которую кто-то другой может проверить, не доверяя автору.
- Если проще То, откуда взялась фраза.
- Наблюдалось, заявлено, выведено
- То, откуда в утверждение поверили. Наблюдалось значит прочитано прямо в системе, заявлено значит сказано документом или человеком, выведено значит получено из названий или формы. Расхождение между заявленным и наблюдаемым, когда спецификация говорит одно, а код делает другое, относится к самому полезному, что может показать картина.
- Если проще Прочитано в системе, сказано кем-то или угадано по форме.
#Пробелы
- Открытый вопрос
- То, что анализ не смог установить, записанное с причиной, по которой вопрос открыт, и с его важностью, а не заполненное догадкой. На часть таких вопросов отвечает следующий анализ, на часть только человек. Неизвестное.
- Если проще То, чего пока никто не установил, сказанное вслух.
- Известное неизвестное
- Открытый вопрос, который приняли как открытый на сейчас, вместе с тем, что известно вокруг него, и с человеком, который выяснит ответ, если он понадобится. Записанное известное неизвестное стоит дёшево. Тот же пробел, найденный посреди инцидента, стоит дорого.
- Если проще Пробел, у которого есть ответственный и который записан.
#Изменения во времени
- История изменений
- Сравнение двух принятых анализов: что появилось, что изменилось, что исчезло там, где покрытие позволяет это сказать, и за что больше нельзя отвечать. Изменение в системе хранится отдельно от нового знания и от иначе сформулированного описания. История изменений.
- Если проще Что сдвинулось в вашей системе между двумя анализами.
- Больше не подтверждено
- Отметка на утверждении, которое прежний анализ подтверждал, а текущий не подтверждает, с датой последнего подтверждения. Она нужна потому, что письменный документ не может узнать, что стал неверным, а утверждения, на которые опираются люди, истекают тихо.
- Если проще То, что картина говорила раньше и больше не может подкрепить.