Pex i F # w Visual Studio 2010 Ostateczny

Question

staram użyciu Pex w F # projektu, ale mam do czynienia kilka kwestii, na które bym wdzięczny za pomoc:

1. Visual Studio Pex dodatek pracował na pół godzinę, a nie na kompleksową eksplorację projektu.

2. Następnie za każdym razem, gdy uruchamiam eksplorację Pex z poziomu Visual Studio 2010, pojawia się komunikat o błędzie !warning! [metadata] no explorations found after applying all filters; did you forget a [PexClass] or [PexMethod] attribute?. Jeśli skopiuję i wkleję polecenie uruchamiane przez studio graficzne podczas eksploracji i usunięcia niektórych atrybutów (np. SourceFilter ...) i uruchomienia go z poziomu konsoli poleceń, otrzymam kilka wygenerowanych testów. Masz pojęcie, dlaczego studio graficzne generuje nieprawidłowe polecenie?

3. Po pewnym czasie plik Microsoft.Pex.Framework.dll zniknie z listy referencyjnej .Net i muszę odwołać się do niego ręcznie, używając ścieżki do pliku lub nie mogę się do niego odwoływać i muszę odinstalować/przeinstaluj Pex. (A reference to C:\Program Files (x86)\Microsoft Moles\PublicAssemblie\Microsoft.Pex.Framework.dll could not be added. Please make sure that the file is accessible, and that it is a valid assembly or COM component.)

Wszystkie te problemy nie występują podczas pracy nad projektem C#.

Problemy 1 2 3 wystąpiły w wersji naukowej.

Korzystanie z wersji dostępnej dla subskrybentów MSDN Nigdy nie pracowałem w ramach Visual Studio (Visual Studio 2010 Ultimate NO SP1). Jednak działało to z wiersza polecenia. Nie napotkałem problemu 3 w tej wersji.

Czy ktoś zdążył przekonać Pexa do pracy z F # w ramach visual studio? Jeśli tak, możesz mi powiedzieć, jak to zrobiłeś? Których wersji (VS i Pex) używasz?

Answer 1

Miałem pewne sukcesy z systemem Pex z F #. Wersja, której użyłem, jeśli uważam, że mój folder do pobrania, był akademicką wersją Microsoft Pex i Moles 0.94.51006.1 wydania (x86). Plik instalacyjny został nazwany pex.academic.x86.msi.

Nie wiem, czy ta wersja poprzedza twoją.

Moje wrażenia z moich prób były takie, że Pex i F # nie były bardzo dobrą kombinacją: Pex nalegał na tworzenie przypadków testowych z pustymi danymi wejściowymi. Ponieważ generowanie pustych wartości w F # nie jest tak powszechne, zazwyczaj nie jest to scenariusz, który mnie interesuje. Dodając wiele założeń, aby wyeliminować te, które właśnie opuściły mnie z Pex nie jest w stanie generować przypadków testowych. Trzeba przyznać, że funkcje, które testowałem były zbyt skomplikowane, nadal podoba mi się idea Pex i mogę spróbować ponownie na mniejszych/łatwiejszych fragmentach kodu.

Używanie Pex i jego GUI w VS 2010 działało stosunkowo dobrze, ale nie bez frustracji.