Abstract
In this article, an approach of getting verified test scenarios for developed software system without losing the model’s semantics is proposed. Existing problem of generating test cases for real software systems is solved by using multi-level paradigm to obtain the real system signals, transactions and states. The execution of test scenarios is performed using the supercomputer, where each test scenario runs on its own computing node. In this paper, a software tool consisting of several modules is suggested for detailing test scenarios and distributing them on compute nodes. Process of translating abstract data structures into detailed data structures used in system implementation is presented with examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Model Driven Architecture-MDA (2007). http://www.omg.org/mda
Pastor, O., España, S., Panach, J.I., Aquino, N.: Model-driven development. Informatik Spektrum 31(5), 394–407 (2008)
Beydeda, S., Book, M., Gruhn, V.: Model Driven Software Development, 464 p. Springer, Heidelberg (2005). https://doi.org/10.1007/3-540-28554-7
Baranov, S., Kotlyarov, V., Weigert, T.: Verifiable coverage criteria for automated testing. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 79–89. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25264-8_8
Binder, R.V., Kramer, A., Legeard, B.: 2014 Model-Based Testing User Survey: Results (2014). http://model-based-testing.info/wordpress/wp-content/uploads/2014_MBT_User_Survey_Results.pdf
Buhr, R.J.A., Casselman, R.S.: Use Case Maps for Object-Oriented Systems, 302 p. Prentice Hall, New Jersey (1995)
Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.: Insertion modeling in distributed system design. Problems Program. 4, 13–39 (2008). ISSN 1727-4907
Anureev, I., Baranov, S., Beloglazov, D., Bodin, E., Drobintsev, P., Kolchin, A., Kotlyarov, V., Letichevsky, A., Letichevsky Jr., A., Nepomniaschy, V., Nikiforov, I., Potienko, S., Pryima, L., Tyutin, B.: Tools for supporting integrated technology of analysis and verification of specifications for telecommunication applications SPIIRAN works №1-28p. (2013)
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580, 583 (1969)
Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky, O.O., Volkov, V.V., Baranov, S.N., Weigert, T.: Basic protocols, message sequence charts, and the verification of requirements specifications. In: Proceedings of ISSRE04 Workshop on Integrated Reliability Engineering (ISSRE04:WITUL), IRISA, Rennes, France (2004)
Drobintsev, P., Kotlyarov, V., Nikiforov, I., Letichevsky, A.: A formal approach for generation of test scenarios based on guides. In: 5th Workshop “Program Semantics, Specification and Validation: Theory and Applications” Yekaterinburg. Russia, 24 June 2013, pp. 31–41 (2013)
Kolchin, A.V., Razrabotka instrumentalnykh sredstv dlya proverki formalnykh modeley asinkhronnykh sistem: Dis. … kand. fiz.-mat. nauk. Kiev, 140 s (2009)
Kolchin, A., Letichevsky, A., Peschanenko, V., Drobintsev, P., Kotlyarov, V.: Approach to creating concretized test scenarios within test automation technology for industrial software projects. In: Automatic Control and Computer Sciences, vol. 47, #7, pp. 433–442. Allerton Press, Inc., New York (2013)
ITU-T Z.120: Message Sequence Chart (MSC)
Amdahl, G.M.: “Validity of the Single Processor Approach to Achieving Large-Scale Computing Capabilities” (PDF). In: AFIPS Conference Proceedings, vol. 30, pp. 483–485 (1967). https://doi.org/10.1145/1465482.1465560
SPBSTU HPC Center Open Day. http://www.spbstu.ru/media/news/nauka_i_innovatsii/spbspu-open-day-supercomputer-center-polytechnic/
Creating “Polytechnic RSC Tornado” supercomputer for St. Petersburg State Polytechnical University. http://www.rscgroup.ru/ru/our-projects/240-sozdanie-superkompyutera-politehnik-rsk-tornado-dlya-spbpu
Jette, M., Grondona, M.: SLURM: simple linux utility for resource management. In: ClusterWorld Conference and Expo, 23 June 2003
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Kotlyarov, V., Drobintsev, P., Voinov, N., Selin, I., Tolstoles, A. (2018). Technology and Tools for Developing Industrial Software Test Suites Based on Formal Models and Implementing Scalable Testing Process on Supercomputer. In: Itsykson, V., Scedrov, A., Zakharov, V. (eds) Tools and Methods of Program Analysis. TMPA 2017. Communications in Computer and Information Science, vol 779. Springer, Cham. https://doi.org/10.1007/978-3-319-71734-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-71734-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-71733-3
Online ISBN: 978-3-319-71734-0
eBook Packages: Computer ScienceComputer Science (R0)