The Consejo Nacional de Investigaciones Cientificas y Tecnicas (CONICET) is the most important research institution in Argentina. Its internal authorities are elected by around 8,000 researches across the country. During 2011 the CONICET developed a web voting system to replace the traditional mail-based system. In this paper we present the verification process conducted to assess the functional correctness of the voting system. This process is the result of integrating automatic and semi-automatic verification activities from formal proof to code inspection and model-based testing.
展开▼
机译:Consejo Nacional de Investigaciones CietingIficas Y Tecnicas(Conicet)是阿根廷最重要的研究机构。其内部当局在全国各地约有8,000项研究。 2011年,Conicet开发了一个Web投票系统,以取代传统的基于邮件的系统。在本文中,我们介绍了评估投票系统的功能正确性的验证过程。此过程是将自动和半自动验证活动集成到正式证明到代码检查和基于模型的测试的结果。
展开▼