Method of Symbolic Test Scenarios Automated Concretization
Described in the paper is an approach to symbolic test scenarios concretization in the scope of automated software verification and testing technology. Tools for automated concretization process based on user defied settings are presented.
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Ivannikov Institute for System Programming of the Russian Academy of Sciences
2018-10-01
|
| Series: | Труды Института системного программирования РАН |
| Subjects: | |
| Online Access: | https://ispranproceedings.elpub.ru/jour/article/view/640 |
| _version_ | 1818155230930403328 |
|---|---|
| author | Nikita V. Voinov Pavel D. Drobintsev Igor V. Nikiforov Vsevolod P. Kotlyarov Alexander V. Kolchin |
| author_facet | Nikita V. Voinov Pavel D. Drobintsev Igor V. Nikiforov Vsevolod P. Kotlyarov Alexander V. Kolchin |
| author_sort | Nikita V. Voinov |
| collection | DOAJ |
| description | Described in the paper is an approach to symbolic test scenarios concretization in the scope of automated software verification and testing technology. Tools for automated concretization process based on user defied settings are presented. |
| first_indexed | 2024-12-11T14:39:06Z |
| format | Article |
| id | doaj.art-fc03a599e6b54ffebef4f82fd08fa327 |
| institution | Directory Open Access Journal |
| issn | 2079-8156 2220-6426 |
| language | English |
| last_indexed | 2024-12-11T14:39:06Z |
| publishDate | 2018-10-01 |
| publisher | Ivannikov Institute for System Programming of the Russian Academy of Sciences |
| record_format | Article |
| series | Труды Института системного программирования РАН |
| spelling | doaj.art-fc03a599e6b54ffebef4f82fd08fa3272022-12-22T01:02:03ZengIvannikov Institute for System Programming of the Russian Academy of SciencesТруды Института системного программирования РАН2079-81562220-64262018-10-0127311512410.15514/ISPRAS-2015-27(3)-8640Method of Symbolic Test Scenarios Automated ConcretizationNikita V. Voinov0Pavel D. Drobintsev1Igor V. Nikiforov2Vsevolod P. Kotlyarov3Alexander V. Kolchin4Санкт-Петербургский Политехнический Университет Петра ВеликогоСанкт-Петербургский Политехнический Университет Петра ВеликогоСанкт-Петербургский Политехнический Университет Петра ВеликогоСанкт-Петербургский Политехнический Университет Петра ВеликогоИнститут кибернетики им.В.М.Глушкова НАН УкраиныDescribed in the paper is an approach to symbolic test scenarios concretization in the scope of automated software verification and testing technology. Tools for automated concretization process based on user defied settings are presented.https://ispranproceedings.elpub.ru/jour/article/view/640concretizationsymbolic behavior scenariosoftware testing |
| spellingShingle | Nikita V. Voinov Pavel D. Drobintsev Igor V. Nikiforov Vsevolod P. Kotlyarov Alexander V. Kolchin Method of Symbolic Test Scenarios Automated Concretization Труды Института системного программирования РАН concretization symbolic behavior scenario software testing |
| title | Method of Symbolic Test Scenarios Automated Concretization |
| title_full | Method of Symbolic Test Scenarios Automated Concretization |
| title_fullStr | Method of Symbolic Test Scenarios Automated Concretization |
| title_full_unstemmed | Method of Symbolic Test Scenarios Automated Concretization |
| title_short | Method of Symbolic Test Scenarios Automated Concretization |
| title_sort | method of symbolic test scenarios automated concretization |
| topic | concretization symbolic behavior scenario software testing |
| url | https://ispranproceedings.elpub.ru/jour/article/view/640 |
| work_keys_str_mv | AT nikitavvoinov methodofsymbolictestscenariosautomatedconcretization AT pavelddrobintsev methodofsymbolictestscenariosautomatedconcretization AT igorvnikiforov methodofsymbolictestscenariosautomatedconcretization AT vsevolodpkotlyarov methodofsymbolictestscenariosautomatedconcretization AT alexandervkolchin methodofsymbolictestscenariosautomatedconcretization |