Radiotekhnika
Publishing house Radiotekhnika

"Publishing house Radiotekhnika":
scientific and technical literature.
Books and journals of publishing houses: IPRZHR, RS-PRESS, SCIENCE-PRESS


Тел.: +7 (495) 625-9241

 

Testing automation for prototypes of programs implementing logical control functions

Keywords:

V.N. Negoda – Dr. Sc. (Eng.), Associate Professor, Professor, Department «Computer Engineering», Ulyanovsk State Technical University
E-mail: nvn@ulstu.ru
V.A. Folunin – Post-graduate Student, Department «Computer Engineering», Ulyanovsk State Technical University
E-mail: v.folunin@ulstu.ru


The early stages of logical control functions design and development are often related to a constant updating of functions specifications. The complexity and fallibility of this process can be significantly reduced by prototyping based on the integration of test-driven development, data-driven testing and model-driven development technologies. The use of model-driven development improves the accuracy and completeness of specifications through formalization. The artifacts of such formalization increase the productivity of the quality assurance specialists and prototype developers. For a significant part of the logical control functions, it is possible to transform the formal specifications into either test scenarios or test input and output data sets descriptions. This is possible via the use of logical-algebraic and automaton models.
The paper outlines the approach to logical control functions testing automation, describes the basic formalisms for the implementation of model-driven development technology and presents the tests generation mechanisms based on these formalisms. We also consider an example of creating a prototype of the function that filters the binary signal change events. We describe the formal specification of the function, as well as the basic rules of test generation and test scenarios.

References:
  1. Majers G., Badzhett T., Sandler K. Iskusstvo testirovaniya programm. Izd. 3-e. M.: Dialektika. 2016. 272 s.
  2. Zhuravlev S.S., Okol'nishnikov V.V., Rudometov S.V. Instrumental'ny'e sredstva otladki i testirovaniya programm upravleniya ASU TP // Aktual'ny'e problemy' gumanitarny'x i estestvenny'x nauk. 2016. № 2. S. 49−54.
  3. Kontrollery' DirectLOGIC. Osnovy' programmirovaniya. URL = https://www.plcsystems.ru/catalog/DirectLOGIC_2/doc/BaseRLL.pdf (data obrashheniya 20.04.2017).
  4. Petrov I.V. Programmiruemy'e kontrollery'. Standartny'e yazy'ki i priemy' prikladnogo proektirovaniya / Pod red. prof. V.P. D'yakonova. M.: SOLON-Press. 2004. 256 s.
  5. Finite State Machine Language 0.1.2. URL = http://finite-state-machine-language.soft112.com (data obrashheniya 20.04.2017).
  6. Korneev G.A., Shamgunov N.N., Shaly'to A.A. Yazy'k State Machine – rasshirenie yazy'ka Java dlya e'ffektivnoj realizaczii avtomatov // Informaczionno-upravlyayushhie sistemy'. 2005. № 1. S. 16−24.
  7. Bek K. E'kstremal'noe programmirovanie: razrabotka cherez testirovanie. SPb.: Piter. 2003. 224 s.
  8. Data Driven Testing. URL = https://docs.microsoft.com/ru-ru/windows-hardware/drivers/taef/data-driven-testing (20.04.2017).
  9. Parviainen P., Takalo J., Teppola S., Tihinen M. Model-Driven Development. Process and practices. URL = http://www.vtt.fi/inf/pdf/workingpapers/2009/ W114.pdf (data obrashheniya 20.04.2017).
  10. E'liens A. Princzipy' ob''ektno-orientirovannoj razrabotki programm. Izd. 2-e. M.: Vil'yams. 2002. 496 s.
  11. Tucker J., Zucker J. Computable functions and semicomputable sets on many sorted algebras // Handbook of Logic in Computer Science. 2000. V. 5. P. 317−523.
  12. Shaly'to A.A., Tukkel' N.I. SWITCH-texnologiya – avtomatny'j podxod k sozdaniyu programmnogo obespecheniya «reaktivny'x» sistem // Programmirovanie. 2001. № 5. S. 45−62.
  13. Kapitonova Yu.V., Letichevskij A.A. Matematicheskaya teoriya proektirovaniya vy'chislitel'ny'x sistem. M.: Nauka. 1988. 296 s.
  14. Negoda V.N. Unifikacziya proektny'x reshenij pri avtomatnom programmirovanii sistem logicheskogo upravleniya // Avtomatizacziya proczessov upravleniya. 2014. № 3. S. 103−111.
  15. Modul' «Digital inputs filter». Rukovodstvo pol'zovatelya. URL = http://www.aggsoft.ru/log-monitor/plugins/adamdio.pdf (data obrashheniya 20.04.2017).
  16. Testlib. URL = https://github.com/MikeMirzayanov/testlib (data obrashheniya 20.04.2017).
June 24, 2020
May 29, 2020

© Издательство «РАДИОТЕХНИКА», 2004-2017            Тел.: (495) 625-9241                   Designed by [SWAP]Studio