RU

[Перевод] 5 ошибок аналитика, из-за которых требования не выдерживают тестирования

Основной сценарий описан, критерии приёмки согласованы, задача ушла в разработку. Проблемы начинаются позже, когда выясняется, что граничные значени…

инженерия требованийсистемный аналитиксистемный анализмышление тестировщикакритерии приемкипользовательские историикачество требований
Habr
RU

[Перевод] Верификация программного обеспечения в эпоху искусственного интеллекта

Генеративный ИИ возродил давнее обещание: что нам больше не придётся писать программы — что достаточно будет лишь сформулировать, что требуется , а…

генеративный ИИбольшие языковые моделиверификация ПОпроектирование по контрактуEiffelAutoProofинженерия требованийгаллюцинацииформальные методы