Research on Embedded Software Testing Framework Based on Formal Specification

Author(s):  
Kai Qin ◽  
Tao Zhang ◽  
Zhengyi Shuai ◽  
Jingbo Zhang ◽  
Xu Mao
Author(s):  
Daniel Bolanos

This chapter provides practitioners in the field with a set of guidelines to help them through the process of elaborating an adequate automated testing framework to competently test automatic speech recognition systems. Through this chapter the testing process of such a system is analyzed from different angles, and different methods and techniques are proposed that are well suited for this task.


2010 ◽  
Vol 143-144 ◽  
pp. 152-155
Author(s):  
Yong Feng Yin ◽  
Bin Liu ◽  
Hong Ying Ni

At present, the automated real-time embedded software testing is a hot topic. Automated testing is essentially based on user programming and how to build test script quickly and effectively is one of the key problems to be resolved. In this paper, the object-oriented and framework technologies are introduced into the real-time embedded software testing field and the real-time testing object framework (RT-TOF) is studied firstly. And then, the test script generation process based on RT-TOF is proposed. Furthermore, the design of RT-TOF is put forward. Finally, the test script sample of the avionics embedded software system testing is given. Practical application of RT-TOF in engineering shows that the method proposed in this paper can improve the efficiency of automated testing greatly and the test script based on RT-TOF has better maintainability and reusability.


Sign in / Sign up

Export Citation Format

Share Document