RunasSudo/OpenTally
1
Fork 0
Code Issues 3 Pull Requests Activity
c4fab9dc75
OpenTally/docs/validation.md
RunasSudo 5f48a88bbe
Validated against 2019 NSW Senate election 
Disable bulk election for Senate STV
Update documentation
2021-07-23 20:30:14 +10:00

3.4 KiB
Raw Blame History

Validation

STV-counting software is frequently validated empirically by comparing the results of election counts to those generated by independent implementations. See, for example, [1–5]. The table describes the empirical validation performed on OpenTally to date.

Method Election Comparator Included test case
Scottish STV 2007 Glasgow council Linn ward election eSTV 2.0.16 ✓
OpenTally Meek Ballot papers derived from the ERS97 model election Algorithm 123 ✓
Meek STV (2006) Ballot papers derived from the ERS97 model election OpenSTV 1.7 ✓
Meek STV (New Zealand) Ballot papers derived from the ERS97 model election OpenSTV 1.7, Hill's nzmeek 6.7.7 ✓
Australian Senate STV 2019 Tasmanian Senate election EasyCount ✓
Australian Senate STV 2019 NSW Senate election EasyCount
Australian Capital Territory STV 2020 Kurrajong Legislative Assembly election eVACS 2020 ✓
Wright STV EVE Online CSM 15 election ccp-wright-stv ✓
PRSA 1977 Proportional Representation Manual example 1 Model result ✓
ERS97 Ballot papers derived from the ERS97 model election Model result ✓

References

  1. Wichmann BA. Checking two STV programs. Voting Matters. 2000 Apr; (11): 6–8. http://www.votingmatters.org.uk/ISSUE11/P4.HTM
  2. Wichmann BA. Validation of implementation of the Meek algorithm for STV. London: McDougall Trust; 2000 Apr 28. http://www.votingmatters.org.uk/RES/MKVAL.pdf
  3. Koopman P, Hubbers E, Pieters W, Poll E, de Vries R. Testing the eSTV program for the Scottish local government elections. Nijmegen (NL): Radboud University; 2007 Mar 30. https://research.utwente.nl/en/publications/testing-the-estv-program-for-the-scottish-local-government-electi
  4. Conway A, Blom M, Naish L, Teague V. An analysis of New South Wales electronic vote counting. ACSW '17: Proceedings of the Australasian Computer Science Week multiconference. New York: Association for Computing Machinery; 2017 Jan. doi: 10.1145/3014812.3014837
  5. Abate P, Dawson J, Goré R, Gray M, Norrish M, Slater A. Formal methods applied to electronic voting systems. Canberra: Australian National University; c2003. https://users.cecs.anu.edu.au/~rpg/EVoting/