A Flat Chart Technique for Embedded OS Testing
https://doi.org/10.15514/ISPRAS-2017-29(5)-5
Abstract
Modern automatic devices are more and more equipped with microcontroller units. The logic of work of the automatic equipment is supported by a number of various embedded software applications, which run under an embedded real-time operating system (OS). The OS reliability is extremely important for correct functionality of the whole automatic system. Therefore, the embedded OS should be tested thoroughly with an appropriate automated test suite. Such test suite for testing of an embedded OS is usually organized as a set of multi-task test applications to be executed in a data-driven manner. The paper features a special language to define the respective testing task logic and the concept of flat charts to efficiently perform an embedded OS execution-based testing. To avoid heavy interpreting of text strings during the test run, the respective test presentation is pre-processed in order to convert the initial string form into a regular array form and thus to increase its efficiency.
About the Authors
V. V. Nikiforov
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences
Russian Federation
Russian Federation
S. N. Baranov
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences
Russian Federation
Russian Federation
References
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).
Review
For citations:
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
Email this article 