Utilisateurs de Pex: quelles sont vos Impressions sur le Pex et les tests exploratoires automatisés en général?

Pex laisse votre écriture paramétrée tests unitaires. En ce sens, il s'inscrit totalement dans le flux de test TDD/unit: écrivez le test, demandez à Pex de "l'explorer", trouvez des tests qui échouent, fixez le code, et ainsi de suite.

Le gros avantage est que vous pouvez exprimer vos tests pour classes d'entrées, pas seulement quelques valeurs codées. Cela donne plus d'expressivité pour les tests d'écriture et oblige également à penser à l'invariant / attente que votre code devrait fullfill (i.e. il est plus difficile d'écrire des assertions).

je pense que le Pex comme outil de test exploratoire est vraiment intrigant. À cet égard, je pense que c'est quelque chose que je voudrais transmettre à L'AQ pour qu'elle s'en serve.

en tant qu'outil D'ATD, il a besoin de travail, car L'ATD est une activité de conception. Cependant, J'aime la direction que prend Peli. Il y a quelque chose à dire pour la conception assistée automatisée. Par exemple, juste parce que TDD est un outil de conception, il n'y a pas de raison que je ne peux pas avoir un outil automatisé pointer des cas de bord potentiels pendant que je conçois, Non? La qualité de construction dès le début.

consultez ce post dans lequel Peli utilise Pex dans un workflow de style TDD. http://blog.dotnetwiki.org/TDDingABinaryHeapWithPexPart1.aspx

si vous cherchez la littérature sur les théories de l'écriture (google David Saff) - qui sont une façon plus générale d'écrire des tests unitaires, et L'utilisation de Pex comme un explorateur de théorie, j'ai trouvé un changement d'étape dans la productivité de mon expérience jusqu'à présent. Je viens d'écrire un billet de blog détaillant mes expériences de Pex en TDD, ici: http://taumuon-jabuka.blogspot.com/2009/01/theory-driven-development-using_11.html

et comme je l'ai dit - je le vois comme TDD sur les stéroïdes! Il ne remplace en aucun cas TDD, mais renforce l'activité.

je suis vraiment excitée à propos de la Pex. Il fournira des tests pour les cas d'edege que vous ne pourrez jamais imaginer, surtout si votre équipe est petite et la personne écrivant les méthodes est la même que la personne écrivant les tests.

il fournira également des obligations contractuelles auxquelles vos méthodes obéiront.

Test-first development vous permet de structurer votre code pour la testabilité. À cet égard, Pex trouve des chemins intelligents et maladroits à travers votre code, aidant au-delà de simples mesures de couverture.

la principale force de Pex with Moles est de permettre de suivre les effets secondaires lors du développement de Brownfield: lancer Pex une fois et enregistrer les sorties, puis appliquer des changements de code, et exécuter Pex à nouveau pour voir ce qui a été cassé.