Тестирование программного обеспечения
Технология программирования
  • формат pdf
  • размер 589,72 КБ
  • добавлен 15 ноября 2012 г.
Камкин А.С. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов
М.: Институт системного программирования РАН, 2006. – 22 с.
В работе исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном с неполнотой информации о состоянии целевой системы в процессе тестирования. В работе предлагается подход к разработке функциональных спецификаций и генерации функциональных тестов, основанный на использовании неопределенных значений для моделирования состояния целевой системы, а также трехзначной логики Клини для работы с неполными требованиями и описания свойств системы. В качестве базовой технологии используется технология тестирования UniTESK.