Code Digger находит значения, которые нарушают ваш код

Code Digger — это бесплатное расширение для VS 2012, которое автоматически находит «интересные» входные значения для вашей программы, где «интересное» обычно означает «сбой» или иным образом нарушает работу кода.

У меня был коллега с замечательным талантом. Он мог несколько минут взглянуть на вашу программу, подойти к клавиатуре и ввести что-нибудь, что приведет к ее сбою. Это был ценный навык, но знаете, за это его ненавидели. Это не подарок, который вы бы никому пожелали. Теперь тебе не нужно.
Code Digger — это легкое расширение Visual Studio, которое проверяет ваш код и выполняет тот же трюк. Он использует механизм Pex и решатель ограничений Z3 от Microsoft Research для анализа всех ветвей в коде в попытке сгенерировать набор тестов, который запускает код, несмотря на все возможности. Входные значения, необходимые для реализации вашего кода таким образом, являются «интересными» значениями, с которыми ваш код либо справляется, либо умирает.

Code Digger берет код и составляет список интересных входных значений вместе с их выходными данными и показывает, приводят ли они к сбою вашей программы вместе с сообщением об ошибке:

На данный момент есть некоторые ограничения. В частности, он работает только с переносимой библиотекой классов. Причина этого в том, что он не может справиться с зависимостями платформы.

Code Digger — это, по сути, более простая в использовании форма Pex, которая выполняет более настраиваемый анализ. Если вы хотите попробовать Pex, есть веб-сайт, на котором он будет анализировать ваш код в интерактивном режиме. В нем также есть набор задач программирования, в которых вы пытаетесь написать код, соответствующий Pex-анализу скрытой функции. Это весело и подчеркивает идею о том, что программа хорошо определяется небольшим количеством отношений ввода-вывода.

Больше информации
Представляем: Code Digger, расширение для VS2012
Скачать
Pex4Fun.com
Статьи по Теме
Отладка и экспериментальный метод
Собственный отладчик Chrome для Visual Studio
Утечка вашего JavaScript? Представляем Google Leak Finder
Легкая отладка с помощью Canvas

Чтобы получать информацию о новых статьях на I Programmer, установите панель инструментов I Programmer, подпишитесь на RSS-канал, подпишитесь на нас в Twitter, Facebook, Google+ или Linkedin или подпишитесь на нашу еженедельную новостную рассылку.

Комментарии
Оставьте комментарий или просмотрите существующие комментарии с помощью Disqus
или отправьте свой комментарий по адресу: comments@i-programmer.info