A Research on an Effective Method for Embedded Software Testing

2014 ◽  
Vol 1003 ◽  
pp. 211-215
Author(s):  
Jing Cun Bi ◽  
Qi Li ◽  
Wen Hui Dou ◽  
Jian Feng Xu
Keyword(s):  
Key Words ◽  
Software Testing ◽  
Embedded Software ◽  
Real Case ◽  
Current Development ◽  
Flow Process ◽  
Testing Method ◽  
Methods And Techniques

This paper discusses and compares the current development of the methods and techniques of embedded software testing. A compromised and practical embedded software testing method, which is between intervention and non-intervention, is proposed and the flow process is provided as well. The method has been verified by a real-case experiment and the result is satisfactory. Key words: Embedded software; testing method

Embedded Software Formalization Testing Method and its Application in Missile-Borne Software

2014 ◽  
Vol 574 ◽  
pp. 646-650
Author(s):  
Ji Cun Ma ◽  
Xing Lin Qi ◽  
Jing Lv
Keyword(s):  
Software Testing ◽  
Formal Method ◽  
Unified Modeling Language ◽  
Embedded Software ◽  
Test Case ◽  
Unified Modeling ◽  
Testing Method ◽  
Finite State ◽  
Z Language ◽  
Collection Methods

The formal modeling method can accurately describe systems. Using formal method to test software improves the efficiency of software testing and it is comprehensive. Common real-time embedded software formal testing methods include Z language, finite state machine (FSM) and unified modeling language (UML), Petri net and time input/output automata (TIOA). This paper analyzes the characteristics of embedded software testing. The above formal methods and test case coverage criterions and test data collection methods are introduced. Combined with the characteristics of missile-borne software, this paper presents suitable ideas of testing missile-borne software.

scholarly journals Research on the Computer Software Testing Method Based on Multiple Platforms

2020 ◽  
Vol 2 (3) ◽  
Author(s):  
Yongfang Sun ◽  
Jianjun Li
Keyword(s):  
Software Development ◽  
Software Testing ◽  
Computer Software ◽  
Test Accuracy ◽  
Testing Methods ◽  
Modern Life ◽  
Testing Method ◽  
Software Companies ◽  
And Control

Informationization plays an important role in modern life and production. And various software is one of the bases for it. Before it goes into service, software needs to go through many steps, including software development, design, etc. In software development, test is the key to identify and control bugs and errors in the software. Therefore, software companies often test the software to ensure that it is qualified. In recent years, more attention has been paid to a multi-platform computer software testing method, which can make up for defects in traditional testing methods to improve test accuracy. Firstly, this paper illustrates the connotation and features of software testing. Secondly, common software testing platforms and their requirements are analyzed. Finally, this paper proposes software testing method based on multiple platforms.

On the Application of Automated Software Testing Techniques to the Development and Maintenance of Speech Recognition Systems

2012 ◽  
pp. 30-48
Author(s):  
Daniel Bolanos
Keyword(s):  
Speech Recognition ◽  
Software Testing ◽  
Automatic Speech Recognition ◽  
Automated Testing ◽  
Automated Software Testing ◽  
Testing Framework ◽  
Methods And Techniques ◽  
Testing Techniques ◽  
Recognition Systems ◽  
Automated Software

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.

Sign in / Sign up

Export Citation Format

Share Document