src/test/java/testing/protocols/BasicMulticastProtocolTest.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

package testing.protocols;

import testing.*;
import org.junit.jupiter.api.*;
import static org.junit.jupiter.api.Assertions.*;

/**
 * JUnit test for Basic Multicast protocol using the headless testing framework.
 */
@DisplayName("Basic Multicast Protocol Tests")
public class BasicMulticastProtocolTest {
    private HeadlessSimulationRunner runner;
    
    @BeforeEach
    public void setup() {
        runner = new HeadlessSimulationRunner();
    }
    
    @AfterEach
    public void teardown() {
        runner.shutdown();
    }
    
    @Test
    @DisplayName("Test Basic Multicast protocol activation")
    public void testProtocolActivation() throws Exception {
        SimulationResult result = runner.runSimulation(
            "saved-simulations/basic-multicast.dat", 
            1000
        );
        
        ProtocolVerifier verifier = new ProtocolVerifier()
            .expectLog("Basic Multicast.*activated")
            .expectLog("Client activated")
            .expectLog("Server activated");
            
        VerificationResult verification = verifier.verify(result.getAllLogs());
        
        assertTrue(verification.passed(), verification.getFailureMessage());
        assertTrue(result.getMetrics().getNumProcesses() >= 3, 
                  "Should have at least 3 processes for multicast");
    }
    
    @Test
    @DisplayName("Test multicast message delivery")
    public void testMulticastDelivery() throws Exception {
        SimulationResult result = runner.runSimulation(
            "saved-simulations/basic-multicast.dat", 
            3000
        );
        
        // Verify multicast behavior
        ProtocolVerifier verifier = new ProtocolVerifier()
            .expectLog("Message sent")
            .expectLog("Message received")
            .expectLog("Multicast")
            .expectNoLog("ERROR")
            .expectNoLog("failed");
            
        VerificationResult verification = verifier.verify(result.getAllLogs());
        assertTrue(verification.passed(), verification.getFailureMessage());
        
        // Check that multiple processes receive messages
        int sentCount = result.countLogs("Message sent");
        int receivedCount = result.countLogs("Message received");
        
        assertTrue(receivedCount >= sentCount, 
                  "In multicast, received messages should be >= sent messages");
    }
    
    @Test
    @DisplayName("Test message ordering")
    public void testMessageOrdering() throws Exception {
        SimulationResult result = runner.runSimulation(
            "saved-simulations/basic-multicast.dat", 
            2000
        );
        
        // Verify messages are delivered in order
        var receivedMessages = result.findAll("Message received");
        
        long lastTimestamp = -1;
        for (LogEntry entry : receivedMessages) {
            assertTrue(entry.getTimestamp() >= lastTimestamp, 
                      "Messages should be received in chronological order");
            lastTimestamp = entry.getTimestamp();
        }
    }
}