350 rub
Journal Radioengineering №6 for 2017 г.
Article in number:
Testing automation for prototypes of programs implementing logical control functions
Type of article: scientific article
UDC: 004.415.53, 004.4’24
Keywords: software testing testing automation logical control systems model-driven development test-driven development.
Authors:

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

Abstract:

The paper considers an approach to testing automation, which integrates the results of several subject areas, including test-driven development, data-driven testing and model-driven development. We describe basic entities involved in testing automation process (such as input and output datasets, mappings and states) as well as different means for specification of these entities. We show an example of testing automation tools creation based on specification of the function that performs binary signal change events filtering.

Pages: 91-98
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).  
Date of receipt: 17 мая 2017 г.