Индустрия программирования


4. Тестовый пакет - часть 6


  • Если в течение выполнения шага 2. найдены новые различия между C и C++, они
    объединяются в отдельный список различий. Этот список может быть добавлен к первоначальному
    списку различий и тогда процесс создания набора тестов должен быть повторно начат с шага 2.,
    или он может сохраняться как отдельный список, который нужно использовать при создании
    следующей версии набора тестов. Выбор между этими альтернативами зависит от большого
    количества неформальных причин, включая доступные ресурсы и значимости данных различий.
  • На основе спецификаций, полученных в течение шага 3, создаются тесты. Для
    дополнительного сокращения числа тестов могут использоваться формальные и неформальные
    методы. (То есть тесты создаются только для выбранных, а не для всех спецификаций) Этот шаг
    может быть повторен несколько раз для той же самой версии набора тестов (и, поэтому, для того
    же самого набора спецификации); каждый раз невыбранные спецификации выбираются, чтобы
    получить более полную версию пакета тестов.
    4.3. Свойства тестов

    Опишем подробнее свойства различных групп тестов и требования, предъявляемые к ним.

    Классы тестов

    Как уже неоднократно отмечалось, все тесты в пакете подразделены на два класса, в соответствии с
    задачей тестирования и природой критериев успешного завершения или отказа:

    А-тесты:

    Тест относится к классу А-тестов, если он является правильной выполнимой (в соответствии со
    стандартом языка C++) программой. А-тесты проверяют способность реализации обрабатывать
    правильные с точки зрения стандарта программы правильным образом. А-тест считается успешно
    завершенным, если его компиляция прошла успешно и вызов получившегося кода прошел без
    ошибок. причем ошибками в последнем случае являются не только ошибки, выданные
    соответствующей реализацией, но и сообщения самой программы о том, что данная реализация
    обработала ее не соответствующем стандарту способом.

    Б-тесты:

    Тест относится к классу Б-тестов если он является неправильной (нарушающей требования
    стандарта языка C++) программой.


    - Начало -  - Назад -  - Вперед -