Abstract
Modern financial systems have grown to the scale of global geographic distribution and latency requirements are measured in nanoseconds. Low-latency systems where reaction time is primary success factor and design consideration, are serious challenge to existing integration and system level testing techniques. While existing tools support prescribed input profiles they seldom provide enough reactivity to run the tests with simultaneous and interdependent input profiles at remote frontends. Additional complexities emerge due to severe timing constraints the tests have to meet when test navigation decision time ranges near the message propagation time. Sufficient timing conditions for remote online testing have been proven by Larsen et al. and implemented in \(\varDelta \)-testing method recently. We extend the \(\varDelta \)-testing by deploying testers on fully distributed test architecture. This approach reduces the test reaction time by almost a factor of two. We validate the method on a distributed time-sensitive global financial system case study.
J. Vain—Department of Computer Science, Tallinn University of Technology, Akadeemia tee 15A, 19086 Tallinn, Estonia; E-mail: juri.vain@ttu.ee.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Brook, A.: Evolution and practice: low-latency distributed applications in finance. Queue - Distrib. Comput. 13(4), 40–53 (2015). ACM, New York
Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Softw. Test. Verif. Reliab. 22(5), 297–312 (2012). Wiley, Chichester, UK
Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.): Model-Based Testing for Embedded Systems. CRC Press, Boca Raton (2011)
ISO. Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework - Parts 1–5. International Standard IS-9646. ISO, Geneve (1991)
Luo, G., Dssouli, R., v. Bochmann, G., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Comput. Stand. Interfaces 16(2), 119–132 (1994). Elsevier
Sarikaya, B., v. Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 389–395 (1984). IEEE Press, New York
Hierons, R.M., Merayo, M.G., Núñez, M.: Implementation relations and test generation for systems with distributed interfaces. Distrib. Comput. 25(1), 35–62 (2012). Springer
David, A., Larsen, K.G., Mikučionis, M., Nguena Timo, O.L., Rollet, A.: Remote testing of timed specifications. In: Yenigün, H., Yilmaz, C., Ulrich, A. (eds.) ICTSS 2013. LNCS, vol. 8254, pp. 65–81. Springer, Heidelberg (2013)
Vain, J., Kääramees, M., Markvardt, M.: Online testing of nondeterministic systems with reactive planning tester. In: Petre, L., Sere, K., Troubitsyna, E. (eds.) Dependability and Computer Engineering: Concepts for Software-Intensive Systems, pp. 113–150. IGI Global, Hershey (2012)
dTron - Extension of TRON for distributed testing. http://www.cs.ttu.ee/dtron
Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
Anier, A., Vain, J.: Model based continual planning and control for assistive robots. In: Proceedings of International Conference on Health Informatics, pp. 382–385. SciTePress, Setúbal (2012)
Bengtsson, J.E., Yi, W.: Timed automata: semantics, algorithms and tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets: Advances in Petri Nets. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Softw.-Concepts Tools 17(3), 103–120 (1996). Springer
Segala, R.: Quiescence, fairness, testing, and the notion of implementation. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 324–338. Springer, Heidelberg (1993)
Hessel, A., Larsen, K.G., Mikucionis, M., Nielsen, B., Pettersson, P., Skou, A.: Testing real-time systems using UPPAAL. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 77–117. Springer, Heidelberg (2008)
The Spread Toolkit. http://spread.org/
Kirilenko, A., Kyle, A., Samadi, M., Tuzun, T.: The flash crash: the impact of high frequency trading on an electronic market. In: Social Science Research Network (2015). http://www.cftc.gov/idc/groups/public/@economicanalysis/documents/file/oce_flashcrash0314.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Vain, J., Halling, E., Kanter, G., Anier, A., Pal, D. (2016). Model-Based Testing of Real-Time Distributed Systems. In: Arnicans, G., Arnicane, V., Borzovs, J., Niedrite, L. (eds) Databases and Information Systems. DB&IS 2016. Communications in Computer and Information Science, vol 615. Springer, Cham. https://doi.org/10.1007/978-3-319-40180-5_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-40180-5_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-40179-9
Online ISBN: 978-3-319-40180-5
eBook Packages: Computer ScienceComputer Science (R0)