From 9b43943876c508165a14ceaa5b2f2f81ef9888af Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 28 Dec 2022 21:26:15 +0100 Subject: [PATCH] Some more questions --- Ingegneria del Software/0000_32/correct.txt | 1 + Ingegneria del Software/0000_32/quest.txt | 22 +++++++++++++++++++++ Ingegneria del Software/0000_32/wrong1.txt | 1 + Ingegneria del Software/0000_32/wrong2.txt | 1 + Ingegneria del Software/0000_8/correct.txt | 1 + Ingegneria del Software/0000_8/quest.txt | 1 + Ingegneria del Software/0000_8/wrong1.txt | 1 + Ingegneria del Software/0000_8/wrong2.txt | 1 + 8 files changed, 29 insertions(+) create mode 100644 Ingegneria del Software/0000_32/correct.txt create mode 100644 Ingegneria del Software/0000_32/quest.txt create mode 100644 Ingegneria del Software/0000_32/wrong1.txt create mode 100644 Ingegneria del Software/0000_32/wrong2.txt create mode 100644 Ingegneria del Software/0000_8/correct.txt create mode 100644 Ingegneria del Software/0000_8/quest.txt create mode 100644 Ingegneria del Software/0000_8/wrong1.txt create mode 100644 Ingegneria del Software/0000_8/wrong2.txt diff --git a/Ingegneria del Software/0000_32/correct.txt b/Ingegneria del Software/0000_32/correct.txt new file mode 100644 index 0000000..1ef5b94 --- /dev/null +++ b/Ingegneria del Software/0000_32/correct.txt @@ -0,0 +1 @@ +(a=100, b=true, c=false), (a=90, b=false, c=true), (a=90, b=false, c=false) \ No newline at end of file diff --git a/Ingegneria del Software/0000_32/quest.txt b/Ingegneria del Software/0000_32/quest.txt new file mode 100644 index 0000000..f07b439 --- /dev/null +++ b/Ingegneria del Software/0000_32/quest.txt @@ -0,0 +1,22 @@ +Una Condition è una proposizione booleana, cioè una espressione con valore booleano che non può essere decomposta in espressioni boolean più semplici. Ad esempio, (x + y <= 3) è una condition. + +Una Decision è una espressione booleana composta da conditions e zero o più operatori booleani. Ad esempio, sono decisions: +(x + y <= 3) +((x + y <= 3) || (x - y > 7)) + +Un insieme di test T soddisfa il criterio di Condition/Decision coverage se tutte le seguenti condizioni sono soddisfatte: + +1) Ciascun punto di entrata ed uscita nel programma è eseguito in almeno un test; +2) Per ogni decision d nel programma, per ogni condition c in d, esiste un test in T in cui c è true ed un test in T in cui c è false. +3) Per ogni decision d nel programma, esiste in test in T in cui d è true ed un test in T in cui d è false. + +Si consideri la seguente funzione: + +int f(int a, bool b, bool c) +{ if ( (a == 100) && b ) + return (1); // punto di uscita 1 + else if (b || c) + then return (2); // punto di uscita 2 + else return (3); // punto di uscita 3 +} +Quale dei seguenti test set soddisfa il criterio della Condition/Decision coverage? \ No newline at end of file diff --git a/Ingegneria del Software/0000_32/wrong1.txt b/Ingegneria del Software/0000_32/wrong1.txt new file mode 100644 index 0000000..6946352 --- /dev/null +++ b/Ingegneria del Software/0000_32/wrong1.txt @@ -0,0 +1 @@ +(a=100, b=true, c=false), (a=90, b=false, c=true), (a=100, b=true, c=true) \ No newline at end of file diff --git a/Ingegneria del Software/0000_32/wrong2.txt b/Ingegneria del Software/0000_32/wrong2.txt new file mode 100644 index 0000000..f9b6750 --- /dev/null +++ b/Ingegneria del Software/0000_32/wrong2.txt @@ -0,0 +1 @@ +(a=100, b=true, c=false), (a=90, b=false, c=false), (a=100, b=false, c=false) \ No newline at end of file diff --git a/Ingegneria del Software/0000_8/correct.txt b/Ingegneria del Software/0000_8/correct.txt new file mode 100644 index 0000000..aef914a --- /dev/null +++ b/Ingegneria del Software/0000_8/correct.txt @@ -0,0 +1 @@ +Assicurarsi che un sistema che soddisfa i requisiti risolve il problema del "customer". \ No newline at end of file diff --git a/Ingegneria del Software/0000_8/quest.txt b/Ingegneria del Software/0000_8/quest.txt new file mode 100644 index 0000000..e821a05 --- /dev/null +++ b/Ingegneria del Software/0000_8/quest.txt @@ -0,0 +1 @@ +Quale delle seguenti frasi meglio descrive l'obiettivo del "validity check" che è parte della "requirements validation activity". \ No newline at end of file diff --git a/Ingegneria del Software/0000_8/wrong1.txt b/Ingegneria del Software/0000_8/wrong1.txt new file mode 100644 index 0000000..32c628c --- /dev/null +++ b/Ingegneria del Software/0000_8/wrong1.txt @@ -0,0 +1 @@ +Assicurarsi che i requisiti funzionali descrivano tutte le funzionalità del sistema. \ No newline at end of file diff --git a/Ingegneria del Software/0000_8/wrong2.txt b/Ingegneria del Software/0000_8/wrong2.txt new file mode 100644 index 0000000..eb23d05 --- /dev/null +++ b/Ingegneria del Software/0000_8/wrong2.txt @@ -0,0 +1 @@ +Assicurarsi che non ci siano requisiti in conflitto con altri requisiti. \ No newline at end of file