mirror of
https://github.com/appinfosapienza/so-un-bot.git
synced 2025-03-14 17:26:14 +01:00
Removed duplicates
This commit is contained in:
parent
8fa16a76f5
commit
847ca87559
218 changed files with 0 additions and 1785 deletions
|
|
@ -1 +0,0 @@
|
||||||
Costruire un modello di simulazione per i principali aspetti dei processi di business dell'azienda e per il sistema software da realizzare e valutare le migliorie apportate dal sistema software ai processi di business dell'azienda mediante simulazione.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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 ?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Costruire un prototipo del sistema e testarlo rispetto ai requisiti funzionali usando i dati storici dall'azienda.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Costruire un prototipo del sistema e valutarne i requisiti non funzionali usando i dati storici dall'azienda.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare l'interazione tra le componenti del sistema (cioè, integrazione di molte unità di sistema).
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il system testing si concentra su:
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare le funzionalità di unità software individuali, oggetti, classi o metodi.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare le interfacce per ciascuna componente.
|
|
||||||
|
|
@ -1,30 +0,0 @@
|
||||||
<pre>
|
|
||||||
model System
|
|
||||||
|
|
||||||
Integer y;
|
|
||||||
|
|
||||||
Real r1024;
|
|
||||||
|
|
||||||
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
|
|
||||||
|
|
||||||
equation
|
|
||||||
|
|
||||||
y = if (r1024 <= 0.3) then 1 else 0;
|
|
||||||
|
|
||||||
algorithm
|
|
||||||
|
|
||||||
when initial() then
|
|
||||||
|
|
||||||
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
|
|
||||||
|
|
||||||
r1024 := 0;
|
|
||||||
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
|
|
||||||
end when;
|
|
||||||
|
|
||||||
end System;
|
|
||||||
|
|
||||||
</pre>
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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.
|
|
||||||
|
|
@ -1,28 +0,0 @@
|
||||||
<pre>
|
|
||||||
model System
|
|
||||||
|
|
||||||
Integer y; Real r1024;
|
|
||||||
|
|
||||||
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
|
|
||||||
|
|
||||||
equation
|
|
||||||
|
|
||||||
y = if (r1024 <= 0.3) then 0 else 1;
|
|
||||||
|
|
||||||
algorithm
|
|
||||||
|
|
||||||
when initial() then
|
|
||||||
|
|
||||||
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
|
|
||||||
|
|
||||||
r1024 := 0;
|
|
||||||
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
|
|
||||||
end when;
|
|
||||||
|
|
||||||
end System;
|
|
||||||
|
|
||||||
</pre>
|
|
||||||
|
|
@ -1,27 +0,0 @@
|
||||||
<pre>
|
|
||||||
model System
|
|
||||||
|
|
||||||
Integer y; Real r1024;
|
|
||||||
|
|
||||||
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
|
|
||||||
|
|
||||||
equation
|
|
||||||
|
|
||||||
y = if (r1024 >= 0.3) then 1 else 0;
|
|
||||||
|
|
||||||
algorithm
|
|
||||||
|
|
||||||
when initial() then
|
|
||||||
|
|
||||||
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
|
|
||||||
|
|
||||||
r1024 := 0;
|
|
||||||
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
|
|
||||||
end when;
|
|
||||||
|
|
||||||
end System;
|
|
||||||
</pre>
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Stiamo costruendo il sistema giusto?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
La validazione risponde alla seguenete domanda:
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Stiamo costruendo il sistema nel modo giusto?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Sono soddisfatti i requisti funzionali?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il performance testing è tipicamente eseguito una volta che il sistema è stato completamento integrato.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Quale delle seguenti affermazioni è vera riguardo al performance testing?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il performance testing è tipicamente eseguito su un prototipo del sistema.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il performance testing è tipicamente eseguito solo sulle componenti del sistema prima dell'integrazione.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Accertarsi che i requisiti definiscano un sistema che risolve il problema che l'utente pianifica di risolvere.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Quali delle seguenti attività è parte del processo di validazione dei requisiti ?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Accertarsi che il sistema soddisfi i requisiti dati.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Accertarsi che l'architettura del sistema soddisfi i requisiti dati.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Per ciascun incremento di funzionalità, scrivi test automatizzati, implementa la funzionalità, esegui i test e rivedi l'implementazione come necessario.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Si consideri il Test-Driven Development (TDD). Quale delle seguenti affermazioni è vera?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Per ciascun incremento di funzionalità, implementa la funzionalità, scrivi test automatizzati, esegui i test e rivedi l'implementazione come necessario.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Scrivi test automatizzati per tutti i requisiti di sistema, esegui i test e rivedi l'implementazione come necessario.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
A*(2 + p)
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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'eè il costo atteso per lo sviluppo del software seguendo il processo sopra descritto ?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
3*A*p
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
A*(1 + p)
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Costruire un prototipo, metterlo in esercizio ed accertarsi che i porti i benefici attesi.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Quali delle seguenti attività può contribuire a validare i requisiti di un sistema ?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Costruire un prototipo e testarlo a fondo per evidenziare subito errori di implementazione.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Costruire un prototipo e valutarne attentamente le performance.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Una release del software è resa disponibile agli utenti (beta users) per permettergli di sperimentare e quindi segnalare eventuali problemi rilevati agli sviluppatori.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Quale delle seguenti affermazione è vera riguardo al beta testing ?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Test automatizzato sono eseguiti sulla versione finale del sistema presso il cliente.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Test automatizzato sono eseguiti sulla versione finale del sistema presso il sito di sviluppo del software.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare le interfacce per ciascun componente.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il component testing si concentra su:
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare funzionalità di unità software individuali, oggetti, classi o metodi.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare l'interazione tra molte componenti (cioè integrazione di molte unità).
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
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;
|
|
||||||
|
|
@ -1,5 +0,0 @@
|
||||||
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 ?
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
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;
|
|
||||||
|
|
@ -1,14 +0,0 @@
|
||||||
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;
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare funzionalità di unità software individuali, oggetti, classi o metodi.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Unit testing si concentra su:
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare le interfacce di ciascuna componente.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare l'interazione tra componenti.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
1/1000
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
1/10
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
1/100
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
2*A*(p +1)
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Si consideri un software sviluppato seguendo un approccio iterativo implementato con due fasi: F1 seguita da F2. Ciascuna fase ha costo A e deve essere ripetuta una seconda volta con probabilità p. Qual'e' il costo atteso dello sviluppo dell'intero software?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
3*A*(p + 1)
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
2*A*(p + 2)
|
|
||||||
|
|
@ -1,15 +0,0 @@
|
||||||
class Monitor
|
|
||||||
|
|
||||||
InputReal x; // plant output
|
|
||||||
OutputBoolean y;
|
|
||||||
|
|
||||||
Boolean z;
|
|
||||||
initial equation
|
|
||||||
y = false;
|
|
||||||
equation
|
|
||||||
z = (time > 0) and ((x >= 5) or (x <= 0)) and ((x >= 15) or (x <= 10)) ;
|
|
||||||
algorithm
|
|
||||||
when edge(z) then
|
|
||||||
y := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,3 +0,0 @@
|
||||||
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]
|
|
||||||
Quale dei seguenti monitor meglio descrive il requisito RQ1 ?
|
|
||||||
|
|
@ -1,15 +0,0 @@
|
||||||
class Monitor
|
|
||||||
|
|
||||||
InputReal x; // plant output
|
|
||||||
OutputBoolean y;
|
|
||||||
|
|
||||||
Boolean z;
|
|
||||||
initial equation
|
|
||||||
y = false;
|
|
||||||
equation
|
|
||||||
z = (time > 0) and ((x >= 0) or (x <= 5)) and ((x >= 10) or (x <= 15)) );
|
|
||||||
algorithm
|
|
||||||
when edge(z) then
|
|
||||||
y := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,15 +0,0 @@
|
||||||
class Monitor
|
|
||||||
|
|
||||||
InputReal x; // plant output
|
|
||||||
OutputBoolean y;
|
|
||||||
|
|
||||||
Boolean z;
|
|
||||||
initial equation
|
|
||||||
y = false;
|
|
||||||
equation
|
|
||||||
z = (time > 0) and ( ((x >= 0) and (x <= 5)) or ((x >= 10) and (x <= 15)) );
|
|
||||||
algorithm
|
|
||||||
when edge(z) then
|
|
||||||
y := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,12 +0,0 @@
|
||||||
class System
|
|
||||||
Real x; // MB in buffer
|
|
||||||
Real u; // input pulse
|
|
||||||
initial equation
|
|
||||||
x = 3;
|
|
||||||
u = 0;
|
|
||||||
equation
|
|
||||||
when sample(0, 1) then
|
|
||||||
u = 1 - pre(u);
|
|
||||||
end when;
|
|
||||||
der(x) = 2*u - 1.0;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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 ?
|
|
||||||
|
|
@ -1,12 +0,0 @@
|
||||||
class System
|
|
||||||
Real x; // MB in buffer
|
|
||||||
Real u; // input pulse
|
|
||||||
initial equation
|
|
||||||
x = 3;
|
|
||||||
u = 0;
|
|
||||||
equation
|
|
||||||
when sample(0, 1) then
|
|
||||||
u = 1 - pre(u);
|
|
||||||
end when;
|
|
||||||
der(x) = 2*u - 2.0;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1,12 +0,0 @@
|
||||||
class System
|
|
||||||
Real x; // MB in buffer
|
|
||||||
Real u; // input pulse
|
|
||||||
initial equation
|
|
||||||
x = 3;
|
|
||||||
u = 0;
|
|
||||||
equation
|
|
||||||
when sample(0, 1) then
|
|
||||||
u = 1 - pre(u);
|
|
||||||
end when;
|
|
||||||
der(x) = 2*u + 1.0;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare le interfacce per ciascun componente.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il component testing si concentra su:
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare funzionalità di unità software individuali, oggetti, classi o metodi.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Testare l'interazione tra molte componenti (cioè integrazione di molte unità).
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Requisito utente.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Si consideri il seguente requisito: "Il sistema fornisce l'elenco dei clienti in ordine alfabetico". Di che tipo di requisito si tratta?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Requisito di sistema.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Requisito non-funzionale.
|
|
||||||
Binary file not shown.
|
Before Width: | Height: | Size: 21 KiB |
|
|
@ -1,33 +0,0 @@
|
||||||
model System
|
|
||||||
parameter Integer F1 = 1;
|
|
||||||
parameter Integer F2 = 2;
|
|
||||||
parameter Integer F3 = 3;
|
|
||||||
parameter Integer End = 4;
|
|
||||||
parameter Real p = 0.3;
|
|
||||||
parameter Real A[4, 4] =
|
|
||||||
[
|
|
||||||
0, 1, 0, 0;
|
|
||||||
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;
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
if (r1024 <= A[x, F1]) then
|
|
||||||
x := F1;
|
|
||||||
elseif (r1024 <= A[x, F1] + A[x, F2]) then
|
|
||||||
x := F2;
|
|
||||||
elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
|
|
||||||
x := F3;
|
|
||||||
else
|
|
||||||
x := End;
|
|
||||||
end if;
|
|
||||||
end when;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1,3 +0,0 @@
|
||||||
img=https://i.imgur.com/t1KV4Qy.png
|
|
||||||
Si consideri la seguente Markov Chain:
|
|
||||||
Quale dei seguenti modelli Modelica fornisce un modello ragionevole per la Markov Chain di cui sopra?
|
|
||||||
|
|
@ -1,33 +0,0 @@
|
||||||
model System
|
|
||||||
parameter Integer F1 = 1;
|
|
||||||
parameter Integer F2 = 2;
|
|
||||||
parameter Integer F3 = 3;
|
|
||||||
parameter Integer End = 4;
|
|
||||||
parameter Real p = 0.3;
|
|
||||||
parameter Real A[4, 4] =
|
|
||||||
[
|
|
||||||
0, 1, 0, 0;
|
|
||||||
p, 0, 0, 1-p;
|
|
||||||
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;
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
if (r1024 <= A[x, F1]) then
|
|
||||||
x := F1;
|
|
||||||
elseif (r1024 <= A[x, F1] + A[x, F2]) then
|
|
||||||
x := F2;
|
|
||||||
elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
|
|
||||||
x := F3;
|
|
||||||
else
|
|
||||||
x := End;
|
|
||||||
end if;
|
|
||||||
end when;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1,33 +0,0 @@
|
||||||
model System
|
|
||||||
parameter Integer F1 = 1;
|
|
||||||
parameter Integer F2 = 2;
|
|
||||||
parameter Integer F3 = 3;
|
|
||||||
parameter Integer End = 4;
|
|
||||||
parameter Real p = 0.3;
|
|
||||||
parameter Real A[4, 4] =
|
|
||||||
[
|
|
||||||
0, 1, 0, 0;
|
|
||||||
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;
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
if (r1024 <= A[x, F1]) then
|
|
||||||
x := F1;
|
|
||||||
elseif (r1024 <= A[x, F1] + A[x, F2]) then
|
|
||||||
x := F2;
|
|
||||||
elseif (r1024 <= A[x, F1] + A[x, F2] + A[x, F3]) then
|
|
||||||
x := F3;
|
|
||||||
else
|
|
||||||
x := End;
|
|
||||||
end if;
|
|
||||||
end when;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
1.5*A
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
0.5*A
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
A
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
class Monitor
|
|
||||||
InputReal x, y;
|
|
||||||
OutputBoolean wy;
|
|
||||||
Boolean wz;
|
|
||||||
initial equation
|
|
||||||
wy = false;
|
|
||||||
equation
|
|
||||||
wz = (time > 40) and (delay(x, 10) > 1) and (y < 0);
|
|
||||||
algorithm
|
|
||||||
when edge(wz) then
|
|
||||||
wy := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,5 +0,0 @@
|
||||||
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.
|
|
||||||
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 ?
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
class Monitor
|
|
||||||
InputReal x, y;
|
|
||||||
OutputBoolean wy;
|
|
||||||
Boolean wz;
|
|
||||||
initial equation
|
|
||||||
wy = false;
|
|
||||||
equation
|
|
||||||
wz = (time > 40) or (delay(x, 10) > 1) or (y < 0);
|
|
||||||
algorithm
|
|
||||||
when edge(wz) then
|
|
||||||
wy := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
class Monitor
|
|
||||||
InputReal x, y;
|
|
||||||
OutputBoolean wy;
|
|
||||||
Boolean wz;
|
|
||||||
initial equation
|
|
||||||
wy = false;
|
|
||||||
equation
|
|
||||||
wz = (time > 40) and (delay(x, 10) > 1) and (y >= 0);
|
|
||||||
algorithm
|
|
||||||
when edge(wz) then
|
|
||||||
wy := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,15 +0,0 @@
|
||||||
class Monitor
|
|
||||||
|
|
||||||
InputReal x; // plant output
|
|
||||||
OutputBoolean y;
|
|
||||||
|
|
||||||
Boolean z;
|
|
||||||
initial equation
|
|
||||||
y = false;
|
|
||||||
equation
|
|
||||||
z = (time > 20) and ((x >= 30) or (x <= 20)) ;
|
|
||||||
algorithm
|
|
||||||
when edge(z) then
|
|
||||||
y := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,3 +0,0 @@
|
||||||
Si consideri il seguente requisito:
|
|
||||||
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 ?
|
|
||||||
|
|
@ -1,15 +0,0 @@
|
||||||
class Monitor
|
|
||||||
|
|
||||||
InputReal x; // plant output
|
|
||||||
OutputBoolean y;
|
|
||||||
|
|
||||||
Boolean z;
|
|
||||||
initial equation
|
|
||||||
y = false;
|
|
||||||
equation
|
|
||||||
z = (time > 20) or ((x >= 20) and (x <= 30)) ;
|
|
||||||
algorithm
|
|
||||||
when edge(z) then
|
|
||||||
y := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,15 +0,0 @@
|
||||||
class Monitor
|
|
||||||
|
|
||||||
InputReal x; // plant output
|
|
||||||
OutputBoolean y;
|
|
||||||
|
|
||||||
Boolean z;
|
|
||||||
initial equation
|
|
||||||
y = false;
|
|
||||||
equation
|
|
||||||
z = (time > 20) and (x >= 20) and (x <= 30) ;
|
|
||||||
algorithm
|
|
||||||
when edge(z) then
|
|
||||||
y := true;
|
|
||||||
end when;
|
|
||||||
end Monitor;
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
model System
|
|
||||||
Integer y; Real r1024;
|
|
||||||
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
|
|
||||||
equation
|
|
||||||
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);
|
|
||||||
r1024 := 0;
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
end when;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
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.
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
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;
|
|
||||||
algorithm
|
|
||||||
when initial() then
|
|
||||||
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
|
|
||||||
r1024 := 0;
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
end when;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1,13 +0,0 @@
|
||||||
model System
|
|
||||||
Integer y; Real r1024;
|
|
||||||
Integer state1024[Modelica.Math.Random.Generators.Xorshift1024star.nState];
|
|
||||||
equation
|
|
||||||
y = if (r1024 <= 0.2) then -1 else if (r1024 <= 0.5) then 0 else 1;
|
|
||||||
algorithm
|
|
||||||
when initial() then
|
|
||||||
state1024 := Modelica.Math.Random.Generators.Xorshift1024star.initialState(614657, 30020);
|
|
||||||
r1024 := 0;
|
|
||||||
elsewhen sample(0,1) then
|
|
||||||
(r1024,state1024) := Modelica.Math.Random.Generators.Xorshift1024star.random(pre(state1024));
|
|
||||||
end when;
|
|
||||||
end System;
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il performance testing è tipicamente eseguito una volta che il sistema è stato completamento integrato.
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Quale delle seguenti affermazioni è vera riguardo al performance testing?
|
|
||||||
|
|
@ -1 +0,0 @@
|
||||||
Il performance testing è tipicamente eseguito su un prototipo del sistema.
|
|
||||||
Some files were not shown because too many files have changed in this diff Show more
Loading…
Reference in a new issue