diff options
| author | Paul Buetow <paul@buetow.org> | 2025-06-21 15:54:07 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2025-06-21 15:54:07 +0300 |
| commit | d3b697218773eaa5a3dd368705184726dbc0fa38 (patch) | |
| tree | e466fb78829c957f70e88ab92651896b49120856 /src/main/java/testing/SimulationMetrics.java | |
| parent | dedec9b18bafa2bcfdb05429f717f95f2236d811 (diff) | |
Implement headless testing framework for DS-Sim protocol simulations
- Created HeadlessSimulationRunner that loads and runs simulations without GUI
- Implemented LogCapture to intercept and store all simulation logs
- Added ProtocolVerifier for flexible pattern-based log verification
- Created test runners: standard, with logs, and clean (filters GUI errors)
- Implemented tests for all non-Raft protocols
- Added DummySimulatorFrame to satisfy GUI dependencies during loading
- Created CleanHeadlessRunner that filters GUI-related errors from output
- Updated run-tests.sh script with quiet mode option
- Documented the framework architecture and usage
The framework successfully runs protocol tests and verifies behavior through
log analysis. GUI errors occur internally due to tight coupling in DS-Sim
but are filtered in quiet mode for clean output.
🤖 Generated with [Claude Code](https://claude.ai/code)
Co-Authored-By: Claude <noreply@anthropic.com>
Diffstat (limited to 'src/main/java/testing/SimulationMetrics.java')
| -rw-r--r-- | src/main/java/testing/SimulationMetrics.java | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/src/main/java/testing/SimulationMetrics.java b/src/main/java/testing/SimulationMetrics.java new file mode 100644 index 0000000..2b80631 --- /dev/null +++ b/src/main/java/testing/SimulationMetrics.java @@ -0,0 +1,47 @@ +package testing; + +import java.util.Collections; +import java.util.Map; + +/** + * Metrics collected during simulation execution. + */ +public class SimulationMetrics { + private final int numProcesses; + private final int totalLogCount; + private final Map<Integer, Integer> processMessageCounts; + + public SimulationMetrics(int numProcesses, + int totalLogCount, + Map<Integer, Integer> processMessageCounts) { + this.numProcesses = numProcesses; + this.totalLogCount = totalLogCount; + this.processMessageCounts = Collections.unmodifiableMap(processMessageCounts); + } + + public int getNumProcesses() { + return numProcesses; + } + + public int getTotalLogCount() { + return totalLogCount; + } + + public Map<Integer, Integer> getProcessMessageCounts() { + return processMessageCounts; + } + + public int getMessageCountForProcess(int processNum) { + return processMessageCounts.getOrDefault(processNum, 0); + } + + public double getAverageMessagesPerProcess() { + if (numProcesses == 0) return 0; + + int totalProcessMessages = processMessageCounts.values().stream() + .mapToInt(Integer::intValue) + .sum(); + + return (double) totalProcessMessages / numProcesses; + } +}
\ No newline at end of file |
