The testing approach of embedded real-time automatic control software based on control objects

Author

Xiao, Litian ; Gu, Ming ; Sun, Jiaguang

Author_Institution

Comput. Sci. & Technol. Dept., Tsinghua Univ., Beijing

fYear

2008

fDate

25-27 June 2008

Firstpage

4178

Lastpage

4183

Abstract

According to testing embedded real-time software (ERTS) of programmable logic controller (PLC), the paper summarizes the present researches of PLC ERTSpsila test. It analyses concretely the technologies including static test or verification, testing in real environment and simulation environment, and testing by hardware checker or code instrumentation. An agent-oriented software testing model is presented for solving the existing problems of these methods in testing PLC ERTS. The architecture of the model is introduced from structure, frame and work pattern. Based on the model the automatic test of PLC ERTS can be realized in simulation environment.

Keywords

embedded systems; program testing; program verification; programmable controllers; agent-oriented software testing; code instrumentation; embedded real-time automatic control software; embedded real-time software; hardware checker; programmable logic controller; simulation environment; static test; Analytical models; Automatic control; Automatic testing; Computer architecture; Embedded software; Hardware; Instruments; Logic testing; Programmable control; Software testing; Agent-Orient Model; Automatic Control System; Embedded Real-Time Software; Software Test;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control and Automation, 2008. WCICA 2008. 7th World Congress on

Conference_Location

Chongqing

Print_ISBN

978-1-4244-2113-8

Electronic_ISBN

978-1-4244-2114-5

Type

conf

DOI

10.1109/WCICA.2008.4593594

Filename

4593594