Czy Pex może automatycznie wykryć warunki przepełnienia/niedomiaru?

Question

Załóżmy, że jest to metoda tak (C#):

public static int Add(int x, int y) 
{ 
    return x + y; 
} 

Jeżeli suma nie pasuje do typu int danych jest prawdopodobnie sytuacja błąd, który jest wart testów jednostkowych. Czy Pex jest w stanie zidentyfikować takie błędy i wygenerować dla nich testy jednostkowe?

Answer 1

Tak, jest w tym bardzo dobra. Wprowadzając Pex, często będą używać błędu znalezionego w binarnej procedurze sortowania biblioteki Java, gdzie przepełniałby on bardzo duże tablice podczas znajdowania nowego punktu środkowego. Powiązanym zestawem błędów są błędy roku przestępnego i będą one zwykle korzystać z funkcji jednego z produktów firmy Microsoft (Azure?), Które wyświetlały jeden z nich na wolności.

Pex przechwytuje wiele różnych klas błędów, w tym przepełnienia, niedopełnienia, zerowe odwołania, nieprawidłowy argument, a nawet wszelkie niestandardowe wyjątki, które można zgłosić w aplikacji. Gorąco polecam lekturę przewodników wprowadzających, a następnie łączę Pex z Code Contracts, aby na dłuższą metę znacznie ułatwić sobie życie.