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
dc.contributor.author Guan, Jing
dc.creator Guan, Jing
dc.date.accessioned 2015-09-14T14:21:58Z
dc.date.available 2015-09-14T14:21:58Z
dc.date.issued 2015
dc.identifier.uri http://hdl.handle.net/1920/9876
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
dc.subject Information technology
dc.subject Component-based software engineering
dc.subject Integration testing
dc.subject Model-based testing
dc.subject Real-time embedded systems
dc.subject Software testing
dc.subject UML model
dc.title A Model-Based Testing Technique for Component-Based Real-Time Embedded Systems
dc.type Dissertation en
thesis.degree.level Doctoral en
thesis.degree.discipline Information Technology en
thesis.degree.grantor George Mason University en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search MARS


Browse

My Account

Statistics