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

Simple item page
dc.contributor.advisorOffutt, Jeff
dc.contributor.authorGuan, Jing
dc.creatorGuan, Jing
dc.date.accessioned2015-09-14T14:21:58Z
dc.date.available2015-09-14T14:21:58Z
dc.date.issued2015
dc.description.abstractThe 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.extent151 pages
dc.identifier.urihttps://hdl.handle.net/1920/9876
dc.language.isoen
dc.rightsCopyright 2015 Jing Guan
dc.subjectComputer engineering
dc.subjectInformation technology
dc.subjectComponent-based software engineering
dc.subjectIntegration testing
dc.subjectModel-based testing
dc.subjectReal-time embedded systems
dc.subjectSoftware testing
dc.subjectUML model
dc.titleA Model-Based Testing Technique for Component-Based Real-Time Embedded Systems
dc.typeDissertation
thesis.degree.disciplineInformation Technology
thesis.degree.grantorGeorge Mason University
thesis.degree.levelDoctoral

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Guan_gmu_0883E_10903.pdf
Size:
24.27 MB
Format:
Adobe Portable Document Format
Download

Collections

College of Engineering and Computing