Comment allez-vous générer des tests à partir de spécifications?

Question

Je suis tombé sur un imprimé article par Bertrand Meyer où il affirme que les tests peuvent être générés à partir de spécifications.Mon équipe de développement ne fait rien comme ça, mais il sonne comme une bonne technique à prendre en compte.Comment allez-vous générer des tests à partir de spécifications?Comment décririez-vous le succès de votre avoir en découvrant les erreurs de programme à l'aide de cette méthode?

Answer 1

Il y a toutes sortes de façons de le faire, allant de ce que je considère une "forme d'art" (et pas forcément des bonnes art) tout le chemin à mathématiquement dérivée de tests à partir de spécifications formelles.À la fin de la journée, votre équipe de développement doit être décidé sur ce qu'ils peuvent faire en fonction de la grille qu'ils travaillent avec.Cela étant dit, être en mesure de tester des logiciels contre les specs, c'est une Bonne Chose.

Seul votre équipe peut mesurer la profondeur de vos tests, et qui sera probablement en fonction de vos spécifications.Si ils disent quelque chose comme, 'la connexion de l'INTERFACE utilisateur doit fournir un bouton annuler et d'un bouton de connexion, et ils ont besoin de travailler", vos tests vont être assez général.Mais gardez à l'esprit - même de manière très générale les tests sont une Bonne Chose.Le test est une Bonne Chose.De trop nombreux développeurs ont une mauvaise attitude quand il s'agit de tester, mais à la fin de la journée, vous êtes logiciel d'expédition qui doit travailler, et pour moi, cela signifie beaucoup.

L'efficacité de vos tests d'avoir à trouver les erreurs de programme dépendra de la précision que vous mettez en eux.Ce qui est particulièrement agréable sur le fait d'avoir des procédures de test écrit pour les specs, c'est que vous pouvez tester chaque construction pour le même niveau de détail que la version précédente (généralement appelé un test de régression).

Answer 2

Cela pourrait être une référence à RSpec, qui est un moyen très intelligent de développement de tests d'une série d'exigences.Je suis encore à s'habituer à elle, mais elle est très pratique en définissant ce que je dois faire et veiller ensuite à ce que je le fais.

Answer 3

@Tim Sullivan de Bertrand Meyer il ne peut être relié à Eiffel :)

Je crois qu'il parle de ESpec.Donné le nom de RSpec de l'Ruby Folk, je pense que nous pouvons leur donner le label "fortement inspiré".

Answer 4

Je dirais que cela dépend de vos spécifications techniques.J'ai encore à travailler partout où les spécifications sont assez bon pour créer des tests unitaires à partir des spécifications de - le niveau de détail n'y était pas.Mes chefs m'a toujours dit que si nous l'avons précisé à ce niveau, ils peuvent expédier les specs hors de l'Inde et de l'obtenir codé pour pas cher ;)