We finally have files!

This commit is contained in:
Marco Realacci 2022-10-28 16:32:32 +02:00
commit 475f284670
48 changed files with 2022 additions and 0 deletions

View file

@ -0,0 +1,19 @@
<pre>
class Monitor
InputReal x; // plant output
OutputBoolean y;
Boolean z;
initial equation
y = false;
equation
z = (time > 0) and ((x > 5) or (x < 0));
algorithm
when edge(z) then
y := true;
end when;
end Monitor;
</pre>

View file

@ -0,0 +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].
Quale dei seguenti monitor meglio descrive il requisito RQ?

View file

@ -0,0 +1,19 @@
<pre>
class Monitor
InputReal x; // plant output
OutputBoolean y;
Boolean z;
initial equation
y = false;
equation
z = (time > 0) and ((x > 0) or (x < 5));
algorithm
when edge(z) then
y := true;
end when;
end Monitor;
</pre>

View file

@ -0,0 +1,19 @@
<pre>
class Monitor
InputReal x; // plant output
OutputBoolean y;
Boolean z;
initial equation
y = false;
equation
z = (time > 0) and (x > 0) and (x < 5);
algorithm
when edge(z) then
y := true;
end when;
end Monitor;
</pre>

View file

@ -0,0 +1 @@
La risposta corretta è: La variabile x è nell'intervallo [1, 4] oppure nell'intervallo [15, 20]

View file

@ -0,0 +1,26 @@
Si consideri il monitor seguente che ritorna true appena il sistema viola il requisito monitorato:
<pre>
block Monitor
input Real x;
output Boolean y;
Boolean w;
initial equation
y = false;
equation
w = ((x < 1) or (x > 4)) and ((x < 15) or (x > 20));
algorithm
when edge(w) then
y := true;
end when;
end Monitor;
</pre>
Quale delle seguenti affermazioni meglio descrive il requisito monitorato?

View file

@ -0,0 +1 @@
La variabile x è fuori dall'intervallo [1, 4] e fuori dall'intervallo [15, 20]

View file

@ -0,0 +1 @@
La variabile x è nell'intervallo [1, 4] e fuori dall'intervallo [15, 20]

View file

@ -0,0 +1 @@
6*A

View file

@ -0,0 +1,2 @@
Si consideri un software sviluppato seguendo un approccio plan-driven implementato con tre fasi: F1, F2, F3 ciascuna con costo A. Le "change request" possono arrivare solo al fine di una fase e provocano la ripetizione (con relativo costo) di tutte le fasi che precedono. Si assuma che dopo la fase F3 (cioè al termine dello sviluppo) arriva una change request. Qual è il costo totale per lo sviluppo del software in questione.
Scegli un'alternativa:

View file

@ -0,0 +1 @@
5*A

View file

@ -0,0 +1 @@
4*A

View file

@ -0,0 +1 @@
Per ciascun incremento di funzionalità, scrivi test automatizzati, implementa la funzionalità, esegui i test e rivedi l'implementazione come necessario.

View file

@ -0,0 +1 @@
Si consideri il Test-Driven Development (TDD). Quale delle seguenti affermazioni è vera?

View file

@ -0,0 +1 @@
Per ciascun incremento di funzionalità, implementa la funzionalità, scrivi test automatizzati, esegui i test e rivedi l'implementazione come necessario.

View file

@ -0,0 +1 @@
Scrivi test automatizzati per tutti i requisiti di sistema, esegui i test e rivedi l'implementazione come necessario.

View file

@ -0,0 +1 @@
A*(1 + p)

View file

@ -0,0 +1 @@
Si consideri un software costituito da due fasi F1 ed F2 ciascuna di costo A. Con probabilità p la fase F1 deve essere ripetuta (a causa di change requests) e con probabilità (1 - p) si passa alla fase F2 e poi al completamento (End) dello sviluppo. Qual'è il costo atteso per lo sviluppo del software seguendo il processo sopra descritto?

View file

