Un des \u00e9l\u00e9ments les plus importants dans le d\u00e9veloppement d’un logiciel est le test des diff\u00e9rentes fonctionnalit\u00e9s de ce dernier. Les limites trop serr\u00e9es de date limite de d\u00e9veloppement et l’aspect un peu r\u00e9p\u00e9titif et peu agr\u00e9able du d\u00e9veloppement des tests font en sorte que, malheureusement, le d\u00e9veloppement de tests est souvent laiss\u00e9 pour compte. Il s’agit n\u00e9anmoins d’une \u00e9tape capitale au d\u00e9veloppement d’un logiciel fiable et robuste.<\/p>\n
On a souvent une version tr\u00e8s limit\u00e9e de l’utilisation des tests. Tout programmeur comprendra que les tests doivent:<\/p>\n
Par contre, les tests permettent \u00e9galement de:<\/p>\n
Il existe plusieurs types de tests qui permettent de valider diff\u00e9rents aspects du logiciel. Les plus courants sont les tests suivants:<\/p>\n
On appelle Tests syst\u00e8me l’ensemble de tous les tests (unitaire et de non-r\u00e9gression) du syst\u00e8me.<\/p>\n
On appelle une suite de tests l’ensemble des tests s’appliquant \u00e0 une partie de logiciel. Par exemple, on pourrait avoir une suite de tests pour une m\u00e9thode, pour une classe ou pour un logiciel.<\/p>\n
Dans le cadre du cours, nous allons voir l’utilisation des tests unitaires.<\/p>\n
Dans un contexte objet, une suite de tests d’un test unitaire doit permettre de tester le maximum de fonctionnalit\u00e9s d’une classe. En g\u00e9n\u00e9ral, on ne teste pas les proc\u00e9dures effectuant des entr\u00e9es\/sorties (lecture au clavier, \u00e9criture \u00e0 l’\u00e9cran, sauvegarde de fichier, etc.), mais ce n’est pas une r\u00e8gle absolue. S’il est possible de tester une m\u00e9thode sans trop de difficult\u00e9, il est pr\u00e9f\u00e9rable de le faire. Les tests d’une s\u00e9rie de tests doivent comprendre les types de cas suivants:<\/p>\n
Pour vous permettre de bien comprendre la m\u00e9canique, je vais donner un exemple de test unitaire pour un cas normal, erron\u00e9 et limite en Java et Eiffel.<\/p>\n
Les tests suivants s’appliquent \u00e0 la m\u00e9thode permettant de lire un \u00e9l\u00e9ment dans une liste (en Java<\/a> et en Eiffel<\/a>).<\/p>\n Voici un exemple de cas normal o\u00f9 nous utilisons une liste de 5 \u00e9l\u00e9ments et que nous utilisons l’index du second \u00e9l\u00e9ment.<\/p>\n En Eiffel:<\/p>\n En Java:<\/p>\n Voici un exemple de cas erron\u00e9 o\u00f9 nous utilisons la m\u00eame liste de 5 \u00e9l\u00e9ments et que nous utilisons l’index 10, qui est \u00e0 l’ext\u00e9rieur de cette liste.<\/p>\n En Eiffel:<\/p>\nCas normaux<\/h3>\n
test_at_normal<\/span>\r\n\t\t-- Test normal pour {LIST}.`at'<\/span>\r\n\tnote<\/span>\r\n\t\ttesting<\/span>:<\/span> \"covers\/{LIST}.at\"<\/span>\r\n\tlocal<\/span>\r\n\t\tl_liste<\/span>:<\/span>LIST<\/span>[<\/span>INTEGER<\/span>]<\/span>\r\n\tdo<\/span>\r\n\t\tcreate<\/span> {<\/span>LINKED_LIST<\/span>[<\/span>INTEGER<\/span>]<\/span>}<\/span> l_liste<\/span>.<\/span>make<\/span>\r\n\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>1<\/span>)<\/span>\r\n\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>2<\/span>)<\/span>\r\n\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>3<\/span>)<\/span>\r\n\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>4<\/span>)<\/span>\r\n\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>5<\/span>)<\/span>\r\n\t\tassert<\/span>(<\/span>\"{LIST}.at(2) valide\"<\/span>,<\/span> l_liste<\/span>.<\/span>at<\/span> (<\/span>2<\/span>)<\/span> =<\/span> 2<\/span>)<\/span>\r\n\tend<\/span>\r\n<\/pre>\n<\/div>\n@Test<\/span>\r\npublic<\/span> void<\/span> testGetNormal<\/span>()<\/span> {<\/span>\r\n List<\/span><<\/span>Integer<\/span>><\/span> lListe<\/span> =<\/span> new<\/span> LinkedList<\/span><<\/span>Integer<\/span>><\/span>();<\/span>\r\n lListe<\/span>.<\/span>add<\/span>(<\/span>new<\/span> Integer<\/span>(<\/span>1<\/span>));<\/span>\r\n lListe<\/span>.<\/span>add<\/span>(<\/span>new<\/span> Integer<\/span>(<\/span>2<\/span>));<\/span>\r\n lListe<\/span>.<\/span>add<\/span>(<\/span>new<\/span> Integer<\/span>(<\/span>3<\/span>));<\/span>\r\n lListe<\/span>.<\/span>add<\/span>(<\/span>new<\/span> Integer<\/span>(<\/span>4<\/span>));<\/span>\r\n lListe<\/span>.<\/span>add<\/span>(<\/span>new<\/span> Integer<\/span>(<\/span>5<\/span>));<\/span>\r\n Assert<\/span>.<\/span>assertEquals<\/span>(<\/span>lListe<\/span>.<\/span>get<\/span>(<\/span>1<\/span>).<\/span>intValue<\/span>(),<\/span> 2<\/span>);<\/span>\r\n}<\/span>\r\n<\/pre>\n<\/div>\nCas erron\u00e9s<\/h3>\n
test_at_errone<\/span>\r\n\t\t-- Test erron\u00e9 pour {LIST}.`at'<\/span>\r\n\tnote<\/span>\r\n\t\ttesting<\/span>:<\/span> \"covers\/{LIST}.at\"<\/span>\r\n\tlocal<\/span>\r\n\t\tl_retry<\/span>:<\/span>BOOLEAN<\/span>\r\n\t\tl_liste<\/span>:<\/span>LIST<\/span>[<\/span>INTEGER<\/span>]<\/span>\r\n\t\tl_valeur<\/span>:<\/span>INTEGER<\/span>\r\n\tdo<\/span>\r\n\t\tif<\/span> not<\/span> l_retry<\/span> then<\/span>\r\n\t\t\tcreate<\/span> {<\/span>LINKED_LIST<\/span>[<\/span>INTEGER<\/span>]<\/span>}<\/span> l_liste<\/span>.<\/span>make<\/span>\r\n\t\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>1<\/span>)<\/span>\r\n\t\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>2<\/span>)<\/span>\r\n\t\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>3<\/span>)<\/span>\r\n\t\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>4<\/span>)<\/span>\r\n\t\t\tl_liste<\/span>.<\/span>extend<\/span> (<\/span>