Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Applying Property-Based Testing in Teaching Safety-Critical System Programming
Año:2015
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
At the Universidad Politécnica de Madrid students attending a course on concurrency are taught a high-level formalism which permits concise specification of shared resources. This formalism is used to express safety-critical access policies for typical control problems such as robot plants. Students are moreover provided with programming recipes for implementing such shared resource specifications in programming languages (typically Java). The teachers of the course use various tools to ensure that the implementations developed by students for a shared resource are of an acceptable quality. Such tools include normal unit tests, but also the systematic application of property-based testing to judge the quality of the exercises. In this article we provide an overview of the tools, techniques and methods used in one particular exercise of the course: the implementation of a control system for an automated warehouse.
Internacional
Si
Nombre congreso
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Tipo de participación
960
Lugar del congreso
Madeira
Revisores
Si
ISBN o ISSN
1089-6503
DOI
doi:10.1109/SEAA
Fecha inicio congreso
26/08/2015
Fecha fin congreso
28/08/2015
Desde la página
309
Hasta la página
316
Título de las actas
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • 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 2021 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)