Tak, możliwe jest generowanie testów wartości brzegowych dla funkcji takich jak "Sum" lub "Podziel". Pex jest tutaj dobrym narzędziem. Ale częściej tworzymy testy zachowań biznesowych. Weźmy przykład
Myślę o użyciu narzędzi Microsoft PEX dla mojego projektu, ale wolałbym raczej używać NUnit zamiast MSUnit. Najwyraźniej stworzono specjalnie dla niego PEX Extensions project, ale teraz nie ma żadnych
Ci z was, którzy używali Pex, jakie są wasze wady i zalety Pex jako narzędzia? Co sądzisz, jakie są zalety i wady "automatycznego eksploracyjnego testowania" w ogóle, jako uzupełnienie do TDD/testowan