Mason Archival Repository Service

A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems

Show simple item record

dc.contributor.advisor Offutt, Jeff Guan, Jing
dc.creator Guan, Jing 2015-09-14T14:21:58Z 2015-09-14T14:21:58Z 2015
dc.description.abstract The growing complexity of modern real-time embedded systems makes component-based software engineering (CBSE) technology more desirable. Although many ideas have been proposed for building component-based real-time embedded software, techniques for testing component-based real-time systems have not been well developed. A typical component-based embedded system consists of multiple user tasks, as well as hardware, middleware and software layers. Interaction problems between different components can cause system failures in field applications. The challenges not only come from the integration of multiple components through their interfaces, but also include the composition of extra-functional properties. A real-time embedded system needs to achieve its functionality under the constraints caused by its extra-functional properties. Since the time at which the system actions take place is important, correct functional behavior with regard to timing properties is essential to real-time embedded systems. Therefore, this research is intended to help detect both functional and temporal faults during the integration of component-based real-time embedded software.
dc.format.extent 151 pages
dc.language.iso en
dc.rights Copyright 2015 Jing Guan
dc.subject Computer engineering en_US
dc.subject Information technology en_US
dc.subject Component-based software engineering en_US
dc.subject Integration testing en_US
dc.subject Model-based testing en_US
dc.subject Real-time embedded systems en_US
dc.subject Software testing en_US
dc.subject UML model en_US
dc.title A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems
dc.type Dissertation en Doctoral en Information Technology en George Mason University en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search MARS


My Account