Исчерпывающий верификатор веб-сайта
У меня есть эта главная идея в основном использовать некоторую атаку перебором для тестирования/проверения того моего веб-приложения, не отказывает.
Не запускайте меня на поблочном тестировании и материале МОК, это - что-то еще полностью.
То, что я делаю, и с чем я обращаюсь за помощью, должно создать интеллектуальный исчерпывающий поиск, которые исследуют части состояния программы.
То, что я имею, является веб-страницей с вещами, которые я могу сделать, нажатие является одной вещью, ввод текста - другой, некоторые исходные данные как переключатели и выпадающие списки ограничиваются к определенным значениям. Довольно основные вещи. То, что я заканчиваю с конечным множеством событий и значений и что я хочу смоделировать, является прогрессией состояния. Возможно, это - оптимизация FSM в некотором смысле, но цель состоит в том, чтобы систематически проходить произвольные перестановки событий и значений и видеть то, что происходит.
Когда проблема найдена, я хочу попытаться побудить ту ошибку с как можно меньшим усилием мочь представить ясный тестовый сценарий.
Это касается методов формальной верификации, и я обращаюсь за помощью или понимание от людей с опытом.
2 ответа
То, что вы хотите сделать, немного похоже на проверку модели , с одной стороны, и автоматическое создание тестовых примеров, с другой. рука (в последней категории ознакомьтесь с Concolic testing , методом, позволяющим избежать потери времени из-за невозможных путей выполнения).
Проверка модели будет предпочтительным методом, если вы предполагаете, что ваше веб-приложение корректно, и хотите доказать, что это так. Но в случае предупреждения вам, возможно, придется поработать, чтобы понять, настоящая проблема или нет. Генерация тестовых примеров ориентирована на поиск ошибок: она не доказывает, что ваше приложение является правильным, но если обнаруживает проблему, она дает вам входной вектор для ее создания, поэтому вам не нужно задаваться вопросом, реальна ли проблема.
Мне неизвестны какие-либо существующие инструменты для веб-приложений, но это не значит, что их не существует.
Похоже, вам нужен фаззер. Peach - один из таких инструментов.