diff --git a/0721_1/quest.txt b/0721_1/quest.txt
index 943e151..c5af322 100644
--- a/0721_1/quest.txt
+++ b/0721_1/quest.txt
@@ -1,4 +1,5 @@
Si consideri il seguente modello Modelica:
+
class System
Integer x;
initial equation
@@ -8,4 +9,5 @@ when sample(0, 2) then
x = 1 - pre(x);
end when;
end System;
-Quale delle seguenti affermazioni è vera per la variabile intera x?
\ No newline at end of file
+
+Quale delle seguenti affermazioni è vera per la variabile intera x?
\ No newline at end of file
diff --git a/0721_10/correct.txt b/0721_10/correct.txt
index 222d407..f4e4c53 100644
--- a/0721_10/correct.txt
+++ b/0721_10/correct.txt
@@ -1 +1 @@
-Il performance testing è tipicamente eseguito una volta che il sistema è stato completamento integrato.
\ No newline at end of file
+Il performance testing è tipicamente eseguito una volta che il sistema è stato completamento integrato.
\ No newline at end of file
diff --git a/0721_10/quest.txt b/0721_10/quest.txt
index 50d5c3c..4a711a4 100644
--- a/0721_10/quest.txt
+++ b/0721_10/quest.txt
@@ -1 +1 @@
-Quale delle seguenti affermazioni è vera riguardo al performance testing?
\ No newline at end of file
+Quale delle seguenti affermazioni è vera riguardo al performance testing?
\ No newline at end of file
diff --git a/0721_10/wrong1.txt b/0721_10/wrong1.txt
index 32fbe84..4885062 100644
--- a/0721_10/wrong1.txt
+++ b/0721_10/wrong1.txt
@@ -1 +1 @@
-Il performance testing è tipicamente eseguito su un prototipo del sistema.
\ No newline at end of file
+Il performance testing è tipicamente eseguito su un prototipo del sistema.
\ No newline at end of file
diff --git a/0721_10/wrong2.txt b/0721_10/wrong2.txt
index 74bed2a..bd881bc 100644
--- a/0721_10/wrong2.txt
+++ b/0721_10/wrong2.txt
@@ -1 +1 @@
-Il performance testing è tipicamente eseguito solo sulle componenti del sistema prima dell'integrazione.
\ No newline at end of file
+Il performance testing è tipicamente eseguito solo sulle componenti del sistema prima dell'integrazione.
\ No newline at end of file
diff --git a/0721_11/correct.txt b/0721_11/correct.txt
index 61e5080..a2f00b3 100644
--- a/0721_11/correct.txt
+++ b/0721_11/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_11/quest.txt b/0721_11/quest.txt
index 1dbc484..a8b6d94 100644
--- a/0721_11/quest.txt
+++ b/0721_11/quest.txt
@@ -1,5 +1,5 @@
Si consideri il seguente requisito:
-RQ: Dopo 40 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se 10 unità di tempo nel passato x era maggiore di 1 allora ora y è nonegativa.
+RQ: Dopo 40 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà :
+se 10 unità di tempo nel passato x era maggiore di 1 allora ora y è nonegativa.
Tenendo presente che, al tempo time, delay(z, w) ritorna 0 se time <= w e ritorna il valore che z aveva al tempo (time - w), se time = w.
Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/0721_11/wrong1.txt b/0721_11/wrong1.txt
index 9c912b6..0696007 100644
--- a/0721_11/wrong1.txt
+++ b/0721_11/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_11/wrong2.txt b/0721_11/wrong2.txt
index 7711cd7..76b58b0 100644
--- a/0721_11/wrong2.txt
+++ b/0721_11/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_12/correct.txt b/0721_12/correct.txt
index b305b5a..1c03108 100644
--- a/0721_12/correct.txt
+++ b/0721_12/correct.txt
@@ -1 +1 @@
-Costruire un prototipo, eseguirlo usando dati storici dai log di produzione e valutare la capacità del prototipo di ridurre gli scarti.
\ No newline at end of file
+Costruire un prototipo, eseguirlo usando dati storici dai log di produzione e valutare la capacità del prototipo di ridurre gli scarti.
\ No newline at end of file
diff --git a/0721_12/quest.txt b/0721_12/quest.txt
index a3b86e7..3dbfadb 100644
--- a/0721_12/quest.txt
+++ b/0721_12/quest.txt
@@ -1 +1 @@
-Una azienda manifatturiera desidera costruire un sistema software per monitorare (attraverso sensori) la produzione al fine di ridurre gli scarti. Quali delle seguenti attività contribuisce a validare i requisiti del sistema.
\ No newline at end of file
+Una azienda manifatturiera desidera costruire un sistema software per monitorare (attraverso sensori) la produzione al fine di ridurre gli scarti. Quali delle seguenti attività contribuisce a validare i requisiti del sistema.
\ No newline at end of file
diff --git a/0721_13/wrong3.txt b/0721_13/correct.txt
similarity index 89%
rename from 0721_13/wrong3.txt
rename to 0721_13/correct.txt
index 81653ea..9b5317b 100644
--- a/0721_13/wrong3.txt
+++ b/0721_13/correct.txt
@@ -1,3 +1,4 @@
+
function next
input Integer x;
output Integer y;
@@ -13,4 +14,5 @@ equation
when sample(0, 1) then
x = next(pre(x));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_13/quest.txt b/0721_13/quest.txt
index 3efbece..c105449 100644
--- a/0721_13/quest.txt
+++ b/0721_13/quest.txt
@@ -1,4 +1,4 @@
-Si consideri l'automa segunete:
-
+Si consideri l'automa seguente:
+0->1 e 1->0
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per l'automa di cui sopra.
\ No newline at end of file
diff --git a/0721_13/wrong1.txt b/0721_13/wrong1.txt
index 47cf8cd..9b5317b 100644
--- a/0721_13/wrong1.txt
+++ b/0721_13/wrong1.txt
@@ -1,8 +1,9 @@
+
function next
input Integer x;
output Integer y;
algorithm
- y := 1 + x;
+ y := 1 - x;
end next;
class System
@@ -13,4 +14,5 @@ equation
when sample(0, 1) then
x = next(pre(x));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_13/wrong2.txt b/0721_13/wrong2.txt
index 4c7125e..78c7306 100644
--- a/0721_13/wrong2.txt
+++ b/0721_13/wrong2.txt
@@ -1,3 +1,4 @@
+
function next
input Integer x;
output Integer y;
@@ -13,4 +14,5 @@ equation
when sample(0, 1) then
x = next(pre(x));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_14/correct.txt b/0721_14/correct.txt
index 1146d53..d3daba4 100644
--- a/0721_14/correct.txt
+++ b/0721_14/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_14/quest.txt b/0721_14/quest.txt
index 6938bd6..ed5dffb 100644
--- a/0721_14/quest.txt
+++ b/0721_14/quest.txt
@@ -1,3 +1,3 @@
Si consideri il seguente requisito:
-RQ1: Dopo 20 unità di tempo dall'inizio dell'esecuzione la variabile x è sempre nell'intervallo [20, 30] .
+RQ1: Dopo 20 unità di tempo dall'inizio dell'esecuzione la variabile x è sempre nell'intervallo [20, 30].
Quale dei seguenti monitor meglio descrive il requisito RQ1 ?
\ No newline at end of file
diff --git a/0721_14/wrong1.txt b/0721_14/wrong1.txt
index 30d3000..5bdf9c8 100644
--- a/0721_14/wrong1.txt
+++ b/0721_14/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_14/wrong2.txt b/0721_14/wrong2.txt
index 4b67df9..169ec7c 100644
--- a/0721_14/wrong2.txt
+++ b/0721_14/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_15/quest.txt b/0721_15/quest.txt
index f7c3694..15dbdf2 100644
--- a/0721_15/quest.txt
+++ b/0721_15/quest.txt
@@ -1 +1 @@
-Quali delle seguenti attività può contribuire a validare i requisiti di un sistema ?
\ No newline at end of file
+Quali delle seguenti attività può contribuire a validare i requisiti di un sistema ?
\ No newline at end of file
diff --git a/0721_16/correct.txt b/0721_16/correct.txt
index 6dbfcff..a4a8878 100644
--- a/0721_16/correct.txt
+++ b/0721_16/correct.txt
@@ -1 +1 @@
-Testare l'interazione tra le componenti del sistema (cioè, integrazione di molte unità di sistema).
\ No newline at end of file
+Testare l'interazione tra le componenti del sistema (cioè, integrazione di molte unità di sistema).
\ No newline at end of file
diff --git a/0721_16/wrong2.txt b/0721_16/wrong2.txt
index 121b99b..6a9cb98 100644
--- a/0721_16/wrong2.txt
+++ b/0721_16/wrong2.txt
@@ -1 +1 @@
-Testare le funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
+Testare le funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/0721_17/quest.txt b/0721_17/quest.txt
index d095d06..4e55a8a 100644
--- a/0721_17/quest.txt
+++ b/0721_17/quest.txt
@@ -1,4 +1,5 @@
Si consideri il seguente modello Modelica.
+
class System
Boolean x;
initial equation
@@ -8,4 +9,5 @@ when sample(0, 2) then
x = not (pre(x));
end when;
end System;
+
Quale delle seguenti affermazioni vale per la variabile booleana x ?
\ No newline at end of file
diff --git a/0721_18/wrong3.txt b/0721_18/correct.txt
similarity index 95%
rename from 0721_18/wrong3.txt
rename to 0721_18/correct.txt
index d27882d..eea60e9 100644
--- a/0721_18/wrong3.txt
+++ b/0721_18/correct.txt
@@ -1,3 +1,4 @@
+
model Env
Integer x; // Pulsante premuto dall'utente
Real r1024;
@@ -11,4 +12,5 @@ elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
if (r1024 <= 0.6) then x := 0; else x := 1; end if;
end when;
-end Env;
\ No newline at end of file
+end Env;
+
\ No newline at end of file
diff --git a/0721_18/quest.txt b/0721_18/quest.txt
index 850ba18..c46480d 100644
--- a/0721_18/quest.txt
+++ b/0721_18/quest.txt
@@ -1,3 +1,3 @@
-L'input ad un sistema è costituito da un utente (umano) che preme due pulsanti etichettati con 0 ed 1.
-Con probabilità 0.6 l'utente preme il pulsante 0, con probabilità 0.4 l'utente preme il pulsante 1.
+L'input ad un sistema è costituito da un utente (umano) che preme due pulsanti etichettati con 0 ed 1.
+Con probabilità 0.6 l'utente preme il pulsante 0, con probabilità 0.4 l'utente preme il pulsante 1.
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per l'utente di cui sopra?
\ No newline at end of file
diff --git a/0721_18/wrong1.txt b/0721_18/wrong1.txt
index 9bf92dd..f66dbc7 100644
--- a/0721_18/wrong1.txt
+++ b/0721_18/wrong1.txt
@@ -1,3 +1,4 @@
+
model Env
Integer x; // Pulsante premuto dall'utente
Real r1024;
@@ -11,4 +12,5 @@ elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
if (r1024 >= 0.6) then x := 0; else x := 1; end if;
end when;
-end Env;
\ No newline at end of file
+end Env;
+
\ No newline at end of file
diff --git a/0721_18/wrong2.txt b/0721_18/wrong2.txt
index 6eac4df..2192e79 100644
--- a/0721_18/wrong2.txt
+++ b/0721_18/wrong2.txt
@@ -1,3 +1,4 @@
+
model Env
Integer x; // Pulsante premuto dall'utente
Real r1024;
@@ -11,4 +12,5 @@ elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
if (r1024 <= 0.6) then x := 1; else x := 0; end if;
end when;
-end Env;
\ No newline at end of file
+end Env;
+
\ No newline at end of file
diff --git a/0721_19/wrong3.txt b/0721_19/correct.txt
similarity index 78%
rename from 0721_19/wrong3.txt
rename to 0721_19/correct.txt
index d1520c9..44ac343 100644
--- a/0721_19/wrong3.txt
+++ b/0721_19/correct.txt
@@ -1,3 +1,4 @@
+
model System
parameter Integer F1 = 1;
parameter Integer F2 = 2;
@@ -7,17 +8,17 @@ parameter Real p = 0.3;
parameter Real A[4, 4] =
[
0, 1, 0, 0;
-p, 1-p, 0, 0;
-0, 0, p, 1-p;
+p, 0, 1-p, 0;
+0, p, 0, 1-p;
0, 0, 0, 1
];
Integer x; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
algorithm
when initial() then
-state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
-x := F1;
-r1024 := 0;
+ state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
+ x := F1;
+ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
if (r1024 <= A[x, F1]) then
@@ -30,4 +31,5 @@ if (r1024 <= A[x, F1]) then
x := End;
end if;
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_19/quest.txt b/0721_19/quest.txt
index 559628d..6229852 100644
--- a/0721_19/quest.txt
+++ b/0721_19/quest.txt
@@ -1,4 +1,4 @@
+img=https://i.imgur.com/c4UjAQc.png
Si consideri la seguente Markov Chain:
-
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per la Markov Chain di cui sopra?
\ No newline at end of file
diff --git a/0721_19/wrong1.txt b/0721_19/wrong1.txt
index af9b00c..45f3fbe 100644
--- a/0721_19/wrong1.txt
+++ b/0721_19/wrong1.txt
@@ -1,3 +1,4 @@
+
model System
parameter Integer F1 = 1;
parameter Integer F2 = 2;
@@ -7,17 +8,17 @@ parameter Real p = 0.3;
parameter Real A[4, 4] =
[
0, 1, 0, 0;
-p, 0, 1-p, 0;
-0, p, 0, 1-p;
+p, 1-p, 0, 0;
+0, 0, p, 1-p;
0, 0, 0, 1
];
Integer x; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
algorithm
when initial() then
- state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
- x := F1;
- r1024 := 0;
+state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
+x := F1;
+r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
if (r1024 <= A[x, F1]) then
@@ -30,4 +31,5 @@ if (r1024 <= A[x, F1]) then
x := End;
end if;
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_19/wrong2.txt b/0721_19/wrong2.txt
index 3ebddcf..f6b2fef 100644
--- a/0721_19/wrong2.txt
+++ b/0721_19/wrong2.txt
@@ -1,3 +1,4 @@
+
model System
parameter Integer F1 = 1;
parameter Integer F2 = 2;
@@ -30,4 +31,5 @@ if (r1024 <= A[x, F1]) then
x := End;
end if;
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_2/correct.txt b/0721_2/correct.txt
index 536257f..68bfd31 100644
--- a/0721_2/correct.txt
+++ b/0721_2/correct.txt
@@ -1 +1 @@
-Una release del software è resa disponibile agli utenti (beta users) per permettergli di sperimentare e quindi segnalare eventuali problemi rilevati agli sviluppatori.
\ No newline at end of file
+Una release del software è resa disponibile agli utenti (beta users) per permettergli di sperimentare e quindi segnalare eventuali problemi rilevati agli sviluppatori.
\ No newline at end of file
diff --git a/0721_2/quest.txt b/0721_2/quest.txt
index 425ceff..4589c15 100644
--- a/0721_2/quest.txt
+++ b/0721_2/quest.txt
@@ -1 +1 @@
-Quale delle seguenti affermazione è vera riguardo al beta testing ?
\ No newline at end of file
+Quale delle seguenti affermazione è vera riguardo al beta testing ?
\ No newline at end of file
diff --git a/0721_20/correct.txt b/0721_20/correct.txt
index fab2eea..2771487 100644
--- a/0721_20/correct.txt
+++ b/0721_20/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_20/quest.txt b/0721_20/quest.txt
index 498beed..5c0b607 100644
--- a/0721_20/quest.txt
+++ b/0721_20/quest.txt
@@ -1,3 +1,3 @@
Si consideri il seguente requisito:
-RQ1: Durante l'esecuzione del programma (cioè per tutti gli istanti di tempo positivi) la variabile x è sempre nell'intervallo [0, 5] oppure [10, 15]
+RQ1: Durante l'esecuzione del programma (cioè per tutti gli istanti di tempo positivi) la variabile x è sempre nell'intervallo [0, 5] oppure [10, 15]
Quale dei seguenti monitor meglio descrive il requisito RQ1 ?
\ No newline at end of file
diff --git a/0721_20/wrong1.txt b/0721_20/wrong1.txt
index c6e9bd3..d681803 100644
--- a/0721_20/wrong1.txt
+++ b/0721_20/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_20/wrong2.txt b/0721_20/wrong2.txt
index d30f887..44ac950 100644
--- a/0721_20/wrong2.txt
+++ b/0721_20/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_21/quest.txt b/0721_21/quest.txt
index a69205c..02d9102 100644
--- a/0721_21/quest.txt
+++ b/0721_21/quest.txt
@@ -1 +1 @@
-Una azienda finanziaria desidera costruire un sistema software per ottimizzare i processi di business. Quali delle seguenti attività può contribuire a validare i requisiti del sistema ?
\ No newline at end of file
+Una azienda finanziaria desidera costruire un sistema software per ottimizzare i processi di business. Quali delle seguenti attività può contribuire a validare i requisiti del sistema ?
\ No newline at end of file
diff --git a/0721_22/wrong3.txt b/0721_22/correct.txt
similarity index 81%
rename from 0721_22/wrong3.txt
rename to 0721_22/correct.txt
index 4481c24..6971583 100644
--- a/0721_22/wrong3.txt
+++ b/0721_22/correct.txt
@@ -1,8 +1,9 @@
+
model System
Integer y; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
equation
-y = if (r1024 <= 0.3) then -1 else if (r1024 <= 0.7) then 0 else 1;
+y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.7) then 0 else 1;
algorithm
when initial() then
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
@@ -10,4 +11,5 @@ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_22/quest.txt b/0721_22/quest.txt
index 5d43b6a..45f5869 100644
--- a/0721_22/quest.txt
+++ b/0721_22/quest.txt
@@ -1 +1 @@
-Si consideri l'ambiente (use case) consistente di un utente che ad ogni unità di tempo (ad esempio, un secondo) invia al nostro sistema input -1 con probabilità 0.2, input 0 con probabilità 0.5 ed input 1 con probabilità 0.3. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
+Si consideri l'ambiente (use case) consistente di un utente che ad ogni unità di tempo (ad esempio, un secondo) invia al nostro sistema input -1 con probabilità 0.2, input 0 con probabilità 0.5 ed input 1 con probabilità 0.3. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
diff --git a/0721_22/wrong1.txt b/0721_22/wrong1.txt
index b94d213..ea8f817 100644
--- a/0721_22/wrong1.txt
+++ b/0721_22/wrong1.txt
@@ -1,3 +1,4 @@
+
model System
Integer y; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
@@ -10,4 +11,5 @@ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_22/wrong2.txt b/0721_22/wrong2.txt
index 994f202..6971583 100644
--- a/0721_22/wrong2.txt
+++ b/0721_22/wrong2.txt
@@ -1,3 +1,4 @@
+
model System
Integer y; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
@@ -10,4 +11,5 @@ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_23/correct.txt b/0721_23/correct.txt
index 3f5bba6..a3a4b67 100644
--- a/0721_23/correct.txt
+++ b/0721_23/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_23/quest.txt b/0721_23/quest.txt
index 0d3faca..de77723 100644
--- a/0721_23/quest.txt
+++ b/0721_23/quest.txt
@@ -1,5 +1,5 @@
Si consideri il seguente requisito:
-RQ: Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se 10 unità di tempo nel passato era stata richiesta una risorsa (variabile x positiva) allora ora è concesso l'accesso alla risorsa (variabile y positiva)
+RQ: Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà :
+se 10 unità di tempo nel passato era stata richiesta una risorsa (variabile x positiva) allora ora è concesso l'accesso alla risorsa (variabile y positiva)
Tenendo presente che, al tempo time, delay(z, w) ritorna 0 se time < w e ritorna il valore che z aveva al tempo (time - w), se time >= w.
Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/0721_23/wrong1.txt b/0721_23/wrong1.txt
index 33310f9..9f7ef6a 100644
--- a/0721_23/wrong1.txt
+++ b/0721_23/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_23/wrong2.txt b/0721_23/wrong2.txt
index d23fe8e..bce472e 100644
--- a/0721_23/wrong2.txt
+++ b/0721_23/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -6,9 +7,9 @@ initial equation
wy = false;
equation
wz = (time > 60) or (delay(x, 10) > 0) or (y <= 0);
-
algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_24/wrong3.txt b/0721_24/correct.txt
similarity index 81%
rename from 0721_24/wrong3.txt
rename to 0721_24/correct.txt
index 57fc69d..3a1f159 100644
--- a/0721_24/wrong3.txt
+++ b/0721_24/correct.txt
@@ -1,8 +1,10 @@
+
model System
-Integer y; Real r1024;
+Integer y;
+Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
equation
-y = if (r1024 <= 0.3) then 0 else 1;
+y = if (r1024 <= 0.3) then 1 else 0;
algorithm
when initial() then
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
@@ -10,4 +12,5 @@ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_24/quest.txt b/0721_24/quest.txt
index 2c20b5b..5a1289f 100644
--- a/0721_24/quest.txt
+++ b/0721_24/quest.txt
@@ -1 +1 @@
-Si consideri l'ambiente (use case) che consiste di un utente che, ad ogni unità di tempo (ad esempio, un secondo) manda al nostro sistema input 1 (ad esempio, esegue una prenotazione) con probabilità 0.3 oppure input 0 con probabilità 0.7. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
+Si consideri l'ambiente (use case) che consiste di un utente che, ad ogni unità di tempo (ad esempio, un secondo) manda al nostro sistema input 1 (ad esempio, esegue una prenotazione) con probabilità 0.3 oppure input 0 con probabilità 0.7. Quale dei seguenti modelli Modelica rappresenta correttamente tale ambiente.
\ No newline at end of file
diff --git a/0721_24/wrong1.txt b/0721_24/wrong1.txt
index 3390b13..7ef2e87 100644
--- a/0721_24/wrong1.txt
+++ b/0721_24/wrong1.txt
@@ -1,3 +1,4 @@
+
model System
Integer y; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
@@ -10,4 +11,5 @@ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_24/wrong2.txt b/0721_24/wrong2.txt
index b740a0a..daf450c 100644
--- a/0721_24/wrong2.txt
+++ b/0721_24/wrong2.txt
@@ -1,9 +1,9 @@
+
model System
-Integer y;
-Real r1024;
+Integer y; Real r1024;
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
equation
-y = if (r1024 <= 0.3) then 1 else 0;
+y = if (r1024 <= 0.3) then 0 else 1;
algorithm
when initial() then
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
@@ -11,4 +11,5 @@ r1024 := 0;
elsewhen sample(0,1) then
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_25/correct.txt b/0721_25/correct.txt
index fc560a2..a068be6 100644
--- a/0721_25/correct.txt
+++ b/0721_25/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_25/quest.txt b/0721_25/quest.txt
index d26958e..6473814 100644
--- a/0721_25/quest.txt
+++ b/0721_25/quest.txt
@@ -1,3 +1,3 @@
Si consideri il seguente requisito:
-RQ: Durante l'esecuzione del programma (cioè per tutti gli istanti di tempo positivi) la variabile x è sempre nell'intervallo [0, 5].
+RQ: Durante l'esecuzione del programma (cioè per tutti gli istanti di tempo positivi) la variabile x è sempre nell'intervallo [0, 5].
Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/0721_25/wrong1.txt b/0721_25/wrong1.txt
index 61fa628..8086f1c 100644
--- a/0721_25/wrong1.txt
+++ b/0721_25/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_25/wrong2.txt b/0721_25/wrong2.txt
index c8a2c3d..c22f966 100644
--- a/0721_25/wrong2.txt
+++ b/0721_25/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(z) then
y := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_26/correct.txt b/0721_26/correct.txt
index d473c7d..8c66f86 100644
--- a/0721_26/correct.txt
+++ b/0721_26/correct.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -15,4 +16,5 @@ then
end if;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_26/quest.txt b/0721_26/quest.txt
index 31dbef1..cf6929a 100644
--- a/0721_26/quest.txt
+++ b/0721_26/quest.txt
@@ -1,4 +1,4 @@
-Un'azienda decide di organizzare il processo di sviluppo di un grosso software in 101 phasi sequenziali, numerate da 0 a 100. La phase 0 è quella iniziale. La phase 100 è quella finale in cui lo sviluppo è completato. Tutte le fasi hanno circa la stessa durata.
-Si decide di realizzare un approccio incrementale in cui, alla fine di ogni fase, si passa alla fase successiva solo nel caso in cui tutti i test per la fase vengono superati. In caso contrario bisogna ripetere la phase. Dai dati storici è noto che la probabilità che il team di sviluppo passi da una fase a quella successiva è 0.8.
+Un'azienda decide di organizzare il processo di sviluppo di un grosso software in 101 phasi sequenziali, numerate da 0 a 100. La phase 0 è quella iniziale. La phase 100 è quella finale in cui lo sviluppo è completato. Tutte le fasi hanno circa la stessa durata.
+Si decide di realizzare un approccio incrementale in cui, alla fine di ogni fase, si passa alla fase successiva solo nel caso in cui tutti i test per la fase vengono superati. In caso contrario bisogna ripetere la phase. Dai dati storici è noto che la probabilità che il team di sviluppo passi da una fase a quella successiva è 0.8.
Allo scopo di stimare attraverso una simulazione MonteCarlo il valore atteso del tempo di completamento del progetto viene realizzato un modello Modelica delo processo di sviluppo descritto sopra.
Quale dei seguenti modelli Modelica modella correttamente il processo di sviluppo descritto sopra?
\ No newline at end of file
diff --git a/0721_26/wrong1.txt b/0721_26/wrong1.txt
index d38e6fe..b89b025 100644
--- a/0721_26/wrong1.txt
+++ b/0721_26/wrong1.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -15,4 +16,5 @@ then
end if;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_26/wrong2.txt b/0721_26/wrong2.txt
index 9b0c1fc..49262e8 100644
--- a/0721_26/wrong2.txt
+++ b/0721_26/wrong2.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -17,4 +18,5 @@ then
end if;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_27/correct.txt b/0721_27/correct.txt
index 81ceb23..9be970c 100644
--- a/0721_27/correct.txt
+++ b/0721_27/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y, z; // plant output
@@ -11,4 +12,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_27/quest.txt b/0721_27/quest.txt
index 0910f0b..2eb7f69 100644
--- a/0721_27/quest.txt
+++ b/0721_27/quest.txt
@@ -1,4 +1,4 @@
Si consideri il seguente requisito:
-RQ: Dopo 50 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se la variabile x è minore del 60% della variabile y allora la somma di x ed y è maggiore del 30% della variabile z
+RQ: Dopo 50 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà :
+se la variabile x è minore del 60% della variabile y allora la somma di x ed y è maggiore del 30% della variabile z
Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/0721_27/wrong1.txt b/0721_27/wrong1.txt
index f7ab72e..8b6fcac 100644
--- a/0721_27/wrong1.txt
+++ b/0721_27/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y, z; // plant output
@@ -11,4 +12,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_27/wrong2.txt b/0721_27/wrong2.txt
index e09501c..40a2ce0 100644
--- a/0721_27/wrong2.txt
+++ b/0721_27/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y, z; // plant output
@@ -11,4 +12,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_28/correct.txt b/0721_28/correct.txt
index ed54cb6..c0acec0 100644
--- a/0721_28/correct.txt
+++ b/0721_28/correct.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 1;
@@ -18,4 +19,5 @@ else
x := 0.73*x;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_28/quest.txt b/0721_28/quest.txt
index 38d3de6..04a9c59 100644
--- a/0721_28/quest.txt
+++ b/0721_28/quest.txt
@@ -1,2 +1,2 @@
-L'input di un sistema software è costituito da un sensore che ogni unità di tempo (ad esempio, un secondo) invia un numero reale. Con probabilità 0.63 il valore inviato in una unità di tempo è maggiore del 10% rispetto quello inviato nell'unità di tempo precedente. Con probabilità 0.1 è inferiore del 27% rispetto al valore inviato nell'unità di tempo precedente. Con probabilità 0.27 è inferiore del 10% rispetto quello inviato nell'unità di tempo precedente.
+L'input di un sistema software è costituito da un sensore che ogni unità di tempo (ad esempio, un secondo) invia un numero reale. Con probabilità 0.63 il valore inviato in una unità di tempo è maggiore del 10% rispetto quello inviato nell'unità di tempo precedente. Con probabilità 0.1 è inferiore del 27% rispetto al valore inviato nell'unità di tempo precedente. Con probabilità 0.27 è inferiore del 10% rispetto quello inviato nell'unità di tempo precedente.
Quale dei seguenti modelli Modelica modella correttamente l'environment descritto sopra.
\ No newline at end of file
diff --git a/0721_28/wrong1.txt b/0721_28/wrong1.txt
index 9c5c85d..af5ef9e 100644
--- a/0721_28/wrong1.txt
+++ b/0721_28/wrong1.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 1;
@@ -18,4 +19,5 @@ else
x := 0.73*x;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_28/wrong2.txt b/0721_28/wrong2.txt
index 0fe1631..7e94fc7 100644
--- a/0721_28/wrong2.txt
+++ b/0721_28/wrong2.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 1;
@@ -18,4 +19,5 @@ else
x := 0.73*x;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_29/correct.txt b/0721_29/correct.txt
index a2e179d..cb4fc9a 100644
--- a/0721_29/correct.txt
+++ b/0721_29/correct.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 0;
@@ -16,4 +17,5 @@ elsewhen sample(0, 1) then
countdown := countdown - 1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_29/quest.txt b/0721_29/quest.txt
index b9f9fda..8f5424d 100644
--- a/0721_29/quest.txt
+++ b/0721_29/quest.txt
@@ -1,2 +1,2 @@
-L'input di un sistema software è costituito da una sequenza di valori reali. Ad ogni unità di tempo il valore di input può rimanere uguale al precedente oppure differire di un numero random in [-1, 1]. L'input resta costante per numero random di unità di tempo in [1, 10].
+L'input di un sistema software è costituito da una sequenza di valori reali. Ad ogni unità di tempo il valore di input può rimanere uguale al precedente oppure differire di un numero random in [-1, 1]. L'input resta costante per numero random di unità di tempo in [1, 10].
Quale dei seguenti modelli Modelica modella meglio l'environment descritto sopra.
\ No newline at end of file
diff --git a/0721_29/wrong1.txt b/0721_29/wrong1.txt
index de4ff37..f32ca15 100644
--- a/0721_29/wrong1.txt
+++ b/0721_29/wrong1.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 0;
@@ -16,4 +17,5 @@ elsewhen sample(0, 1) then
countdown := countdown - 1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_29/wrong2.txt b/0721_29/wrong2.txt
index 3940879..38e1c17 100644
--- a/0721_29/wrong2.txt
+++ b/0721_29/wrong2.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 0;
@@ -16,4 +17,5 @@ elsewhen sample(0, 1) then
countdown := countdown - 1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_3/correct.txt b/0721_3/correct.txt
index 6a918af..1a8a50a 100644
--- a/0721_3/correct.txt
+++ b/0721_3/correct.txt
@@ -1 +1 @@
-Per ciascun requisito, dovremmo essere in grado di scrivere un inseme di test che può dimostrare che il sistema sviluppato soddisfa il requisito considerato.
\ No newline at end of file
+Per ciascun requisito, dovremmo essere in grado di scrivere un inseme di test che può dimostrare che il sistema sviluppato soddisfa il requisito considerato.
\ No newline at end of file
diff --git a/0721_3/quest.txt b/0721_3/quest.txt
index 793b220..a3ca550 100644
--- a/0721_3/quest.txt
+++ b/0721_3/quest.txt
@@ -1 +1 @@
-Quale delle seguenti frasi meglio descrive il criterio di "requirements verifiability" che è parte della "requirements validation activity".
\ No newline at end of file
+Quale delle seguenti frasi meglio descrive il criterio di "requirements verifiability" che è parte della "requirements validation activity".
\ No newline at end of file
diff --git a/0721_3/wrong1.txt b/0721_3/wrong1.txt
index 7f8905d..fac8307 100644
--- a/0721_3/wrong1.txt
+++ b/0721_3/wrong1.txt
@@ -1 +1 @@
-Per ciascuna coppia di componenti, dovremmo essere in grado di scrivere un insieme di test che può dimostrare che l'interazione tra le componenti soddisfa tutti i requisiti di interfaccia.
\ No newline at end of file
+Per ciascuna coppia di componenti, dovremmo essere in grado di scrivere un insieme di test che può dimostrare che l'interazione tra le componenti soddisfa tutti i requisiti di interfaccia.
\ No newline at end of file
diff --git a/0721_3/wrong2.txt b/0721_3/wrong2.txt
index 3533448..3fdb31e 100644
--- a/0721_3/wrong2.txt
+++ b/0721_3/wrong2.txt
@@ -1 +1 @@
-Per ciascuna componente del sistema, dovremmo essere in grado di scrivere un insieme di test che può dimostrare che essa soddisfa tutti i requisiti.
\ No newline at end of file
+Per ciascuna componente del sistema, dovremmo essere in grado di scrivere un insieme di test che può dimostrare che essa soddisfa tutti i requisiti.
\ No newline at end of file
diff --git a/0721_30/quest.txt b/0721_30/quest.txt
index 567c3e6..c35e04d 100644
--- a/0721_30/quest.txt
+++ b/0721_30/quest.txt
@@ -1 +1 @@
-Quale delle seguenti affermazioni è vera riguardo all'alpha testing ?
\ No newline at end of file
+Quale delle seguenti affermazioni è vera riguardo all'alpha testing ?
\ No newline at end of file
diff --git a/0721_31/correct.txt b/0721_31/correct.txt
index db62582..a7029bc 100644
--- a/0721_31/correct.txt
+++ b/0721_31/correct.txt
@@ -1 +1 @@
-La variabile x è nell'intervallo [1, 4] oppure nell'intervallo [15, 20].
\ No newline at end of file
+La variabile x è nell'intervallo [1, 4] oppure nell'intervallo [15, 20].
\ No newline at end of file
diff --git a/0721_31/quest.txt b/0721_31/quest.txt
index 3df463b..a279fbb 100644
--- a/0721_31/quest.txt
+++ b/0721_31/quest.txt
@@ -1,4 +1,5 @@
Si consideri il monitor seguente che ritorna true appena il sistema viola il requisito monitorato.
+
block Monitor
input Real x;
output Boolean y;
@@ -12,4 +13,5 @@ when edge(w) then
y := true;
end when;
end Monitor;
+
Quale delle seguenti affermazioni meglio descrive il requisito monitorato?
\ No newline at end of file
diff --git a/0721_31/wrong1.txt b/0721_31/wrong1.txt
index 6e282e7..a82929b 100644
--- a/0721_31/wrong1.txt
+++ b/0721_31/wrong1.txt
@@ -1 +1 @@
-La variabile x è nell'intervallo [1, 4] e fuori dall'intervallo [15, 20].
\ No newline at end of file
+La variabile x è nell'intervallo [1, 4] e fuori dall'intervallo [15, 20].
\ No newline at end of file
diff --git a/0721_31/wrong2.txt b/0721_31/wrong2.txt
index cc8507a..710b111 100644
--- a/0721_31/wrong2.txt
+++ b/0721_31/wrong2.txt
@@ -1 +1 @@
-La variabile x è fuori dall'intervallo [1, 4] e fuori dall'intervallo [15, 20].
\ No newline at end of file
+La variabile x è fuori dall'intervallo [1, 4] e fuori dall'intervallo [15, 20].
\ No newline at end of file
diff --git a/0721_32/quest.txt b/0721_32/quest.txt
index b59a64d..ea06339 100644
--- a/0721_32/quest.txt
+++ b/0721_32/quest.txt
@@ -1 +1 @@
-Quali delle seguenti attività è parte del processo di validazione dei requisiti ?
\ No newline at end of file
+Quali delle seguenti attività è parte del processo di validazione dei requisiti ?
\ No newline at end of file
diff --git a/0721_33/correct.txt b/0721_33/correct.txt
index f6a492f..9f4a8bf 100644
--- a/0721_33/correct.txt
+++ b/0721_33/correct.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -18,4 +19,5 @@ elsewhen sample(0, 1) then
x := -1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_33/quest.txt b/0721_33/quest.txt
index 7975192..496b6af 100644
--- a/0721_33/quest.txt
+++ b/0721_33/quest.txt
@@ -1,2 +1,2 @@
-L'environment di un sistema software è costituito da uno user che, ogni untià di tempo (ad esempio, un secondo) invia al sistema tre numeri: -1, 0, 1, con probabilità, rispettivamente, 0.2, 0.56, 0.24.
+L'environment di un sistema software è costituito da uno user che, ogni untià di tempo (ad esempio, un secondo) invia al sistema tre numeri: -1, 0, 1, con probabilità , rispettivamente, 0.2, 0.56, 0.24.
Quale dei seguenti modelli Modelica modella correttamente l'environment descritto sopra.
\ No newline at end of file
diff --git a/0721_33/wrong1.txt b/0721_33/wrong1.txt
index 1be26df..8e7ebc7 100644
--- a/0721_33/wrong1.txt
+++ b/0721_33/wrong1.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -18,4 +19,5 @@ elsewhen sample(0, 1) then
x := -1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_33/wrong2.txt b/0721_33/wrong2.txt
index 589c67d..2fd0f2e 100644
--- a/0721_33/wrong2.txt
+++ b/0721_33/wrong2.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -18,4 +19,5 @@ elsewhen sample(0, 1) then
x := -1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_34/wrong1.txt b/0721_34/wrong1.txt
index 0d18016..7a3fe03 100644
--- a/0721_34/wrong1.txt
+++ b/0721_34/wrong1.txt
@@ -1 +1 @@
-Testare l'interazione tra molte componenti (cioè integrazione di molte unità).
\ No newline at end of file
+Testare l'interazione tra molte componenti (cioè integrazione di molte unità ).
\ No newline at end of file
diff --git a/0721_34/wrong2.txt b/0721_34/wrong2.txt
index 4f5ac71..d4074cf 100644
--- a/0721_34/wrong2.txt
+++ b/0721_34/wrong2.txt
@@ -1 +1 @@
-Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
+Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
diff --git a/0721_35/correct.txt b/0721_35/correct.txt
index 793f9d6..ca92838 100644
--- a/0721_35/correct.txt
+++ b/0721_35/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_35/quest.txt b/0721_35/quest.txt
index 348f2a5..b1c19dc 100644
--- a/0721_35/quest.txt
+++ b/0721_35/quest.txt
@@ -1,3 +1,3 @@
Si consideri il seguente requisito:
-RQ: Dopo 10 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà: se la variabile x è nell'intervallo [10, 20] allora la variabile y è compresa tra il 50% di x ed il 70% di x.
+RQ: Dopo 10 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà : se la variabile x è nell'intervallo [10, 20] allora la variabile y è compresa tra il 50% di x ed il 70% di x.
Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/0721_35/wrong1.txt b/0721_35/wrong1.txt
index 284d4d1..434e904 100644
--- a/0721_35/wrong1.txt
+++ b/0721_35/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_35/wrong2.txt b/0721_35/wrong2.txt
index 21a20d4..c0e3311 100644
--- a/0721_35/wrong2.txt
+++ b/0721_35/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y; // plant output
@@ -12,4 +13,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_37/correct.txt b/0721_37/correct.txt
index 896ce37..56ad9f9 100644
--- a/0721_37/correct.txt
+++ b/0721_37/correct.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_37/quest.txt b/0721_37/quest.txt
index 316ed3f..06f6627 100644
--- a/0721_37/quest.txt
+++ b/0721_37/quest.txt
@@ -1,5 +1,5 @@
Si consideri il seguente requisito:
-RQ: Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà:
-se 10 unità di tempo nel passato x era maggiore di 0 allora ora y è negativa.
+RQ: Dopo 60 unità di tempo dall'inizio dell'esecuzione vale la seguente proprietà :
+se 10 unità di tempo nel passato x era maggiore di 0 allora ora y è negativa.
Tenendo presente che, al tempo time, delay(z, w) ritorna 0 se time <= w e ritorna il valore che z aveva al tempo (time - w), se time = w.
Quale dei seguenti monitor meglio descrive il requisito RQ ?
\ No newline at end of file
diff --git a/0721_37/wrong1.txt b/0721_37/wrong1.txt
index a0b3200..976ab6a 100644
--- a/0721_37/wrong1.txt
+++ b/0721_37/wrong1.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -11,4 +12,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_37/wrong2.txt b/0721_37/wrong2.txt
index 3e4bc83..3184bf8 100644
--- a/0721_37/wrong2.txt
+++ b/0721_37/wrong2.txt
@@ -1,3 +1,4 @@
+
class Monitor
InputReal x, y;
OutputBoolean wy;
@@ -10,4 +11,5 @@ algorithm
when edge(wz) then
wy := true;
end when;
-end Monitor;
\ No newline at end of file
+end Monitor;
+
\ No newline at end of file
diff --git a/0721_38/correct.txt b/0721_38/correct.txt
index 325ed60..2ff8b15 100644
--- a/0721_38/correct.txt
+++ b/0721_38/correct.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -22,4 +23,5 @@ then
end if;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_38/quest.txt b/0721_38/quest.txt
index d519d3f..704b6cc 100644
--- a/0721_38/quest.txt
+++ b/0721_38/quest.txt
@@ -1,8 +1,8 @@
-Un'azienda decide di organizzare il processo di sviluppo di un grosso software in 101 phasi sequenziali, numerate da 0 a 100. La phase 0 è quella iniziale. La phase 100 è quella finale in cui lo sviluppo è completato. Tutte le fasi hanno circa la stessa durata.
+Un'azienda decide di organizzare il processo di sviluppo di un grosso software in 101 phasi sequenziali, numerate da 0 a 100. La phase 0 è quella iniziale. La phase 100 è quella finale in cui lo sviluppo è completato. Tutte le fasi hanno circa la stessa durata.
Alla fine di ogni fase viene eseguita una batteria di tests. I risultati del testing possono essere:
-a) si può passare alla fase successiva;
+a) si può passare alla fase successiva;
b) bisogna ripetere la fase corrente;
c) bisogna rivedere il lavoro fatto nella fase precedente (reworking).
-Dai dati storici è noto che la probabilità del caso a) è 0.72, del caso b) è 0.18 e del caso c) è 0.1.
+Dai dati storici è noto che la probabilità del caso a) è 0.72, del caso b) è 0.18 e del caso c) è 0.1.
Allo scopo di stimare attraverso una simulazione MonteCarlo il valore atteso del tempo di completamento del progetto viene realizzato un modello Modelica del processo di sviluppo descritto sopra.
Quale dei seguenti modelli Modelica modella correttamente il processo di sviluppo descritto sopra?
\ No newline at end of file
diff --git a/0721_38/wrong1.txt b/0721_38/wrong1.txt
index f527b1d..9180ff4 100644
--- a/0721_38/wrong1.txt
+++ b/0721_38/wrong1.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -22,4 +23,5 @@ then
end if;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_38/wrong2.txt b/0721_38/wrong2.txt
index 3a67b67..87539ea 100644
--- a/0721_38/wrong2.txt
+++ b/0721_38/wrong2.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Integer x0 = 0;
@@ -22,4 +23,5 @@ then
end if;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_39/correct.txt b/0721_39/correct.txt
index f5a73e9..346657f 100644
--- a/0721_39/correct.txt
+++ b/0721_39/correct.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 0;
@@ -16,4 +17,5 @@ elsewhen sample(0, 1) then
countdown := countdown - 1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_39/quest.txt b/0721_39/quest.txt
index 8308282..46a79dc 100644
--- a/0721_39/quest.txt
+++ b/0721_39/quest.txt
@@ -1,2 +1,2 @@
-L'input di un sistema software è costituito da una sequenza di 0 (false) ed 1 (true). Ad uno 0 segue un 1 ed ad un 1 segue uno 0. Il tempo tra un valore di input e l'altro è un valore random compreso tra 1 e 10 unità di tempo.
+L'input di un sistema software è costituito da una sequenza di 0 (false) ed 1 (true). Ad uno 0 segue un 1 ed ad un 1 segue uno 0. Il tempo tra un valore di input e l'altro è un valore random compreso tra 1 e 10 unità di tempo.
Quale dei seguenti modelli Modelica modella meglio l'environment descritto sopra.
\ No newline at end of file
diff --git a/0721_39/wrong1.txt b/0721_39/wrong1.txt
index eb45a44..0a7e119 100644
--- a/0721_39/wrong1.txt
+++ b/0721_39/wrong1.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 0;
@@ -16,4 +17,5 @@ elsewhen sample(0, 10) then
countdown := countdown - 1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_39/wrong2.txt b/0721_39/wrong2.txt
index c3f862e..52a6432 100644
--- a/0721_39/wrong2.txt
+++ b/0721_39/wrong2.txt
@@ -1,3 +1,4 @@
+
block MarkovChain
//external function myrandom() returns a random real number in [0, 1]
parameter Real x0 = 0;
@@ -16,4 +17,5 @@ elsewhen sample(0, 1) then
countdown := countdown - 1;
end if;
end when;
-end MarkovChain;
\ No newline at end of file
+end MarkovChain;
+
\ No newline at end of file
diff --git a/0721_4/quest.txt b/0721_4/quest.txt
index f13ccba..f50c002 100644
--- a/0721_4/quest.txt
+++ b/0721_4/quest.txt
@@ -1,4 +1,4 @@
-L'input ad un sistema è costituito da un utente (umano) che preme due pulsanti etichettati, rispettivamente, con 1 ed 2.
-L'utente può anche decidere di non premere alcun pulsante.
-Con probabilità 0.2 l'utente preme il pulsante 1, con probabilità 0.3 l'utente preme il pulsante 2, con probabilità 0.5 non fa nulla (pulsante 0 per convenzione).
+L'input ad un sistema è costituito da un utente (umano) che preme due pulsanti etichettati, rispettivamente, con 1 ed 2.
+L'utente può anche decidere di non premere alcun pulsante.
+Con probabilità 0.2 l'utente preme il pulsante 1, con probabilità 0.3 l'utente preme il pulsante 2, con probabilità 0.5 non fa nulla (pulsante 0 per convenzione).
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per l'utente di cui sopra?
\ No newline at end of file
diff --git a/0721_4/wrong1.txt b/0721_4/wrong1.txt
index 752ea2c..ad42984 100644
--- a/0721_4/wrong1.txt
+++ b/0721_4/wrong1.txt
@@ -1,3 +1,4 @@
+
model Env
Integer x; // Pulsante premuto dall'utente (0 nessun pulsante)
Real r1024;
@@ -16,4 +17,5 @@ elsewhen sample(0,1) then
if (r1024 <= 0.3) then x := 0; else x:= 1; end if;
end if;
end when;
-end Env;
\ No newline at end of file
+end Env;
+
\ No newline at end of file
diff --git a/0721_4/wrong2.txt b/0721_4/wrong2.txt
index 677ef8b..fe4a402 100644
--- a/0721_4/wrong2.txt
+++ b/0721_4/wrong2.txt
@@ -1,3 +1,4 @@
+
model Env
Integer x; // Pulsante premuto dall'utente (0 nessun pulsante)
Real r1024;
@@ -16,4 +17,5 @@ elsewhen sample(0,1) then
if (r1024 <= 0.4) then x := 1; else x:= 0; end if;
end if;
end when;
-end Env;
\ No newline at end of file
+end Env;
+
\ No newline at end of file
diff --git a/0721_4/wrong3.txt b/0721_4/wrong3.txt
index 2e77985..bb62616 100644
--- a/0721_4/wrong3.txt
+++ b/0721_4/wrong3.txt
@@ -1,3 +1,4 @@
+
model Env
Integer x; // Pulsante premuto dall'utente (0 nessun pulsante)
Real r1024;
@@ -16,4 +17,5 @@ elsewhen sample(0,1) then
if (r1024 <= 0.2) then x := 1; else x:= 0; end if;
end if;
end when;
-end Env;
\ No newline at end of file
+end Env;
+
\ No newline at end of file
diff --git a/0721_0/correct.txt b/0721_40/correct.txt
similarity index 100%
rename from 0721_0/correct.txt
rename to 0721_40/correct.txt
diff --git a/0721_0/quest.txt b/0721_40/quest.txt
similarity index 100%
rename from 0721_0/quest.txt
rename to 0721_40/quest.txt
diff --git a/0721_0/wrong1.txt b/0721_40/wrong1.txt
similarity index 100%
rename from 0721_0/wrong1.txt
rename to 0721_40/wrong1.txt
diff --git a/0721_0/wrong2.txt b/0721_40/wrong2.txt
similarity index 100%
rename from 0721_0/wrong2.txt
rename to 0721_40/wrong2.txt
diff --git a/0721_5/quest.txt b/0721_5/quest.txt
index 881f5f4..c5dbb4e 100644
--- a/0721_5/quest.txt
+++ b/0721_5/quest.txt
@@ -1,2 +1,2 @@
-"Ogni giorno, per ciascuna clinica, il sistema genererà una lista dei pazienti che hanno un appuntamento quel giorno."
-La frase precedente è un esempio di:
\ No newline at end of file
+"Ogni giorno, per ciascuna clinica, il sistema genererà una lista dei pazienti che hanno un appuntamento quel giorno."
+La frase precedente è un esempio di:
\ No newline at end of file
diff --git a/0721_6/wrong3.txt b/0721_6/correct.txt
similarity index 77%
rename from 0721_6/wrong3.txt
rename to 0721_6/correct.txt
index 59f99c3..fc3d081 100644
--- a/0721_6/wrong3.txt
+++ b/0721_6/correct.txt
@@ -1,3 +1,4 @@
+
class System
Real x; // MB in buffer
Real u; // input pulse
@@ -8,5 +9,6 @@ equation
when sample(0, 1) then
u = 1 - pre(u);
end when;
-der(x) = 2*u + 1.0;
-end System;
\ No newline at end of file
+der(x) = 2*u - 1.0;
+end System;
+
\ No newline at end of file
diff --git a/0721_6/quest.txt b/0721_6/quest.txt
index 240c059..40a0c99 100644
--- a/0721_6/quest.txt
+++ b/0721_6/quest.txt
@@ -1 +1 @@
-Un I/O buffer è alimentato da una componente che fornisce un input periodico di periodo 2 secondi. Durante la prima metà del periodo, l'input rate è 2MB/s mentre durante la seconda metà del periodo l'input rate è 0. Quindi l'input rate medio è di 1MB/s. L' I/O buffer, a sua volta, alimenta una componente che richiede (in media) 1MB/s. Quale dei seguenti modelli Modelica è un modello ragionevole per il sistema descritto sopra ?
\ No newline at end of file
+Un I/O buffer è alimentato da una componente che fornisce un input periodico di periodo 2 secondi. Durante la prima met� del periodo, l'input rate è 2MB/s mentre durante la seconda metà del periodo l'input rate è 0. Quindi l'input rate medio è di 1MB/s. L' I/O buffer, a sua volta, alimenta una componente che richiede (in media) 1MB/s. Quale dei seguenti modelli Modelica è un modello ragionevole per il sistema descritto sopra ?
\ No newline at end of file
diff --git a/0721_6/wrong1.txt b/0721_6/wrong1.txt
index b07b2d6..eeb1bba 100644
--- a/0721_6/wrong1.txt
+++ b/0721_6/wrong1.txt
@@ -1,3 +1,4 @@
+
class System
Real x; // MB in buffer
Real u; // input pulse
@@ -8,4 +9,6 @@ equation
when sample(0, 1) then
u = 1 - pre(u);
end when;
-der(x) = 2*u -
\ No newline at end of file
+der(x) = 2*u - 2.0;
+end System;
+
\ No newline at end of file
diff --git a/0721_6/wrong2.txt b/0721_6/wrong2.txt
index 409ff79..eb68041 100644
--- a/0721_6/wrong2.txt
+++ b/0721_6/wrong2.txt
@@ -1,9 +1,4 @@
-0;
-end System;
-
-
-2.
-
+
class System
Real x; // MB in buffer
Real u; // input pulse
@@ -14,5 +9,6 @@ equation
when sample(0, 1) then
u = 1 - pre(u);
end when;
-der(x) = 2*u - 1.0;
-end System;
\ No newline at end of file
+der(x) = 2*u + 1.0;
+end System;
+
\ No newline at end of file
diff --git a/0721_7/correct.txt b/0721_7/correct.txt
index d2fec23..0dcbeca 100644
--- a/0721_7/correct.txt
+++ b/0721_7/correct.txt
@@ -1 +1 @@
-Per ciascun incremento di funzionalità, scrivi test automatizzati, implementa la funzionalità, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
+Per ciascun incremento di funzionalità , scrivi test automatizzati, implementa la funzionalità , esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/0721_7/quest.txt b/0721_7/quest.txt
index ba55357..f3019d0 100644
--- a/0721_7/quest.txt
+++ b/0721_7/quest.txt
@@ -1 +1 @@
-Si consideri il Test-Driven Development (TDD). Quale delle seguenti affermazioni è vera?
\ No newline at end of file
+Si consideri il Test-Driven Development (TDD). Quale delle seguenti affermazioni è vera?
\ No newline at end of file
diff --git a/0721_7/wrong2.txt b/0721_7/wrong2.txt
index 2e5076c..cf5eab4 100644
--- a/0721_7/wrong2.txt
+++ b/0721_7/wrong2.txt
@@ -1 +1 @@
-Per ciascun incremento di funzionalità, implementa la funzionalità, scrivi test automatizzati, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
+Per ciascun incremento di funzionalità , implementa la funzionalità , scrivi test automatizzati, esegui i test e rivedi l'implementazione come necessario.
\ No newline at end of file
diff --git a/0721_8/wrong3.txt b/0721_8/correct.txt
similarity index 97%
rename from 0721_8/wrong3.txt
rename to 0721_8/correct.txt
index 28ec59c..99b5226 100644
--- a/0721_8/wrong3.txt
+++ b/0721_8/correct.txt
@@ -1,3 +1,4 @@
+
model System
parameter Integer F1 = 1;
parameter Integer F2 = 2;
@@ -30,4 +31,5 @@ if (r1024 <= A[x, F1]) then
x := End;
end if;
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_8/quest.txt b/0721_8/quest.txt
index 559628d..ebf5ec9 100644
--- a/0721_8/quest.txt
+++ b/0721_8/quest.txt
@@ -1,4 +1,4 @@
+img=https://i.imgur.com/rw4Tvcj.png
+
Si consideri la seguente Markov Chain:
-
-
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per la Markov Chain di cui sopra?
\ No newline at end of file
diff --git a/0721_8/wrong1.txt b/0721_8/wrong1.txt
index 1b498b3..75546bd 100644
--- a/0721_8/wrong1.txt
+++ b/0721_8/wrong1.txt
@@ -1,3 +1,4 @@
+
model System
parameter Integer F1 = 1;
parameter Integer F2 = 2;
@@ -30,4 +31,5 @@ if (r1024 <= A[x, F1]) then
x := End;
end if;
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_8/wrong2.txt b/0721_8/wrong2.txt
index c3a7393..ed6823c 100644
--- a/0721_8/wrong2.txt
+++ b/0721_8/wrong2.txt
@@ -1,3 +1,4 @@
+
model System
parameter Integer F1 = 1;
parameter Integer F2 = 2;
@@ -30,4 +31,5 @@ if (r1024 <= A[x, F1]) then
x := End;
end if;
end when;
-end System;
\ No newline at end of file
+end System;
+
\ No newline at end of file
diff --git a/0721_9/correct.txt b/0721_9/correct.txt
index 4f5ac71..d4074cf 100644
--- a/0721_9/correct.txt
+++ b/0721_9/correct.txt
@@ -1 +1 @@
-Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file
+Testare funzionalità di unità software individuali, oggetti, classi o metodi.
\ No newline at end of file