Nantes Université

Skip to content
Extraits de code Groupes Projets
Valider 4729cde6 rédigé par Erwan BOUSSE's avatar Erwan BOUSSE
Parcourir les fichiers

Fix images paths

parent c428863c
Aucune branche associée trouvée
Aucune étiquette associée trouvée
Aucune requête de fusion associée trouvée
Pipeline #84590 réussi
......@@ -69,13 +69,13 @@ a|
include::{sourcedir}/if.pseudocode[]
----
a|
image::modelisation/basic-cfg.exported.png[width=350, align=center]
image::modelisation/basic-cfg.drawio.png[width=350, align=center]
|===
== CFGs des principales structures de contrôle
image::modelisation/cfg-rules.exported.png[]
image::modelisation/cfg-rules.drawio.png[]
......@@ -90,7 +90,7 @@ a|
include::{sourcedir}/function.pseudocode[]
----
a|
image::modelisation/fonction-cfg.exported.png[width=400]
image::modelisation/fonction-cfg.drawio.png[width=400]
|===
......@@ -105,7 +105,7 @@ a|
include::{sourcedir}/pgcd.java[]
----
a|
image::modelisation/pgcd-cfg.exported.png[width=400]
image::modelisation/pgcd-cfg.drawio.png[width=400]
|===
......@@ -120,7 +120,7 @@ include::{sourcedir}/stringMatch.java[]
== Exemple 4 (cfg)
image::modelisation/stringMatch-cfg.exported.png[align=center, width=630]
image::modelisation/stringMatch-cfg.drawio.png[align=center, width=630]
== Flot de données
......@@ -147,6 +147,6 @@ a|
include::{sourcedir}/pgcd.java[]
----
a|
image::modelisation/pgcd-cfg-data.exported.png[width=600]
image::modelisation/pgcd-cfg-data.drawio.png[width=600]
|===
../course-assets/examples
\ No newline at end of file
../course-assets/cours/examples
\ No newline at end of file
......@@ -57,7 +57,7 @@ NOTE: Les exigences fonctionnelles spécifient ce que le logiciel _doit faire_,
== Vue d'ensemble simplifiée
image::introduction/specification-implementation.exported.png[align=center, width=1400]
image::introduction/specification-implementation.drawio.png[align=center, width=1400]
== Défauts dans les logiciels{nbsp}: vocabulaire
......@@ -231,7 +231,7 @@ image::introduction/simian-army.png[width=500, align=center]
== Vérification et Validation
image::introduction/specification-implementation-vv.exported.png[width=1100, align=center]
image::introduction/specification-implementation-vv.drawio.png[width=1100, align=center]
== Approches de V&V
......
......@@ -58,7 +58,7 @@ _Dernière révision{nbsp}: {revdate}_
== Vérification statique (1)
image::statique/statique.exported.png[width=1150,align=center]
image::statique/statique.drawio.png[width=1150,align=center]
== Vérification statique (2)
......@@ -95,7 +95,7 @@ Transformer des programmes en *chiffres*.
== Métriques logicielles
image::statique/metrique.exported.png[align=center]
image::statique/metrique.drawio.png[align=center]
== Pré-requis{nbsp}: Graphe de flot de controle (CFG)
......@@ -130,7 +130,7 @@ include::{sourcedir}/if.pseudocode[]
[col-3]
--
image::modelisation/basic-cfg.exported.png[align=center]
image::modelisation/basic-cfg.drawio.png[align=center]
--
****
......@@ -152,7 +152,7 @@ include::{sourcedir}/function.pseudocode[]
[col-3]
--
image::modelisation/fonction-cfg.exported.png[align=center]
image::modelisation/fonction-cfg.drawio.png[align=center]
--
****
......@@ -174,7 +174,7 @@ include::{sourcedir}/pgcd.java[]
[col-3]
--
image::modelisation/pgcd-cfg.exported.png[align=center]
image::modelisation/pgcd-cfg.drawio.png[align=center]
--
****
......@@ -196,7 +196,7 @@ include::{sourcedir}/stringMatch.java[]
[col-4]
--
image::modelisation/stringMatch-cfg.exported.png[align=center]
image::modelisation/stringMatch-cfg.drawio.png[align=center]
--
****
......@@ -255,7 +255,7 @@ _Définition alternative{nbsp}: nombre de prises de décisions dans un programme
include::{sourcedir}/function.pseudocode[]
----
[.col-3]
image::modelisation/fonction-cfg.exported.png[align=center]
image::modelisation/fonction-cfg.drawio.png[align=center]
====
On a stem:[N=7] et stem:[E=8], donc stem:[M = 8 - 7 + 2 = 3].
......@@ -292,7 +292,7 @@ include::{sourcedir}/pgcd.java[]
[col-3]
--
image::modelisation/pgcd-cfg.exported.png[align=center]
image::modelisation/pgcd-cfg.drawio.png[align=center]
--
====
......@@ -312,7 +312,7 @@ include::{sourcedir}/stringMatch.java[]
[col-4]
--
image::modelisation/stringMatch-cfg.exported.png[align=center]
image::modelisation/stringMatch-cfg.drawio.png[align=center]
--
====
......@@ -345,7 +345,7 @@ On compte les chemins un à un sur le CFG.
include::{sourcedir}/function.pseudocode[]
----
[.col-2]
image::modelisation/fonction-cfg.exported.png[align=center]
image::modelisation/fonction-cfg.drawio.png[align=center]
====
......@@ -379,7 +379,7 @@ include::{sourcedir}/pgcd.java[]
[col-3]
--
image::modelisation/pgcd-cfg.exported.png[align=center]
image::modelisation/pgcd-cfg.drawio.png[align=center]
--
====
......@@ -405,7 +405,7 @@ include::{sourcedir}/stringMatch.java[]
[col-4]
--
image::modelisation/stringMatch-cfg.exported.png[align=center]
image::modelisation/stringMatch-cfg.drawio.png[align=center]
--
====
......
......@@ -45,7 +45,7 @@ _Dernière révision{nbsp}: {revdate}_
== L'activité de test logiciel
image::test/process.exported.png[width=1200,align=center]
image::test/process.drawio.png[width=1200,align=center]
== Scénario de test
......@@ -77,7 +77,7 @@ Pour vérifier une partie de cette spécification, on propose le *scénario de t
== Exécution d'un scénario de test
image::test/execution-scenario.exported.png[align=center]
image::test/execution-scenario.drawio.png[align=center]
== Test manuel
......@@ -154,7 +154,7 @@ On peut souhaiter *tester un système logiciel dans son ensemble*, à l'aide de
- quelles sont les _entrées_ possibles pour ce système logiciel (données, fichiers, clics, frappes au clavier, etc.), et
- quelles _sorties_ ce système est censé produire en conséquence (création de nouvelles données, affichage d'information, etc.).
image::test/system.exported.png[width=650, align=center]
image::test/system.drawio.png[width=650, align=center]
== Niveaux de test (2) − découpage en unités
......@@ -170,7 +170,7 @@ Autrement dit, *une bonne conception _spécifie_ ce que doit faire chaque unité
Si on étend le schéma précédent, on obtient alors :
image::test/system-to-units.exported.png[width=950,align=center]
image::test/system-to-units.drawio.png[width=950,align=center]
== Niveaux de test (4) − intérêt des unités pour le test
......@@ -197,7 +197,7 @@ NOTE: Le test unitaire est en nature complétement identique au test système (c
Ainsi, si on ajoute au schéma précédent la notion de *scénario de test* :
image::test/system-vs-unit-testing.exported.png[align=center]
image::test/system-vs-unit-testing.drawio.png[align=center]
== Zoom sur le test unitaire
......@@ -287,7 +287,7 @@ Un *framework de test* est généralement composé de deux parties :
== Notion de framework de test (1)
image::test/framework.exported.png[]
image::test/framework.drawio.png[]
- En _orange_{nbsp}: tout ce qui est dérivé de la spécification,
- En _rouge_{nbsp}: ce qu'on souhaite tester.
......
......@@ -58,7 +58,7 @@ a|
include::{sourcedir}/function.pseudocode[]
----
a|
image::modelisation/fonction-cfg.exported.png[width=300,align=center]
image::modelisation/fonction-cfg.drawio.png[width=300,align=center]
|===
Chemins possibles:
......@@ -92,7 +92,7 @@ Un *prédicat de chemin* correspond à l'ensemble des contraintes que doivent sa
[.column.is-one-third]
image::modelisation/fonction-cfg.exported.png[width=450,align=center]
image::modelisation/fonction-cfg.drawio.png[width=450,align=center]
[.column.is-two-thirds]
......@@ -160,7 +160,7 @@ a|
include::{sourcedir}/sum.java[]
----
a|
image::donnees-test/sum-cfg.exported.png[width=200,align=center]
image::donnees-test/sum-cfg.drawio.png[width=200,align=center]
|===
Deux chemins, couvrent tous les sommets, donc deux scénarios de test :
......@@ -208,7 +208,7 @@ a|
[.col-3]
--
image::donnees-test/div0-cfg.exported.png[width=270,align=center]
image::donnees-test/div0-cfg.drawio.png[width=270,align=center]
--
......@@ -263,7 +263,7 @@ _ch1_ *et _ch2_* nécessaires pour le critère "tous les sommets" :
[.col-3]
--
image::donnees-test/div0-cfg.exported.png[width=270,align=center]
image::donnees-test/div0-cfg.drawio.png[width=270,align=center]
--
......@@ -285,7 +285,7 @@ include::{sourcedir}/bar.java[]
[.col-3]
--
image::donnees-test/bar-cfg.exported.png[width=220,align=center]
image::donnees-test/bar-cfg.drawio.png[width=220,align=center]
--
****
......@@ -340,7 +340,7 @@ a|
include::{sourcedir}/pgcd.java[]
----
a|
image::modelisation/pgcd-cfg.exported.png[width=300]
image::modelisation/pgcd-cfg.drawio.png[width=300]
|===
- Trop grand nombre de chemins possibles (boucle), mais trois 1-chemins :
......@@ -400,7 +400,7 @@ a|
include::{sourcedir}/pgcd.java[]
----
a|
image::modelisation/pgcd-cfg-data.exported.png[width=650]
image::modelisation/pgcd-cfg-data.drawio.png[width=650]
|===
......
......@@ -39,7 +39,7 @@ _Dernière révision{nbsp}: {revdate}_
== Comment définir des scénarios de test ? (2)
image::donnees-test/overview.exported.png[width=1300, align=center]
image::donnees-test/overview.drawio.png[width=1300, align=center]
// WARNING: Les deux méthodes vont souvent mener à des scénarios de test similaires voire identiques !
......
......@@ -49,7 +49,7 @@ C'est un facteur de _qualité_ d’un logiciel qui s'intéresse à _l’effort_
== Différents degrés de testabilité
image::testabilite/degres-testabilite.exported.png[align=center]
image::testabilite/degres-testabilite.drawio.png[align=center]
== Intérêt de la prise en compte de la testabilité
......
0% Chargement en cours ou .
You are about to add 0 people to the discussion. Proceed with caution.
Terminez d'abord l'édition de ce message.
Veuillez vous inscrire ou vous pour commenter