so-un-bot/Ingegneria del Software/0321_17/quest.txt
2022-11-14 14:50:34 +01:00

31 lines
399 B
Text

Si consideri il monitor seguente che ritorna true appena i requisiti per il sistema monitorato sono violati.
<pre>
//block Monitor
input Real x;
output Boolean y;
Boolean w;
initial equation
y = false;
equation
w = ((x < 0) or (x > 5));
algorithm
when edge(w) then
y := true;
end when;
end Monitor;//
</pre>
Quale delle seguenti affermazioni meglio descrive il requisito monitorato?