دورية أكاديمية
An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects
العنوان: | An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects |
---|---|
المؤلفون: | A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov |
المصدر: | Моделирование и анализ информационных систем, Vol 19, Iss 6, Pp 79-91 (2012) |
بيانات النشر: | Yaroslavl State University, 2012. |
سنة النشر: | 2012 |
المجموعة: | LCC:Information technology |
مصطلحات موضوعية: | символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер, Information technology, T58.5-58.64 |
الوصف: | 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. |
نوع الوثيقة: | article |
وصف الملف: | electronic resource |
اللغة: | English Russian |
تدمد: | 1818-1015 2313-5417 |
Relation: | http://mais-journal.ru/jour/article/view/141; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417 |
URL الوصول: | https://doaj.org/article/659f72f0ac5546bba2437039baea60cf |
رقم الأكسشن: | edsdoj.659f72f0ac5546bba2437039baea60cf |
قاعدة البيانات: | Directory of Open Access Journals |
تدمد: | 18181015 23135417 |
---|