Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Applying Property-Based Testing in Teaching Safety-Critical System Programming
Year:2015
Research Areas
  • Information technology and adata processing
Information
Abstract
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.
International
Si
Congress
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
960
Place
Madeira
Reviewers
Si
ISBN/ISSN
1089-6503
doi:10.1109/SEAA
Start Date
26/08/2015
End Date
28/08/2015
From page
309
To page
316
41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Julio Mariño Carballo (UPM)
  • Autor: Angel Herranz Nieva (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)