Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
A QuickCheck generator is a function that is capable of, according to some probability distribution, generating an infinite number of elements for some type. The generator int(), for example, can generate random integers, and list(int()) generates lists of random length, containing random integers.
References
Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
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)
Cesarini, F., Thompson, S.: Erlang Programming - A Concurrent Approach to Software Development. O’Reilly Media, Sebastopol (2009)
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)
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)
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Fredlund, LÅ., Herranz, Á., Mariño, J. (2015). A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. In: Canal, C., Idani, A. (eds) Software Engineering and Formal Methods. SEFM 2014. Lecture Notes in Computer Science(), vol 8938. Springer, Cham. https://doi.org/10.1007/978-3-319-15201-1_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-15201-1_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15200-4
Online ISBN: 978-3-319-15201-1
eBook Packages: Computer ScienceComputer Science (R0)