Критически важные производственные системы, созданные ИИ «на глаз» — что может пойти не так?🚨 MBS...
mafftopia
0:00 / 0:00
Критически важные производственные системы, созданные ИИ «на глаз» — что может пойти не так?🚨 MBS...
21 просмотр · 2 ч назад
mafftopia
2,81 тыс. подписчиков
21 просмотр · 2 ч назад
В чём главная проблема с «вайб-кодированием»?
Кодирование с помощью Claude Code или Codex позволяет создавать модульные тесты, которые проходят проверку на зелёный цвет, но приложение всё равно может ломаться на тех путях, которые никто не удосужился протестировать.
Ко мне присоединился Дуг Розенберг из Parallel Agile, мой соавтор книги 2010 года «Design Driven Testing». Метод, описанный в книге, тестирует каждый путь через сценарий использования, что тогда было слишком трудоёмко для людей. Сейчас это могут сделать программисты.
Когда Дуг загрузил PDF-файл книги в Claude и дал команду применить расширение потоков сценариев использования к своему приложению для выбора акций, тестирование заняло примерно в четыре раза больше времени, но целый слой ошибок пользовательского интерфейса так и не попал в сборку.
По данным Bloomberg, потенциальные покупатели в IPO Anthropic теперь видят оценку компании всего в 1,1 триллиона долларов. Дуг считает, что большая часть стоимости IPO основана на идее о том, что можно «вайб-кодировать» системы производства. Несколько изменений в методике тестирования приблизят вас к цели.
В этом видео:
▸ Почему агенты ИИ в программировании пропускают граничные случаи и почему полностью «зелёные» модульные тесты вводят в заблуждение
▸ TDD, анализаторы покрытия ветвей и путей, перенесённые на уровень вариантов использования
▸ Сценарии «солнечного» и «дождливого» дня, а также нестандартные пути, которые остаются непротестированными
▸ Расширитель потоков вариантов использования, от книги 2010 года до навыка для Claude Code и Codex
▸ Приложение для выбора акций, где Claude включил вариант использования в спецификацию, но не протестировал его
▸ Программирование в стиле Vibe против разработки, основанной на спецификациях, и что должно быть в хорошей спецификации
▸ Экономия токенов с помощью агента спецификаций при подписке ChatGPT за 20 долларов в месяц
▸ Безопасность в стиле Vibe в программировании, обнаруженная ИИ уязвимость PHP и системы, критически важные для безопасности
▸ Boeing 737 MAX, Cybercabs и крушение в ходе испытаний беспилотного автомобиля Uber
▸ Требования, похожие на швейцарский сыр, и шаблон, который заставляет ИИ писать Хорошо продуманные сценарии использования
▸ Почему программирование в стиле Vibe вызывает привыкание, и как Дуг снова вернулся к программированию
Видели ли вы что-нибудь подобное в своей отрасли? Расскажите нам в комментариях и подпишитесь, чтобы не пропустить следующий выпуск с Дугом.
⭐ ПОДПИСЫВАЙТЕСЬ
/ @mafftopia
Создавайте свои торговые стратегии с помощью Trade Stories:
https://mafftopia.com/trade-stories
и
https://github.com/mafftopia/trade-st...
Режим рынка — боковой или трендовый на TradingView:
https://www.tradingview.com/script/jn...
🔗 ССЫЛКИ
► Подписывайтесь на меня в X/Twitter: https://x.com/mafftopia
► Получите полную информацию на https://mafftopia.com
► Подписывайтесь на меня в Medium: / mafftopia
Нравится конфиденциальность? Используйте VPN — партнерские ссылки:
► Proton (мой личный фаворит): https://go.getproton.me/SH1nA
► NordVPN (любимый всеми): https://go.nordvpn.net/SH9wc
Вы дейтрейдер криптовалют — профессионал или только начинаете?
Используйте эти ссылки и ресурсы, чтобы начать:
► / get-started-trading-cryptocurrency
Главы:
0:00 Почему агенты ИИ в программировании обходят крайние случаи
1:22 Тестирование, управляемое дизайном (Design Driven Testing), книга, опередившая свое время
2:37 Модульные тесты, TDD и покрытие путей
3:19 Варианты использования и почему разработчики их избегают
4:48 Что такое покрытие ветвей?
5:43 Синий экран смерти
6:45 Все тесты пройдены успешно, так что выпускайте продукт
7:16 Расширитель потоков вариантов использования
8:32 Инструмент выбора акций, который Клод не тестировал
10:50 Критически важные системы и кибербезопасность
11:50 ИИ обнаруживает старые уязвимости безопасности в PHP
12:21 Гиперзвуковые ракеты и иллюзия модульных тестов
13:24 Кривая стоимости исправления дефектов Барри Боэма
14:45 Программирование в соответствии с атмосферой: в солнечный день работает, в дождливый — нет
15:51 Разработка, основанная на спецификациях: кто пишет спецификацию?
17:10 MBSE с поддержкой ИИ и SysML
18:24 Что должно быть в хорошем спецификационном документе
20:04 Человек в цикле
20:35 Банкомат, который никогда не проверял баланс
22:28 Сохранение токенов с помощью агента спецификаций
23:44 Стоимость кривой изменений
24:30 Демонстрация выбора акций
27:11 Boeing 737 MAX и обучение без программного обеспечения
28:10 Как работает расширение потока вариантов использования
30:56 Навык для Claude Code и Codex
32:57 Нестандартные решения: беспилотные автомобили и кибертакси
35:06 IPO Anthropic и системы производства кода Vibe
35:49 Сокращения в сфере ИИ и повторный найм
36:31 Требования к швейцарскому сыру
36:58 Шаблон варианта использования для ИИ
38:09 Реабилитация программиста Vibe
38:...