Embedded software test model based on hierarchical state machine

Shunkun Yang; Guangwei Zhang; Qingpei Hu; Hong Kong

doi:10.1007/978-3-642-25789-6_38

Embedded software test model based on hierarchical state machine

Shunkun Yang
, Guangwei Zhang
, Qingpei Hu
, Hong Kong

School of Reliability and Systems Engineering

Research output: Contribution to journal › Conference article › peer-review

Abstract

A test model based on hierarchical state machine is proposed for embedded software testing in this paper. This state machine model shares the same characteristics of object-oriented methodology, such as encapsulation, delegation, and polymorphism. With consideration of model-based embedded software testing, the states and events of the model are analyzed. Also, a test state machine is designed and implemented, illustrated with a practical application example.

Original language	English
Pages (from-to)	261-267
Number of pages	7
Journal	Lecture Notes in Electrical Engineering
Volume	125 LNEE
Issue number	VOL. 2
DOIs	https://doi.org/10.1007/978-3-642-25789-6_38
State	Published - 2012
Event	2009 11th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2009 - Sydney, Australia Duration: 16 Dec 2009 → 18 Dec 2009

Keywords

Embedded software
Hierarchical state machine
Software testing

Access to Document

10.1007/978-3-642-25789-6_38

Cite this

@article{6781cdafdc434f5d9a027180cd28aaf8,

title = "Embedded software test model based on hierarchical state machine",

abstract = "A test model based on hierarchical state machine is proposed for embedded software testing in this paper. This state machine model shares the same characteristics of object-oriented methodology, such as encapsulation, delegation, and polymorphism. With consideration of model-based embedded software testing, the states and events of the model are analyzed. Also, a test state machine is designed and implemented, illustrated with a practical application example.",

keywords = "Embedded software, Hierarchical state machine, Software testing",

author = "Shunkun Yang and Guangwei Zhang and Qingpei Hu and Hong Kong",

year = "2012",

doi = "10.1007/978-3-642-25789-6\_38",

language = "英语",

volume = "125 LNEE",

pages = "261--267",

journal = "Lecture Notes in Electrical Engineering",

issn = "1876-1100",

publisher = "Springer Verlag",

number = "VOL. 2",

note = "2009 11th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2009 ; Conference date: 16-12-2009 Through 18-12-2009",

}

TY - JOUR

T1 - Embedded software test model based on hierarchical state machine

AU - Yang, Shunkun

AU - Zhang, Guangwei

AU - Hu, Qingpei

AU - Kong, Hong

PY - 2012

Y1 - 2012

N2 - A test model based on hierarchical state machine is proposed for embedded software testing in this paper. This state machine model shares the same characteristics of object-oriented methodology, such as encapsulation, delegation, and polymorphism. With consideration of model-based embedded software testing, the states and events of the model are analyzed. Also, a test state machine is designed and implemented, illustrated with a practical application example.

AB - A test model based on hierarchical state machine is proposed for embedded software testing in this paper. This state machine model shares the same characteristics of object-oriented methodology, such as encapsulation, delegation, and polymorphism. With consideration of model-based embedded software testing, the states and events of the model are analyzed. Also, a test state machine is designed and implemented, illustrated with a practical application example.

KW - Embedded software

KW - Hierarchical state machine

KW - Software testing

UR - https://www.scopus.com/pages/publications/84880647154

U2 - 10.1007/978-3-642-25789-6_38

DO - 10.1007/978-3-642-25789-6_38

M3 - 会议文章

AN - SCOPUS:84880647154

SN - 1876-1100

VL - 125 LNEE

SP - 261

EP - 267

JO - Lecture Notes in Electrical Engineering

JF - Lecture Notes in Electrical Engineering

IS - VOL. 2

T2 - 2009 11th IEEE International Conference on e-Health Networking, Applications and Services, Healthcom 2009

Y2 - 16 December 2009 through 18 December 2009

ER -

Embedded software test model based on hierarchical state machine

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this