A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems

  • Lars-Åke Fredlund
  • Ángel Herranz
  • Julio Mariño
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8938)


The paper describes an approach to testing a class of safety-critical concurrent systems implemented using shared resources.

Shared resources are characterized using a declarative specification, from which both an efficient implementation can be derived, and which serves as the first approximation of the state-based test model used for testing an implementation of the resource.

In this article the methodology is illustrated by applying it to the task of testing the safety-critical software that controls an automated shipping plant, specified as a shared resource, which serves shipping orders using a set of autonomous robots. The operations of the robots are governed by a set of rules limiting the weight of robots, and their cargo, to ensure safe operations.


  1. 1.
    Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)Google Scholar
  2. 2.
    Arts, T., Hughes, J., Johansson, J., Wiger, U.T.: Testing telecoms software with quviq QuickCheck. In: Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, pp. 2–10 (2006)Google Scholar
  3. 3.
    Cesarini, F., Thompson, S.: Erlang Programming - A Concurrent Approach to Software Development. O’Reilly Media, Sebastopol (2009)Google Scholar
  4. 4.
    Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 268–279. ACM, New York (2000)Google Scholar
  5. 5.
    Herranz, Á., Mariño, J.: A verified implementation of priority monitors in Java. In: Beckert, B., Damiani, F., Gurov, D. (eds.) FoVeOOS 2011. LNCS, vol. 7421, pp. 160–177. Springer, Heidelberg (2012)Google Scholar
  6. 6.
    Herranz, A., Mariño, J., Carro, M., Moreno Navarro, J.J.: Modeling concurrent systems with shared resources. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 102–116. Springer, Heidelberg (2009)Google Scholar
  7. 7.
    Svenningsson, R., Johansson, R., Arts, T., Norell, U.: Testing AUTOSAR basic software models with quickcheck. In: Pavese, F., Bár, M., Filtz, J.-R., Forbes, A.B., Pendrill, L., Shirono, K. (eds.) Advanced Mathematical And Computational Tools In Metrology And Testing IX, pp. 391–395. World Scientific, Singapore (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Lars-Åke Fredlund
    • 1
  • Ángel Herranz
    • 1
  • Julio Mariño
    • 1
  1. 1.Babel GroupUniversidad Politécnica de MadridMadridSpain

Personalised recommendations