Skip to main content
SpringerLink
Log in

A formal approach to test scenarios generation based on guides

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

The paper provides an overview of a guide-based automated technology of test scenario generation which allows for a substantial increase of the quality of software being developed. To justify the creation of this technology, major problems of development and testing of large industrial systems are described along with a technique of verification of software compliance with the requirements. The tools capabilities in automated and semi-automated test suite generation from a formal model in UCM and means for verification and test automation are demonstrated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Baranov, S., Kotlyarov, V., and Letichevsky, A., Industrial technology of mobile device testing automation on the base of verifizired behavior models of design requirement specifications, Proc. Int. Sci. Conf. “Cosmos, Astronomy and Programming”, St. Peterb.: St. Peterb. Gos. Univ., 2008, pp. 134–145

    Google Scholar 

  2. Karpov, Yu.G., Theory of Automates, St. Peterb. Piter, 2003.

    Google Scholar 

  3. Baranov, S., Kotlyarov, V., Letichevsky, A., and Drobintsev, P., The technology of automation verification and testing in industrial projects, Proc. St. Petersburg IEEE Chapter, Int. Conf., St. Petersburg, 2005, pp. 81–86.

    Google Scholar 

  4. Z.151: User Requirements Notation (URN) — Language Definition. http://www.itu.int/rec/T-REC-Z.151-200811-I/en

  5. Letichevsky, A., Kapitonova, J., Letichevsky, A., Jr., Volkov, V., Baranov, S., Kotlyarov, V., and Weigert, T., Basic protocols, message sequence charts, and verification of requirement specifications, Proc. ISSRE04 Workshop on Integrated-Reliability with Telecommunications and UML Languages (ISSRE04:WITUL), 2004. IRISA, Rennes, France, 2004, pp. 30–38.

    Google Scholar 

  6. Digital Video Broadcasting (DVB). DVB-S2 Adaptive Coding and Modulation for Broadband Hybrid Satellite Dialup Applications, http://www.etsi.org/deliver/etsi-ts/102400-102499/102441/01.01.01-60/ts-102441v010101p.pdf

  7. Letichevskii, A.A. and Kolchin, A.V., Generation of testing scenario on the base of formal model, Probl. Programuv., 2010, nos. 2–3, pp. 209–215.

    Google Scholar 

  8. Baranov, S., Kotlyarov, V., and Weigert, T., Verifiable coverage criteria for automated testing, DL2011: Integrating System and Software Modeling, Lect. Notes Compt. Sci., 2012, vol. 7083, pp. 79–89.

    Article  Google Scholar 

  9. Anureev, I.S., Baranov, S.N., Beloglazov, D.M., Bodin, E.V., Drobintsev, P.D., Kolchin, A.V., Kotlyarov, V.P., Letichevskii, A.A., Letichevskii, A.A., Jr., Nepomnyashchii, V.A., Nikiforov, I.V., Potienko, S.V., Prijma, L.V., and Tyutin, B.V., Tools of integrated technology for analysis and verification of telecom application specs, Trudy St. Petersb. Inst. Inform. Automat. Ross. Akad. Nauk, 2013, no. 3, pp. 349–383.

    Google Scholar 

  10. Drobintsev, P.D., Kotlyarov, V.P., and Chernorutskii, I.G., Automation of testing on the base of covering of user scenario, Nauchno-Tekhnich. Vedom. St. Peterb. Gos. Politekh. Univ., 2012, no. 4, pp. 123–126.

    Google Scholar 

  11. Recommendation ITU-T Z. 120. Message Sequence Chart (MSC), 11/2000.

Download references

Author information

Authors and Affiliations

  1. Saint-Petersburg State Polytechnic University, St. Petersburg, Russia

    P. D. Drobintsev & V. P. Kotlyarov

  2. Glushkov Institute of Cybernetics, Kiev, Ukraine

    A. A. Letichevsky

Authors
  1. P. D. Drobintsev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. P. Kotlyarov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. A. Letichevsky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. P. Kotlyarov.

Additional information

Published in Russian in Modelirovanie i Analiz Informatsionnykh Sistem, 2013, No. 6, pp. 64–77.

The article was translated by the authors.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Drobintsev, P.D., Kotlyarov, V.P. & Letichevsky, A.A. A formal approach to test scenarios generation based on guides. Aut. Control Comp. Sci. 48, 415–423 (2014). https://doi.org/10.3103/S0146411614070062

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411614070062

Keywords

Search

Navigation