Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Teaching Students Property-based Testing
Year:2014
Research Areas
  • Engineering
Information
Abstract
Testing is a crucial aspect of the development of dependable embedded systems, and therefore a significant effort is put into researching and developing efficient testing techniques. However, testing is not normally taught in specific courses at many universities, but rather as a peripheral activity to programming. In this paper, we report on three separate experiences at teaching an advanced testing technique, property-based testing, and a supporting tool, QuviQ Quick Check, to both undergraduate and master students.
International
Si
Congress
2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) (2014)
960
Place
Verona, Italia
Reviewers
Si
ISBN/ISSN
978-1-4799-5795-8
Start Date
27/08/2014
End Date
29/08/2014
From page
437
To page
442
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on
Participants
  • Autor: Clara Benac Earle (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)