Home » МАРКЕТИНГ » [Перевод] Язык моделирования Alloy и приключения с параллельными запросами к базе данных

[Перевод] Язык моделирования Alloy и приключения с параллельными запросами к базе данных

Данная статья описывает небольшой пример того, как использование языка моделирования Alloy может помочь при разработке программного обеспечения.

О качестве программного обеспечения и инструментарии

В Typeable мы придаем огромное значение качеству программного обеспечения и прикладываем все усилия, чтобы обеспечить это качество. В настоящее время мы искореняем ошибки следующими способами:

  • Анализ и создание спецификаций
  • Устранение простых ошибок с использованием системы типов Haskell
  • Стандартные юнит-тесты и интеграционные тесты
  • Непрерывная интеграция
  • Обязательные ревью кода
  • Тестирование на стендах, проводимое QA инженерами
    (мы используем Octopod для оптимизации процесса разработки и QA)
  • Тестирование в pre-production среде
  • Ведение логов и контроль ошибок на этапе эксплуатации
  • Такое большое число шагов обеспечивает высокое качество кода, но при этом сказывается на затратах. Для выполнения этих шагов нужно и время, и труд.

    Читать дальше →
    Источник

    Leave a Reply