@ -0,0 +1 @@
3*A*p

View file

@ -0,0 +1 @@
A*(2 + p)

View file

@ -0,0 +1 @@
Se ci sono abbastanza monete è sempre possibile ottenere la bevanda selezionata

View file

@ -0,0 +1,2 @@
img=https://i.imgur.com/2gg5nIM.png
Lo State Diagram in figura descrive (in modo semplificato) una macchina distributrice di bevande. Quale delle seguenti frasi è corretta riguardo allo State Diagram in figura?

View file

@ -0,0 +1 @@
Una volta inserite le monete bisogna necessariamente consumare almeno una bevanda

View file

@ -0,0 +1 @@
Anche se ci sono abbastanza monete potrebbe non essere possibile ottenere la bevanda selezionata

View file

@ -0,0 +1 @@
A*(2 + p + q)

View file

@ -0,0 +1 @@
Si consideri un software sviluppato seguendo un approccio iterativo implementato con due fasi: F1 seguita da F2. Ciascuna fase ha costo A. Con probabilità p potrebbe essere necessario ripetere F1 una seconda volta. Con probabilità q potrebbe essere necessario ripetere F2 una seconda volta. Qual'e' il costo atteso dello sviluppo dell'intero software?

View file

@ -0,0 +1 @@
A*(1 + p + q)

View file

@ -0,0 +1 @@
A*(3 + p + q)

View file

@ -0,0 +1,2 @@
img=https://i.imgur.com/a8kMXoW.png
Serafina che tagga Sabrina

View file

@ -0,0 +1 @@
Chi insegna questo corso?

View file

@ -0,0 +1,2 @@
img=https://i.imgur.com/F4evurl.jpg
Gioele che tagga Sabrina

View file

@ -0,0 +1,2 @@
img=https://i.imgur.com/qyKmPIA.png
Deco che disegna un Hentai in aula studio

View file

@ -0,0 +1,2 @@
img=https://corsidilaurea.uniroma1.it/sites/default/files/styles/user_picture/public/pictures/picture-23550-1602857792.jpg
Tronci

View file

@ -0,0 +1,17 @@
<pre>
class Monitor
InputReal x, y;
OutputBoolean wy;
Boolean wz;
initial equation
wy = false;
equation
wz = (time > 60) and (delay(x, 10) > 0) and (y >= 0);
algorithm
when edge(wz) then
wy := true;
end when;
end Monitor;
</pre>

View file

@ -0,0 +1,9 @@
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.
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?

View file

@ -0,0 +1,20 @@
<pre>
class Monitor
InputReal x, y;
OutputBoolean wy;
Boolean wz;
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;
</pre>

View file

@ -0,0 +1,19 @@
<pre>
class Monitor
InputReal x, y;
OutputBoolean wy;
Boolean wz;
initial equation
wy = false;
equation
wz = (time > 60) and (delay(x, 10) <= 0) and (y >= 0);
algorithm
when edge(wz) then
wy := true;
end when;
end Monitor;
</pre>

View file

@ -0,0 +1 @@
1.5*A

View file

@ -0,0 +1 @@
Si consideri un software sviluppato seguendo un approccio plan-driven implementato con due fasi: F1, F2. La fase F1 ha costo A e la fase F2 ha costo il 50% di A. Qual'e' il costo dello sviluppo del software?

View file

@ -0,0 +1 @@
A

View file

@ -0,0 +1 @@
0.5*A

View file

@ -0,0 +1 @@
1/1000

View file

@ -0,0 +1 @@
Il rischio R può essere calcolato come R = P*C, dove P è la probabilità dell'evento avverso (software failure nel nostro contesto) e C è il costo dell'occorrenza dell'evento avverso. Si consideri un software il cui costo per la failure è C = 1000000 EUR. Volendo un rischio non superiore a 1000 EUR quale è il valore massimo della probabilità di failure P accettabile?

View file

@ -0,0 +1 @@
1/100

View file

@ -0,0 +1 @@
1/10