Concordia Institute for Information Systems Engineering

Quality Software Assurance

INSE 6260/ 2016

Assignment #1 due May 17th 2016 (Hard copy in mailbox)

Question #1 (2.5 marks)
Consider the system composed of 2 communicating processes P1 and P2.
a) Derive the reachability tree of the composed system and the analysis
b) What are the faults detected?
c) What is the size of the communication channels needed to implement the system?

P2
P1
0
0
C1 +a -f
+b +c -z
-a
+z 1 2
-b
+f 1 2
-e C2 +c +a
3
Legend: -means sending and + means receiving.

Question # 2 (2.5 marks)

Consider the system composed of 2 communicating processes P1 and P2.
a) Derive the reachability tree of the composed system and the analysis
b) What are the faults detected?
c) What is the size of the communication channels needed to implement the system?

P1 and P2 Communicate with FIFO queues

P2
P1
-M +T
+M 1 -T C1 1

3 +A
-A -D
3 -A 2
2 +N -D
-N
4 +E C2 4