header

Program Information

Name: Simulation Mode:gossip propagation
Domain: Algorithm
Functionality: A gossip propagation model and simulation
Input: In this agent-based model, a network of nodes is used to represent gossipers.A gossip event occurs, which is represented by a bit string of size 20.A set number of randomly chosen observers are provided this bit string, which they propagate to their neighbors.
Output: After gossip finishes propagating in the network, each node is assigned a fitness value defined as the percentage of bits that are the same as the original message, in the range [0,1].

Reference

Simulation Validation Using Metamorphic Testing (WIP) http://dl.acm.org/citation.cfm?id=2874916.2874985

MR Information

MR1------

Description:
Property: An increase in the number of observers should increase the overall fitness if everything else remains the same.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR2------

Description:
Property: Zero distorters in the network should mean that all nodes reached have perfect information (highest possible fitness).
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR3------

Description:
Property: Bit-wise mode should perform the best of all three decision rules, when all other factors are the same.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR4------

Description:
Property: If observers are chosen non-randomly and placed as hubs in a scale free network, fitness should increase over random placement of observers with all other factors identical.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR5------

Description:
Property: If distorters are chosen non-randomly and placed as hubs in a scale free network, fitness should decrease over random placement of distorters with all other factors identical.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:

MR6------

Description:
Property: Fitness should be the same with a different number of agents if we test on the same graph type using the same decision rule, with the same percentage of observers and distorters and the same mean node degree.
Source input:
Source output:
Follow-up input:
Follow-up output:
Input relation:
Output relation:
Pattern:
Insert title here