Abstract
To observe the behavior of a distributed implementation under test (IUT), we commonly coordinate parallel testers in order to check not only if the output events have been observed, but also the dates when these events have been occurred. However, the use of multiple testers can produce several coordination problems amongst remote testers known as Controllability and Observability issues. To cope with such problems, we suggest-in previous works- the inclusion of some timing constraints in the test architecture. In this paper, we choose as a case study the use of a MapReduce architecture with several worker components running essentially two functionalities: Map and Reduce tasks. These systems often face failures caused by various conditions, e.g., network connection delays, power outages or hardware problems. Moreover, we define the temporal properties in the specification of such systems. Then, we explain how to apply these properties in the case of MapReduce testing to identify faulty workers, in order to reschedule their tasks to a healthy worker.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Charaf, M.E.H., Azzouzi, S.: A colored Petri-net model for control execution of distributed systems. In: 2017 4th International Conference on Control, Decision and Information Technologies, CoDIT 2017, January 2017, vol. 2017, pp. 277–282 (2017)
Azzouzi, S., Benattou, M., Charaf, M.E.H.: A temporal agent based approach for testing open distributed systems. Comput. Stand. Interfaces 40, 23–33 (2015)
Benattou, M., Cacciari, L., Pasini, R., Rafiq, O.: Principles and tools for testing open distributed systems. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testing of Communicating Systems. IFIPAICT, vol. 21, pp. 77–92. Springer, Boston, MA (1999). https://doi.org/10.1007/978-0-387-35567-2_6
Hierons, R.M.: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inf. Softw. Technol. 43(9), 551–560 (2001)
Tai, K.-C., Young, Y.-C.: Synchronizable test sequences of finite state machines. Comput. Netw. ISDN Syst. 30(12), 1111–1134 (1998)
Liu, W.Y., Zeng, H.W., Miao, H.K.: Multiple UIO-based test sequence generation for distributed systems. J. Shanghai Univ. 12(5), 438–443 (2008)
Anier, A., Vain, J., Tsiopoulos, L.: DTRON: a tool for distributed model-based testing of time critical applications. Proc. Est. Acad. Sci. 66(1), 75 (2017)
Merayo, M.G., Hierons, R.M., Núñez, M.: Passive testing with asynchronous communications and timestamps. Distrib. Comput. 31(5), 327–342 (2018)
Hierons, R.M., Merayo, M.G., Núñez, M.: Bounded reordering in the distributed test architecture. IEEE Trans. Reliab. 67(2), 522–537 (2018)
Lanet, J.L., Le Bouder, H., Benattou, M., Legay, A.: When time meets test. Int. J. Inf. Secur. 17(4), 395–409 (2018)
Marynowski, J.E., Albonico, M., de Almeida, E.C., Sunyé, G.: Testing MapReduce-based systems. In: SBBD - XXVI Simpósio Bras, Banco Dados (2011)
Moran, J., La Riva, C.D., Tuya, J.: MRTree: functional testing based on MapReduce’s execution behaviour. In: Proceedings of 2014 International Conference on Future Internet of Things and Clou, FiCloud 2014, pp. 379–384 (2014)
Csallner, C., Fegaras, L.: New ideas track: testing MapReduce style programs categories and subject descriptors. In: Engineering, pp. 504–507 (2011)
Lublinsky, B., Smith, K.T., Yakubovich, A.: Professional Hadoop Solutions (2013)
Petrenko, A., Bochmann, G.v., Yao, M.: On fault coverage of tests for finite state specifications. Comput. Netw. ISDN Syst. 29(1), 81–106 (1996)
Wottrich, K., Bressoud, T.: The performance characteristics of mapreduce applications on scalable clusters. In: Proceedings of the Midstates Conference on Undergraduate Research in Computer Science and Mathematics, April 2011
Khan, M., Jin, Y., Li, M., Xiang, Y., Jiang, C.: Hadoop performance modeling for job estimation and resource provisioning. IEEE Trans. Parallel Distrib. Syst. 27(2), 441–454 (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Hsaini, S., Azzouzi, S., Charaf, M.E.H. (2019). A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study. In: Attiogbé, C., Ferrarotti, F., Maabout, S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham. https://doi.org/10.1007/978-3-030-32213-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-32213-7_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32212-0
Online ISBN: 978-3-030-32213-7
eBook Packages: Computer ScienceComputer Science (R0)