From 143e91083080ec34406d31c9f2fb712f872d663e Mon Sep 17 00:00:00 2001
From: Marco Aceti <marco.aceti@studenti.unimi.it>
Date: Wed, 7 Jun 2023 14:51:04 +0200
Subject: [PATCH] Swap 'Lezione 11' and 'Lezione 14'
---
.../00_index.md | 0
.../01_terminologia.md | 0
.../02_tecniche.md | 0
src/{11_testing => 12_testing}/00_index.md | 0
.../01_definizioni.md | 0
.../02_proprieta.md | 0
src/{11_testing => 12_testing}/03_utilita.md | 0
.../04_criteri-noti/00_index.md | 0
.../04_criteri-noti/01_comandi.md | 0
.../04_criteri-noti/02_decisioni.md | 0
.../04_criteri-noti/03_condizioni.md | 0
.../04_decisioni-condizioni.md | 0
.../04_criteri-noti/05_condizioni-composte.md | 0
.../06_condizioni-decisioni-modificate.md | 0
.../04_criteri-noti/07_implicazioni.md | 0
.../05_altri-criteri/00_index.md | 0
.../05_altri-criteri/01_cammini.md | 0
.../05_altri-criteri/02_cicli.md | 0
src/{11_testing => 12_testing}/06_mappa.md | 0
.../00_index.md | 0
.../01_compilatori.md | 0
.../02_data-flow/00_index.md | 0
.../02_data-flow/01_regole.md | 0
.../02_data-flow/02_sequenze.md | 0
.../03_testing.md | 0
.../04_criteri/00_index.md | 0
.../04_criteri/01_definizioni.md | 0
.../04_criteri/02_usi.md | 0
.../04_criteri/03_cammini-du.md | 0
.../05_oltre-variabili.md | 0
src/{13_review => 14_review}/00_index.md | 0
src/{13_review => 14_review}/01_bebugging.md | 0
.../02_analisi-mutazionale/00_index.md | 0
.../01_copertura-mutanti.md | 0
.../02_analisi-mutazionale/02_generazione.md | 0
.../02_analisi-mutazionale/03_automazione.md | 0
.../03_object-oriented.md | 0
.../04_testing-funzionale/00_index.md | 0
.../04_testing-funzionale/01_interfacce.md | 0
.../02_classi-equivalenza.md | 0
.../03_test-frontiera.md | 0
.../04_category-partition.md | 0
.../05_object-orientation.md | 0
.../05_software-inspection/00_index.md | 0
.../05_software-inspection/01_fagan.md | 0
.../05_software-inspection/02_automazione.md | 0
.../05_software-inspection/03_pro-contro.md | 0
.../04_verifica-convalida.md | 0
.../05_software-inspection/05_gruppi-test.md | 0
.../06_modelli-statistici.md | 0
src/{13_review => 14_review}/07_debugging.md | 0
src/SUMMARY.md | 112 +++++++++---------
52 files changed, 56 insertions(+), 56 deletions(-)
rename src/{14_verifica-convalida => 11_verifica-convalida}/00_index.md (100%)
rename src/{14_verifica-convalida => 11_verifica-convalida}/01_terminologia.md (100%)
rename src/{14_verifica-convalida => 11_verifica-convalida}/02_tecniche.md (100%)
rename src/{11_testing => 12_testing}/00_index.md (100%)
rename src/{11_testing => 12_testing}/01_definizioni.md (100%)
rename src/{11_testing => 12_testing}/02_proprieta.md (100%)
rename src/{11_testing => 12_testing}/03_utilita.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/00_index.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/01_comandi.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/02_decisioni.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/03_condizioni.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/04_decisioni-condizioni.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/05_condizioni-composte.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/06_condizioni-decisioni-modificate.md (100%)
rename src/{11_testing => 12_testing}/04_criteri-noti/07_implicazioni.md (100%)
rename src/{11_testing => 12_testing}/05_altri-criteri/00_index.md (100%)
rename src/{11_testing => 12_testing}/05_altri-criteri/01_cammini.md (100%)
rename src/{11_testing => 12_testing}/05_altri-criteri/02_cicli.md (100%)
rename src/{11_testing => 12_testing}/06_mappa.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/00_index.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/01_compilatori.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/02_data-flow/00_index.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/02_data-flow/01_regole.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/02_data-flow/02_sequenze.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/03_testing.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/04_criteri/00_index.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/04_criteri/01_definizioni.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/04_criteri/02_usi.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/04_criteri/03_cammini-du.md (100%)
rename src/{12_analisi-statica => 13_analisi-statica}/05_oltre-variabili.md (100%)
rename src/{13_review => 14_review}/00_index.md (100%)
rename src/{13_review => 14_review}/01_bebugging.md (100%)
rename src/{13_review => 14_review}/02_analisi-mutazionale/00_index.md (100%)
rename src/{13_review => 14_review}/02_analisi-mutazionale/01_copertura-mutanti.md (100%)
rename src/{13_review => 14_review}/02_analisi-mutazionale/02_generazione.md (100%)
rename src/{13_review => 14_review}/02_analisi-mutazionale/03_automazione.md (100%)
rename src/{13_review => 14_review}/03_object-oriented.md (100%)
rename src/{13_review => 14_review}/04_testing-funzionale/00_index.md (100%)
rename src/{13_review => 14_review}/04_testing-funzionale/01_interfacce.md (100%)
rename src/{13_review => 14_review}/04_testing-funzionale/02_classi-equivalenza.md (100%)
rename src/{13_review => 14_review}/04_testing-funzionale/03_test-frontiera.md (100%)
rename src/{13_review => 14_review}/04_testing-funzionale/04_category-partition.md (100%)
rename src/{13_review => 14_review}/04_testing-funzionale/05_object-orientation.md (100%)
rename src/{13_review => 14_review}/05_software-inspection/00_index.md (100%)
rename src/{13_review => 14_review}/05_software-inspection/01_fagan.md (100%)
rename src/{13_review => 14_review}/05_software-inspection/02_automazione.md (100%)
rename src/{13_review => 14_review}/05_software-inspection/03_pro-contro.md (100%)
rename src/{13_review => 14_review}/05_software-inspection/04_verifica-convalida.md (100%)
rename src/{13_review => 14_review}/05_software-inspection/05_gruppi-test.md (100%)
rename src/{13_review => 14_review}/06_modelli-statistici.md (100%)
rename src/{13_review => 14_review}/07_debugging.md (100%)
diff --git a/src/14_verifica-convalida/00_index.md b/src/11_verifica-convalida/00_index.md
similarity index 100%
rename from src/14_verifica-convalida/00_index.md
rename to src/11_verifica-convalida/00_index.md
diff --git a/src/14_verifica-convalida/01_terminologia.md b/src/11_verifica-convalida/01_terminologia.md
similarity index 100%
rename from src/14_verifica-convalida/01_terminologia.md
rename to src/11_verifica-convalida/01_terminologia.md
diff --git a/src/14_verifica-convalida/02_tecniche.md b/src/11_verifica-convalida/02_tecniche.md
similarity index 100%
rename from src/14_verifica-convalida/02_tecniche.md
rename to src/11_verifica-convalida/02_tecniche.md
diff --git a/src/11_testing/00_index.md b/src/12_testing/00_index.md
similarity index 100%
rename from src/11_testing/00_index.md
rename to src/12_testing/00_index.md
diff --git a/src/11_testing/01_definizioni.md b/src/12_testing/01_definizioni.md
similarity index 100%
rename from src/11_testing/01_definizioni.md
rename to src/12_testing/01_definizioni.md
diff --git a/src/11_testing/02_proprieta.md b/src/12_testing/02_proprieta.md
similarity index 100%
rename from src/11_testing/02_proprieta.md
rename to src/12_testing/02_proprieta.md
diff --git a/src/11_testing/03_utilita.md b/src/12_testing/03_utilita.md
similarity index 100%
rename from src/11_testing/03_utilita.md
rename to src/12_testing/03_utilita.md
diff --git a/src/11_testing/04_criteri-noti/00_index.md b/src/12_testing/04_criteri-noti/00_index.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/00_index.md
rename to src/12_testing/04_criteri-noti/00_index.md
diff --git a/src/11_testing/04_criteri-noti/01_comandi.md b/src/12_testing/04_criteri-noti/01_comandi.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/01_comandi.md
rename to src/12_testing/04_criteri-noti/01_comandi.md
diff --git a/src/11_testing/04_criteri-noti/02_decisioni.md b/src/12_testing/04_criteri-noti/02_decisioni.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/02_decisioni.md
rename to src/12_testing/04_criteri-noti/02_decisioni.md
diff --git a/src/11_testing/04_criteri-noti/03_condizioni.md b/src/12_testing/04_criteri-noti/03_condizioni.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/03_condizioni.md
rename to src/12_testing/04_criteri-noti/03_condizioni.md
diff --git a/src/11_testing/04_criteri-noti/04_decisioni-condizioni.md b/src/12_testing/04_criteri-noti/04_decisioni-condizioni.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/04_decisioni-condizioni.md
rename to src/12_testing/04_criteri-noti/04_decisioni-condizioni.md
diff --git a/src/11_testing/04_criteri-noti/05_condizioni-composte.md b/src/12_testing/04_criteri-noti/05_condizioni-composte.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/05_condizioni-composte.md
rename to src/12_testing/04_criteri-noti/05_condizioni-composte.md
diff --git a/src/11_testing/04_criteri-noti/06_condizioni-decisioni-modificate.md b/src/12_testing/04_criteri-noti/06_condizioni-decisioni-modificate.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/06_condizioni-decisioni-modificate.md
rename to src/12_testing/04_criteri-noti/06_condizioni-decisioni-modificate.md
diff --git a/src/11_testing/04_criteri-noti/07_implicazioni.md b/src/12_testing/04_criteri-noti/07_implicazioni.md
similarity index 100%
rename from src/11_testing/04_criteri-noti/07_implicazioni.md
rename to src/12_testing/04_criteri-noti/07_implicazioni.md
diff --git a/src/11_testing/05_altri-criteri/00_index.md b/src/12_testing/05_altri-criteri/00_index.md
similarity index 100%
rename from src/11_testing/05_altri-criteri/00_index.md
rename to src/12_testing/05_altri-criteri/00_index.md
diff --git a/src/11_testing/05_altri-criteri/01_cammini.md b/src/12_testing/05_altri-criteri/01_cammini.md
similarity index 100%
rename from src/11_testing/05_altri-criteri/01_cammini.md
rename to src/12_testing/05_altri-criteri/01_cammini.md
diff --git a/src/11_testing/05_altri-criteri/02_cicli.md b/src/12_testing/05_altri-criteri/02_cicli.md
similarity index 100%
rename from src/11_testing/05_altri-criteri/02_cicli.md
rename to src/12_testing/05_altri-criteri/02_cicli.md
diff --git a/src/11_testing/06_mappa.md b/src/12_testing/06_mappa.md
similarity index 100%
rename from src/11_testing/06_mappa.md
rename to src/12_testing/06_mappa.md
diff --git a/src/12_analisi-statica/00_index.md b/src/13_analisi-statica/00_index.md
similarity index 100%
rename from src/12_analisi-statica/00_index.md
rename to src/13_analisi-statica/00_index.md
diff --git a/src/12_analisi-statica/01_compilatori.md b/src/13_analisi-statica/01_compilatori.md
similarity index 100%
rename from src/12_analisi-statica/01_compilatori.md
rename to src/13_analisi-statica/01_compilatori.md
diff --git a/src/12_analisi-statica/02_data-flow/00_index.md b/src/13_analisi-statica/02_data-flow/00_index.md
similarity index 100%
rename from src/12_analisi-statica/02_data-flow/00_index.md
rename to src/13_analisi-statica/02_data-flow/00_index.md
diff --git a/src/12_analisi-statica/02_data-flow/01_regole.md b/src/13_analisi-statica/02_data-flow/01_regole.md
similarity index 100%
rename from src/12_analisi-statica/02_data-flow/01_regole.md
rename to src/13_analisi-statica/02_data-flow/01_regole.md
diff --git a/src/12_analisi-statica/02_data-flow/02_sequenze.md b/src/13_analisi-statica/02_data-flow/02_sequenze.md
similarity index 100%
rename from src/12_analisi-statica/02_data-flow/02_sequenze.md
rename to src/13_analisi-statica/02_data-flow/02_sequenze.md
diff --git a/src/12_analisi-statica/03_testing.md b/src/13_analisi-statica/03_testing.md
similarity index 100%
rename from src/12_analisi-statica/03_testing.md
rename to src/13_analisi-statica/03_testing.md
diff --git a/src/12_analisi-statica/04_criteri/00_index.md b/src/13_analisi-statica/04_criteri/00_index.md
similarity index 100%
rename from src/12_analisi-statica/04_criteri/00_index.md
rename to src/13_analisi-statica/04_criteri/00_index.md
diff --git a/src/12_analisi-statica/04_criteri/01_definizioni.md b/src/13_analisi-statica/04_criteri/01_definizioni.md
similarity index 100%
rename from src/12_analisi-statica/04_criteri/01_definizioni.md
rename to src/13_analisi-statica/04_criteri/01_definizioni.md
diff --git a/src/12_analisi-statica/04_criteri/02_usi.md b/src/13_analisi-statica/04_criteri/02_usi.md
similarity index 100%
rename from src/12_analisi-statica/04_criteri/02_usi.md
rename to src/13_analisi-statica/04_criteri/02_usi.md
diff --git a/src/12_analisi-statica/04_criteri/03_cammini-du.md b/src/13_analisi-statica/04_criteri/03_cammini-du.md
similarity index 100%
rename from src/12_analisi-statica/04_criteri/03_cammini-du.md
rename to src/13_analisi-statica/04_criteri/03_cammini-du.md
diff --git a/src/12_analisi-statica/05_oltre-variabili.md b/src/13_analisi-statica/05_oltre-variabili.md
similarity index 100%
rename from src/12_analisi-statica/05_oltre-variabili.md
rename to src/13_analisi-statica/05_oltre-variabili.md
diff --git a/src/13_review/00_index.md b/src/14_review/00_index.md
similarity index 100%
rename from src/13_review/00_index.md
rename to src/14_review/00_index.md
diff --git a/src/13_review/01_bebugging.md b/src/14_review/01_bebugging.md
similarity index 100%
rename from src/13_review/01_bebugging.md
rename to src/14_review/01_bebugging.md
diff --git a/src/13_review/02_analisi-mutazionale/00_index.md b/src/14_review/02_analisi-mutazionale/00_index.md
similarity index 100%
rename from src/13_review/02_analisi-mutazionale/00_index.md
rename to src/14_review/02_analisi-mutazionale/00_index.md
diff --git a/src/13_review/02_analisi-mutazionale/01_copertura-mutanti.md b/src/14_review/02_analisi-mutazionale/01_copertura-mutanti.md
similarity index 100%
rename from src/13_review/02_analisi-mutazionale/01_copertura-mutanti.md
rename to src/14_review/02_analisi-mutazionale/01_copertura-mutanti.md
diff --git a/src/13_review/02_analisi-mutazionale/02_generazione.md b/src/14_review/02_analisi-mutazionale/02_generazione.md
similarity index 100%
rename from src/13_review/02_analisi-mutazionale/02_generazione.md
rename to src/14_review/02_analisi-mutazionale/02_generazione.md
diff --git a/src/13_review/02_analisi-mutazionale/03_automazione.md b/src/14_review/02_analisi-mutazionale/03_automazione.md
similarity index 100%
rename from src/13_review/02_analisi-mutazionale/03_automazione.md
rename to src/14_review/02_analisi-mutazionale/03_automazione.md
diff --git a/src/13_review/03_object-oriented.md b/src/14_review/03_object-oriented.md
similarity index 100%
rename from src/13_review/03_object-oriented.md
rename to src/14_review/03_object-oriented.md
diff --git a/src/13_review/04_testing-funzionale/00_index.md b/src/14_review/04_testing-funzionale/00_index.md
similarity index 100%
rename from src/13_review/04_testing-funzionale/00_index.md
rename to src/14_review/04_testing-funzionale/00_index.md
diff --git a/src/13_review/04_testing-funzionale/01_interfacce.md b/src/14_review/04_testing-funzionale/01_interfacce.md
similarity index 100%
rename from src/13_review/04_testing-funzionale/01_interfacce.md
rename to src/14_review/04_testing-funzionale/01_interfacce.md
diff --git a/src/13_review/04_testing-funzionale/02_classi-equivalenza.md b/src/14_review/04_testing-funzionale/02_classi-equivalenza.md
similarity index 100%
rename from src/13_review/04_testing-funzionale/02_classi-equivalenza.md
rename to src/14_review/04_testing-funzionale/02_classi-equivalenza.md
diff --git a/src/13_review/04_testing-funzionale/03_test-frontiera.md b/src/14_review/04_testing-funzionale/03_test-frontiera.md
similarity index 100%
rename from src/13_review/04_testing-funzionale/03_test-frontiera.md
rename to src/14_review/04_testing-funzionale/03_test-frontiera.md
diff --git a/src/13_review/04_testing-funzionale/04_category-partition.md b/src/14_review/04_testing-funzionale/04_category-partition.md
similarity index 100%
rename from src/13_review/04_testing-funzionale/04_category-partition.md
rename to src/14_review/04_testing-funzionale/04_category-partition.md
diff --git a/src/13_review/04_testing-funzionale/05_object-orientation.md b/src/14_review/04_testing-funzionale/05_object-orientation.md
similarity index 100%
rename from src/13_review/04_testing-funzionale/05_object-orientation.md
rename to src/14_review/04_testing-funzionale/05_object-orientation.md
diff --git a/src/13_review/05_software-inspection/00_index.md b/src/14_review/05_software-inspection/00_index.md
similarity index 100%
rename from src/13_review/05_software-inspection/00_index.md
rename to src/14_review/05_software-inspection/00_index.md
diff --git a/src/13_review/05_software-inspection/01_fagan.md b/src/14_review/05_software-inspection/01_fagan.md
similarity index 100%
rename from src/13_review/05_software-inspection/01_fagan.md
rename to src/14_review/05_software-inspection/01_fagan.md
diff --git a/src/13_review/05_software-inspection/02_automazione.md b/src/14_review/05_software-inspection/02_automazione.md
similarity index 100%
rename from src/13_review/05_software-inspection/02_automazione.md
rename to src/14_review/05_software-inspection/02_automazione.md
diff --git a/src/13_review/05_software-inspection/03_pro-contro.md b/src/14_review/05_software-inspection/03_pro-contro.md
similarity index 100%
rename from src/13_review/05_software-inspection/03_pro-contro.md
rename to src/14_review/05_software-inspection/03_pro-contro.md
diff --git a/src/13_review/05_software-inspection/04_verifica-convalida.md b/src/14_review/05_software-inspection/04_verifica-convalida.md
similarity index 100%
rename from src/13_review/05_software-inspection/04_verifica-convalida.md
rename to src/14_review/05_software-inspection/04_verifica-convalida.md
diff --git a/src/13_review/05_software-inspection/05_gruppi-test.md b/src/14_review/05_software-inspection/05_gruppi-test.md
similarity index 100%
rename from src/13_review/05_software-inspection/05_gruppi-test.md
rename to src/14_review/05_software-inspection/05_gruppi-test.md
diff --git a/src/13_review/06_modelli-statistici.md b/src/14_review/06_modelli-statistici.md
similarity index 100%
rename from src/13_review/06_modelli-statistici.md
rename to src/14_review/06_modelli-statistici.md
diff --git a/src/13_review/07_debugging.md b/src/14_review/07_debugging.md
similarity index 100%
rename from src/13_review/07_debugging.md
rename to src/14_review/07_debugging.md
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index f8611c1..990c093 100644
--- a/src/SUMMARY.md
+++ b/src/SUMMARY.md
@@ -103,8 +103,6 @@
- [Component diagram](./09_uml/07_component-diagram.md)
- [Deployment diagram](./09_uml/08_deployment-diagram.md)
-# Verifica e convalida
-
- [Mocking](./10_mocking/00_index.md)
- [Test Double](./10_mocking/01_test-double/00_index.md)
- [Dummy objects](./10_mocking/01_test-double/01_dummy-objects.md)
@@ -115,59 +113,61 @@
- [Riepilogo](./10_mocking/01_test-double/06_riepilogo.md)
- [Mockito](./10_mocking/01_mockito.md)
-- [Testing e criteri di selezione](./11_testing/00_index.md)
- - [Definizioni](./11_testing/01_definizioni.md)
- - [Proprietà](./11_testing/02_proprieta.md)
- - [Utilità di un test](./11_testing/03_utilita.md)
- - [Criteri di selezione](./11_testing/04_criteri-noti/00_index.md)
- - [Criterio di copertura dei comandi](./11_testing/04_criteri-noti/01_comandi.md)
- - [Criterio di copertura delle decisioni](./11_testing/04_criteri-noti/02_decisioni.md)
- - [Criterio di copertura delle condizioni](./11_testing/04_criteri-noti/03_condizioni.md)
- - [Criterio di copertura delle decisioni e condizioni](./11_testing/04_criteri-noti/04_decisioni-condizioni.md)
- - [Criterio di copertura delle condizioni composte](./11_testing/04_criteri-noti/05_condizioni-composte.md)
- - [Criterio di copertura delle condizioni e decisioni modificate](./11_testing/04_criteri-noti/06_condizioni-decisioni-modificate.md)
- - [Implicazioni tra criteri di copertura](./11_testing/04_criteri-noti/07_implicazioni.md)
- - [Altri criteri](./11_testing/05_altri-criteri/00_index.md)
- - [Criterio di copertura dei cammini](./11_testing/05_altri-criteri/01_cammini.md)
- - [Criterio di \\(n\\)-copertura dei cicli](./11_testing/05_altri-criteri/02_cicli.md)
- - [Mappa finale implicazioni tra criteri di copertura](./11_testing/06_mappa.md)
-
-- [Analisi statica](./12_analisi-statica/00_index.md)
- - [Compilatori](./12_analisi-statica/01_compilatori.md)
- - [Analisi Data Flow](./12_analisi-statica/02_data-flow/00_index.md)
- - [Regole](./12_analisi-statica/02_data-flow/01_regole.md)
- - [Sequenze](./12_analisi-statica/02_data-flow/02_sequenze.md)
- - [Testing](./12_analisi-statica/03_testing.md)
- - [Criteri di copertura](./12_analisi-statica/04_criteri/00_index.md)
- - [Criterio di copertura delle definizioni](./12_analisi-statica/04_criteri/01_definizioni.md)
- - [Criterio di copertura degli usi](./12_analisi-statica/04_criteri/02_usi.md)
- - [Criterio di copertura dei cammini DU](./12_analisi-statica/04_criteri/03_cammini-du.md)
- - [Oltre le variabili](./12_analisi-statica/05_oltre-variabili.md)
-
-- [Processi di review](./13_review/00_index.md)
- - [Bebugging](./13_review/01_bebugging.md)
- - [Analisi mutazionale](./13_review/02_analisi-mutazionale/00_index.md)
- - [Criterio di copertura dei mutanti](./13_review/02_analisi-mutazionale/01_copertura-mutanti.md)
- - [Generazione dei mutanti](./13_review/02_analisi-mutazionale/02_generazione.md)
- - [Automazione](./13_review/02_analisi-mutazionale/03_automazione.md)
- - [Object oriented testing](./13_review/03_object-oriented.md)
- - [Testing funzionale](./13_review/04_testing-funzionale/00_index.md)
- - [Testing delle interfacce](./13_review/04_testing-funzionale/01_interfacce.md)
- - [Classi di equivalenza](./13_review/04_testing-funzionale/02_classi-equivalenza.md)
- - [Test di frontiera](./13_review/04_testing-funzionale/03_test-frontiera.md)
- - [Category partition](./13_review/04_testing-funzionale/04_category-partition.md)
- - [Object orientation e testing funzionale](./13_review/04_testing-funzionale/05_object-orientation.md)
- - [Software inspection](./13_review/05_software-inspection/00_index.md)
- - [Fagan code inspection](./13_review/05_software-inspection/01_fagan.md)
- - [Automazione](./13_review/05_software-inspection/02_automazione.md)
- - [Pro e contro](./13_review/05_software-inspection/03_pro-contro.md)
- - [Confronto tra tecniche di verifica e convalida](./13_review/05_software-inspection/04_verifica-convalida.md)
- - [Gruppi di test autonomi](./13_review/05_software-inspection/05_gruppi-test.md)
- - [Modelli statistici](./13_review/06_modelli-statistici.md)
- - [Debugging](./13_review/07_debugging.md)
-
-- [Verifica e convalida](./14_verifica-convalida/00_index.md)
- - [Terminologia](./14_verifica-convalida/01_terminologia.md)
- - [Tecniche](./14_verifica-convalida/02_tecniche.md)
+# Verifica e convalida
+
+- [Verifica e convalida](./11_verifica-convalida/00_index.md)
+ - [Terminologia](./11_verifica-convalida/01_terminologia.md)
+ - [Tecniche](./11_verifica-convalida/02_tecniche.md)
+
+- [Testing e criteri di selezione](./12_testing/00_index.md)
+ - [Definizioni](./12_testing/01_definizioni.md)
+ - [Proprietà](./12_testing/02_proprieta.md)
+ - [Utilità di un test](./12_testing/03_utilita.md)
+ - [Criteri di selezione](./12_testing/04_criteri-noti/00_index.md)
+ - [Criterio di copertura dei comandi](./12_testing/04_criteri-noti/01_comandi.md)
+ - [Criterio di copertura delle decisioni](./12_testing/04_criteri-noti/02_decisioni.md)
+ - [Criterio di copertura delle condizioni](./12_testing/04_criteri-noti/03_condizioni.md)
+ - [Criterio di copertura delle decisioni e condizioni](./12_testing/04_criteri-noti/04_decisioni-condizioni.md)
+ - [Criterio di copertura delle condizioni composte](./12_testing/04_criteri-noti/05_condizioni-composte.md)
+ - [Criterio di copertura delle condizioni e decisioni modificate](./12_testing/04_criteri-noti/06_condizioni-decisioni-modificate.md)
+ - [Implicazioni tra criteri di copertura](./12_testing/04_criteri-noti/07_implicazioni.md)
+ - [Altri criteri](./12_testing/05_altri-criteri/00_index.md)
+ - [Criterio di copertura dei cammini](./12_testing/05_altri-criteri/01_cammini.md)
+ - [Criterio di \\(n\\)-copertura dei cicli](./12_testing/05_altri-criteri/02_cicli.md)
+ - [Mappa finale implicazioni tra criteri di copertura](./12_testing/06_mappa.md)
+
+- [Analisi statica](./13_analisi-statica/00_index.md)
+ - [Compilatori](./13_analisi-statica/01_compilatori.md)
+ - [Analisi Data Flow](./13_analisi-statica/02_data-flow/00_index.md)
+ - [Regole](./13_analisi-statica/02_data-flow/01_regole.md)
+ - [Sequenze](./13_analisi-statica/02_data-flow/02_sequenze.md)
+ - [Testing](./13_analisi-statica/03_testing.md)
+ - [Criteri di copertura](./13_analisi-statica/04_criteri/00_index.md)
+ - [Criterio di copertura delle definizioni](./13_analisi-statica/04_criteri/01_definizioni.md)
+ - [Criterio di copertura degli usi](./13_analisi-statica/04_criteri/02_usi.md)
+ - [Criterio di copertura dei cammini DU](./13_analisi-statica/04_criteri/03_cammini-du.md)
+ - [Oltre le variabili](./13_analisi-statica/05_oltre-variabili.md)
+
+- [Processi di review](./14_review/00_index.md)
+ - [Bebugging](./14_review/01_bebugging.md)
+ - [Analisi mutazionale](./14_review/02_analisi-mutazionale/00_index.md)
+ - [Criterio di copertura dei mutanti](./14_review/02_analisi-mutazionale/01_copertura-mutanti.md)
+ - [Generazione dei mutanti](./14_review/02_analisi-mutazionale/02_generazione.md)
+ - [Automazione](./14_review/02_analisi-mutazionale/03_automazione.md)
+ - [Object oriented testing](./14_review/03_object-oriented.md)
+ - [Testing funzionale](./14_review/04_testing-funzionale/00_index.md)
+ - [Testing delle interfacce](./14_review/04_testing-funzionale/01_interfacce.md)
+ - [Classi di equivalenza](./14_review/04_testing-funzionale/02_classi-equivalenza.md)
+ - [Test di frontiera](./14_review/04_testing-funzionale/03_test-frontiera.md)
+ - [Category partition](./14_review/04_testing-funzionale/04_category-partition.md)
+ - [Object orientation e testing funzionale](./14_review/04_testing-funzionale/05_object-orientation.md)
+ - [Software inspection](./14_review/05_software-inspection/00_index.md)
+ - [Fagan code inspection](./14_review/05_software-inspection/01_fagan.md)
+ - [Automazione](./14_review/05_software-inspection/02_automazione.md)
+ - [Pro e contro](./14_review/05_software-inspection/03_pro-contro.md)
+ - [Confronto tra tecniche di verifica e convalida](./14_review/05_software-inspection/04_verifica-convalida.md)
+ - [Gruppi di test autonomi](./14_review/05_software-inspection/05_gruppi-test.md)
+ - [Modelli statistici](./14_review/06_modelli-statistici.md)
+ - [Debugging](./14_review/07_debugging.md)
# Reti di Petri
--
GitLab