RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2014, Volume 21, Number 6, Pages 144–154 (Mi mais419)  

Incremental approach to the technology of test design for industrial projects

P. D. Drobintseva, V. P. Kotlyarova, I. V. Nikiforova, A. A. Letichevskyb

a St. Petersburg State Polytechnical University, Polytechnicheskaya st., 29, St. Petersburg, 195251, Russia
b Glushkov Institute of Cybernetic of NAS of Ukraine, Glushkova av., 40, Kyiv, 03187, Ukraine

Abstract: The paper presents an approach to effort reduction in developing test suites for industrial software products based on the incremental technology. The main problems to be solved by the incremental technology are full automation design of test scenarios and significant reducing of test explosion. The proposed approach provides solutions to the mentioned problems through joint co-working of a designer and a customer, through the integration of symbolic verification with the automatic generation of test suites; through the usage of an efficient technology with the toolset VRS/TAT.

Keywords: model driven testing, integrated verification and testing, automation design of test scenarios, reducing of test explosion.

Full text: PDF file (1070 kB)
References: PDF file   HTML file
UDC: 004.415
Received: 30.09.2014

Citation: P. D. Drobintsev, V. P. Kotlyarov, I. V. Nikiforov, A. A. Letichevsky, “Incremental approach to the technology of test design for industrial projects”, Model. Anal. Inform. Sist., 21:6 (2014), 144–154

Citation in format AMSBIB
\Bibitem{DroKotNik14}
\by P.~D.~Drobintsev, V.~P.~Kotlyarov, I.~V.~Nikiforov, A.~A.~Letichevsky
\paper Incremental approach to the technology of test design for industrial projects
\jour Model. Anal. Inform. Sist.
\yr 2014
\vol 21
\issue 6
\pages 144--154
\mathnet{http://mi.mathnet.ru/mais419}


Linking options:
  • http://mi.mathnet.ru/eng/mais419
  • http://mi.mathnet.ru/eng/mais/v21/i6/p144

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Number of views:
    This page:123
    Full text:39
    References:22

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020