Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов