Preview

Труды Института системного программирования РАН

Расширенный поиск

Техника плоских схем для тестирования встроенных операционных систем

https://doi.org/10.15514/ISPRAS-2017-29(5)-5

Полный текст:

Аннотация

Современные автоматические устройства все чаще оснащаются микроконтроллерами. Логика работы автоматического оборудования поддерживается рядом различных встроенных программных приложений, которые выполняются под управлением встроенной операционной системы реального времени (ОС). Надежность ОС чрезвычайно важна для правильной работы всей автоматической системы. Поэтому встроенную ОС следует тщательно тестировать с помощью соответствующего набора автоматических тестов. Такой набор тестов для тестирования встроенной ОС обычно организуется как набор многозадачных тестовых приложений, которые должны выполняться под управлением данных. В статье представлены специальный язык для определения соответствующей логики задачи тестирования и концепция плоских съем для эффективного выполнения тестирования встроенной ОС. Чтобы избежать интенсивной интерпретации текстовых строк во время тестового прогона, предварительно образуется специальное представление теста, в котором исходная строковая форма преобразуется в форму регулярного массива и, таким образом, повышается эффективность тестирования. Ключевые слова: встроенные приложения; операционные системы; тестирование программного обеспечения; системы реального времени

Об авторах

В. В. Никифоров
Санкт-Петербургский институт информатики и автоматизации Российской академии наук
Россия


С. Н. Баранов
Санкт-Петербургский институт информатики и автоматизации Российской академии наук
Россия


Список литературы

1. Li Q., Yao C. Real-time concepts for embedded systems. CRC Press (2003).

2. Thane H., Hansson H. Testing distributed real-time systems. Microprocessors and Mi-crosystems 24(9), 463–478 (2001).

3. Desikan S. Software testing: principles and practice. Pearson Education India (2006).

4. Myers G.J., Sandler C., Badgett T. The art of software testing. 3rd Edition. John Wiley & Sons, New York (2011).

5. Hailpern B., Santhanam P. Software debugging, testing, and verification. IBM Systems Journal 41(1), 4–12 (2002).

6. Brodie L. Thinking Forth. Punchy Pub (2004).

7. Biswal B. N. Pragyan N., Durga P. M. A novel approach for scenario-based test case generation. In: International Conference on Information Technology 2008 (ICIT'08). IEEE, (2008).

8. Lefticaru R., Florentin I. Automatic state-based test generation using genetic algorithms. In: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007)

9. Comer D. Operating System Design: The Xinu Approach, 2nd Edition. – Boca Raton: CRC Press, Taylor & Francis Group, 668 p. (2015).


Для цитирования:


Никифоров В.В., Баранов С.Н. Техника плоских схем для тестирования встроенных операционных систем. Труды Института системного программирования РАН. 2017;29(5):75-92. https://doi.org/10.15514/ISPRAS-2017-29(5)-5

For citation:


Nikiforov V.V., Baranov S.N. A Flat Chart Technique for Embedded OS Testing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(5):75-92. https://doi.org/10.15514/ISPRAS-2017-29(5)-5

Просмотров: 63


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)