Быстрая проверка

От / / Оставьте комментарий

Оглавление1 Быстрая проверка1.1 Обзор библиотеки QuickCheck1.2 Поддержка языков программирования1.3 Дополнительные ресурсы1.4 Полный текст статьи:2 Быстрая проверка — Википедия Быстрая проверка […]

Free computer libraries, Free software programmed in Haskell, Free software testing tools, Software testing tools, Software using the BSD license, Бесплатное программное обеспечение, Бесплатные инструменты тестирования программного обеспечения, Бесплатные компьютерные библиотеки, Инструменты тестирования программного обеспечения, использующее лицензию BSD, написанное на Haskell., Программное обеспечение

Быстрая проверка

  • Обзор библиотеки QuickCheck

    • QuickCheck – это библиотека для тестирования программного обеспечения, написанная на Haskell. 
    • Она совместима с компиляторами GHC и Hugs и имеет лицензию BSD. 
    • QuickCheck генерирует тестовые примеры, которые опровергают утверждения о логических свойствах функций. 
    • Она упрощает тестовые примеры, удаляя ненужные входные данные. 
    • Проект начался в 1999 году и используется для тестирования программ, спецификаций и компиляторов. 

  • Поддержка языков программирования

    • QuickCheck имеет версии для многих языков программирования, включая C, C++, Java, JavaScript и другие. 

  • Дополнительные ресурсы

    • В статье есть ссылки на другие связанные ресурсы, включая тестирование метаморфизма и тестирование программного обеспечения. 

Полный текст статьи:

Быстрая проверка — Википедия

Похожие статьи:

  1. Генетическое тестирование Оглавление1 Генетическое тестирование1.1 Генетическое тестирование1.2 История и развитие1.3 Типы генетического тестирования1.4 Фармакогеномика и генетическое тестирование1.5 Недиагностическое...
  2. Тестирование программного обеспечения Оглавление1 Тестирование программного обеспечения1.1 Основы тестирования программного обеспечения1.2 Типы тестирования1.3 Непрерывное тестирование и разрушающее тестирование1.4 Тестирование...
  3. Система типов Оглавление1 Type system1.1 Типы систем в программировании1.2 Примеры использования1.3 Типы и их значение1.4 Преимущества и недостатки1.5...
  4. Язык программирования – Arc.Ask3.Ru Оглавление1 Язык программирования1.1 Определение языков программирования1.2 Реализация языков программирования1.3 История языков программирования1.4 1960-е и 1970-е годы1.5...
  5. Непрерывное тестирование Оглавление1 Непрерывное тестирование1.1 Определение и важность непрерывного тестирования1.2 История и эволюция непрерывного тестирования1.3 Преимущества непрерывного тестирования1.4...
  6. Генетическое тестирование Оглавление1 Генетическое тестирование1.1 Генетическое тестирование и его последствия1.2 История и развитие генетического тестирования1.3 Виды генетического тестирования1.4...
  7. Статистическая проверка гипотез Оглавление1 Проверка статистической гипотезы1.1 История проверки статистических гипотез1.2 Выбор нулевой гипотезы1.3 Современное происхождение и споры1.4 Философия...
  8. Статистическая проверка гипотез Оглавление1 Проверка статистической гипотезы1.1 История проверки статистических гипотез1.2 Выбор нулевой гипотезы1.3 Современное происхождение и споры1.4 Философия...
  9. Ручное тестирование Оглавление1 Ручное тестирование1.1 Основы ручного тестирования1.2 Обзор тестирования1.3 Преимущества и недостатки1.4 Типы тестирования1.5 Этапы тестирования1.6 Сравнение...
  10. Тестирование базы данных Оглавление1 Тестирование базы данных1.1 Тестирование базы данных1.2 Стратегии тестирования1.3 Значение тестирования баз данных1.4 Методы тестирования1.5 Рабочий...
  11. Тестирование игры Оглавление1 Тестирование игры1.1 Обзор тестирования игр1.2 Процесс тестирования игр1.3 Компенсация тестировщикам игр1.4 Методология тестирования игр1.5 Тестирование...
  12. Стресс-тестирование (программное обеспечение) Оглавление1 Стресс-тестирование (программное обеспечение)1.1 Определение и важность стресс-тестирования1.2 Сравнение с нагрузочным тестированием1.3 Примеры и обоснование стресс-тестирования1.4...
  13. Документация по тестированию программного обеспечения Оглавление1 Документация по тестированию программного обеспечения1.1 Управление проектами по разработке ПО1.2 Спецификация требований к ПО1.3 Управление...
  14. Тестирование сдвига-влево Оглавление1 Тестирование со сдвигом влево1.1 Тестирование со сдвигом влево1.2 Вред от несвоевременного тестирования1.3 Типы тестирования со...
  15. Тестирование эффекта – Arc.Ask3.Ru Оглавление1 Testing effect1.1 История и ранние исследования1.2 Современные исследования1.3 Преимущества тестирования1.4 Повторное тестирование1.5 Трудность теста1.6 Формат...
  16. Джон Хьюз (ученый-компьютерщик) Оглавление1 Джон Хьюз (специалист по информатике)1.1 Биография Джона М. Хьюза1.2 Вклад в науку1.3 Публичные выступления и...
  17. История языков программирования Оглавление1 История языков программирования1.1 Обзор истории языков программирования1.2 Ранние языки программирования1.3 Развитие языков программирования1.4 Современные тенденции...
  18. Модульное тестирование Оглавление1 Модульное тестирование1.1 Основы модульного тестирования1.2 Преимущества модульного тестирования1.3 Сложности модульного тестирования1.4 Примеры и платформы1.5 Рекомендации...
  19. Тестирование программного обеспечения Тестирование программного обеспечения Тестирование программного обеспечения включает различные типы тестов, такие как приемочное тестирование, функциональное тестирование...
  20. Тестирование белого ящика Оглавление1 Тестирование в режиме “белого ящика”1.1 Определение и история тестирования в режиме “белого ящика”1.2 Методы и...
  21. Бесплатное программное обеспечение Оглавление1 Бесплатное программное обеспечение1.1 Определение свободного программного обеспечения1.2 История и развитие1.3 Различия с другими типами программного...
  22. Регрессионное тестирование Оглавление1 Регрессионное тестирование1.1 Основы регрессионного тестирования1.2 Исключения и анализ влияния изменений1.3 Причины регрессий и важность тестирования1.4...

Оставьте комментарий