An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
<p>In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for conc...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2012-01-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | http://mais-journal.ru/jour/article/view/141 |
| _version_ | 1828078895728951296 |
|---|---|
| author | A. V. Kolchin A. A. Letichevsky V. S. Peschanenko P. D. Drobintsev V. P. Kotlyarov |
| author_facet | A. V. Kolchin A. A. Letichevsky V. S. Peschanenko P. D. Drobintsev V. P. Kotlyarov |
| author_sort | A. V. Kolchin |
| collection | DOAJ |
| description | <p>In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for concretized traces, and also includes tools for analysis of the testing results, allowing users to automate the full cycle of testing. Particular emphasis is placed on the presentation of the algorithm concretization and setting of test scenarios.</p> |
| first_indexed | 2024-04-11T02:54:07Z |
| format | Article |
| id | doaj.art-659f72f0ac5546bba2437039baea60cf |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2024-04-11T02:54:07Z |
| publishDate | 2012-01-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-659f72f0ac5546bba2437039baea60cf2023-01-02T15:46:15ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172012-01-011967991135An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software ProjectsA. V. Kolchin0A. A. Letichevsky1V. S. Peschanenko2P. D. Drobintsev3V. P. Kotlyarov4Институт кибернетики им. В.М. Глушкова НАН УкраиныИнститут кибернетики им. В.М. Глушкова НАН УкраиныИнститут кибернетики им. В.М. Глушкова НАН УкраиныСанкт-Петербургский государственный политехнический университетСанкт-Петербургский государственный политехнический университет<p>In this paper we propose an approach to efficient automating test technology for industrial software projects, that uses a formal model of the system, automatically performs a symbolic verification, generation and concretization of the symbolic traces, the generation of test suites for concretized traces, and also includes tools for analysis of the testing results, allowing users to automate the full cycle of testing. Particular emphasis is placed on the presentation of the algorithm concretization and setting of test scenarios.</p>http://mais-journal.ru/jour/article/view/141символьная верификацияавтоматизация тестированияконкретизация тестовых сценариевпредикатный трансформер |
| spellingShingle | A. V. Kolchin A. A. Letichevsky V. S. Peschanenko P. D. Drobintsev V. P. Kotlyarov An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects Моделирование и анализ информационных систем символьная верификация автоматизация тестирования конкретизация тестовых сценариев предикатный трансформер |
| title | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects |
| title_full | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects |
| title_fullStr | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects |
| title_full_unstemmed | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects |
| title_short | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects |
| title_sort | approach to concretization of test scenarios in industrial automation testing of software projects |
| topic | символьная верификация автоматизация тестирования конкретизация тестовых сценариев предикатный трансформер |
| url | http://mais-journal.ru/jour/article/view/141 |
| work_keys_str_mv | AT avkolchin anapproachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT aaletichevsky anapproachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT vspeschanenko anapproachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT pddrobintsev anapproachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT vpkotlyarov anapproachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT avkolchin approachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT aaletichevsky approachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT vspeschanenko approachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT pddrobintsev approachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects AT vpkotlyarov approachtoconcretizationoftestscenariosinindustrialautomationtestingofsoftwareprojects |