ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/DA-Paaschen.pdf
. . . . . 62
7 Test und Verikation 63 7.1 Test der Basisklassen mit JUnit . . . . . . . . . . . . . . . . . 63 7.2 Test der Wahrscheinlichkeiten . . . . . . . . . . . . . . . . . . 65
7.2.1 Wahrschei [...] Übergang z[p1 7→ q1, . . . , pn 7→ qn] ∈ GState(IS), wobei p1, . . . , pn
die Phasen im Bereich b bezeichnet und q1, . . . , qn die Phasenqualitäten, ist deniert als: z[p1 7→ q1, . . . , pn 7→ qn](x) :=
{ [...] ich aus, um q freizumachen.
16 ISysteme
T7 (Solicitation 2)
• z(p) = F
• ∀q ∈ b− {p} :
z(q) = m
∃ v ∈ K(q) : z(v) ∈ {1,F,m} ∪ P
z b.T7−−→ z[∀q ∈ b− {p} : q 7→ s]
<m>
<m>
1q
q n
1q
q n
pp<F> <F>
<m>
<m> …