Автоматизированные инструменты Генерала поблочного тестирования для.NET

NullPointerException s - исключения, возникающие при попытке использовать ссылку, которая указывает на отсутствие местоположения в памяти (null), как если бы она ссылалась на объект. Вызов метода по нулевой ссылке или попытка получить доступ к полю нулевой ссылки вызовет функцию NullPointerException. Они наиболее распространены, но другие способы перечислены на странице NullPointerException javadoc.

Вероятно, самый быстрый пример кода, который я мог бы придумать для иллюстрации NullPointerException, be:

public class Example {

    public static void main(String[] args) {
        Object obj = null;
        obj.hashCode();
    }

}

В первой строке внутри main я явно устанавливаю ссылку Object obj равной null. Это означает, что у меня есть ссылка, но она не указывает на какой-либо объект. После этого я пытаюсь обработать ссылку так, как если бы она указывала на объект, вызывая метод на нем. Это приводит к NullPointerException, потому что нет кода для выполнения в местоположении, на которое указывает ссылка.

(Это техничность, но я думаю, что она упоминает: ссылка, которая указывает на null, равна 't то же, что и указатель C, указывающий на недопустимую ячейку памяти. Нулевой указатель буквально не указывает на в любом месте , который отличается от указаний на местоположение, которое оказывается недопустимым.)

5
задан BrianP 5 September 2008 в 18:33
поделиться

2 ответа

Pex включает параметризованное поблочное тестирование и использует динамическое символьное выполнение (некоторое автоматизированное исследовательское тестирование) для генерации исходных данных. Pex может понять семантику MSIL, т.е. любого управляемого вызова метода. В '123' пример, Pex нашел бы оба теста.

Это позволяет разработчикам записать параметризованные модульные тесты - таким образом, это полностью помещается в тест первый стиль разработки.

Для коммерческого программного обеспечения Pex требует лицензии MSDN. Больше информации по http://research.microsoft.com/pex

pex разработчик :)

3
ответ дан 14 December 2019 в 19:31
поделиться

Я попробовал некоторые из этих инструментов на других языках, и по моему скромному мнению они - почти полная пустая трата времени. Причина? Они не могут предположить семантику вызова метода никаким значимым способом. Существует очень хорошая статья об этом здесь - определенно стоящая чтения.

2
ответ дан 14 December 2019 в 19:31
поделиться
Другие вопросы по тегам:

Похожие вопросы: