Thread base theory test
Download as PPTX, PDF0 likes658 views
The document contains multiple test methods named 'explorepossibleracecondition' which generate random integer inputs and verify race conditions in a state calculator using 10,000 iterations. It utilizes functions to generate inputs, convert them to strings for output formatting, and check against a known good function to ensure thread safety. The test aims to explore potential race conditions in concurrent execution scenarios.
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-5-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-6-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-7-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-8-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-9-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-10-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-11-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-12-320.jpg)
![[TestMethod]
public void ExplorePossibleRaceCondition()
{
var random = new Random();
Func<int[]> inputGenerator =
() => new int[] { random.Next(1000),
random.Next(1000),
random.Next(1000) };
Func<int[], string> toString =
n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]);
var stateCalulator = new StateCalulator();
Func<int[], object> raceConditionsFunction =
s=> stateCalulator.Sum(s[0],s[1],s[2]);
Func<int[], object> knownGoodFunction =
f => new StateCalulator().Sum(f[0],f[1],f[2]);
ThreadSafetyTheory.VerifyNoRaceConditions(10000,
inputGenerator, toString,
raceConditionsFunction, knownGoodFunction);
}](https://image.slidesharecdn.com/threadbasetheorytest-140801103408-phpapp01/85/Thread-base-theory-test-13-320.jpg)
Thread base theory test
- 5. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 6. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 7. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 8. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 9. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 10. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 11. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 12. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 13. [TestMethod] public void ExplorePossibleRaceCondition() { var random = new Random(); Func<int[]> inputGenerator = () => new int[] { random.Next(1000), random.Next(1000), random.Next(1000) }; Func<int[], string> toString = n => string.Format("{0} + {1} + {2} = ", n[0], n[1], n[2]); var stateCalulator = new StateCalulator(); Func<int[], object> raceConditionsFunction = s=> stateCalulator.Sum(s[0],s[1],s[2]); Func<int[], object> knownGoodFunction = f => new StateCalulator().Sum(f[0],f[1],f[2]); ThreadSafetyTheory.VerifyNoRaceConditions(10000, inputGenerator, toString, raceConditionsFunction, knownGoodFunction); }
- 16. ApprovalTests