TY - GEN
T1 - Testing inter-layer and inter-task interactions in RTES applications
AU - Sung, Ahyoung
AU - Srisa-an, Witawas
AU - Rothermel, Gregg
AU - Yu, Tingting
PY - 2010
Y1 - 2010
N2 - Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques could improve the dependability of these systems. In this paper we present an approach for testing RTESs, intended specifically to help RTES application developers detect faults related to functional correctness. Our approach consists of two techniques that focus on exercising the interactions between system layers and between the multiple user tasks that enact application behaviors. We present results of an empirical study that shows that our techniques are effective at detecting faults.
AB - Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques could improve the dependability of these systems. In this paper we present an approach for testing RTESs, intended specifically to help RTES application developers detect faults related to functional correctness. Our approach consists of two techniques that focus on exercising the interactions between system layers and between the multiple user tasks that enact application behaviors. We present results of an empirical study that shows that our techniques are effective at detecting faults.
UR - http://www.scopus.com/inward/record.url?scp=79951760057&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=79951760057&partnerID=8YFLogxK
U2 - 10.1109/APSEC.2010.38
DO - 10.1109/APSEC.2010.38
M3 - Conference contribution
AN - SCOPUS:79951760057
SN - 9780769542669
T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC
SP - 260
EP - 269
BT - Proceedings - 17th Asia Pacific Software Engineering Conference
T2 - 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010
Y2 - 30 November 2010 through 3 December 2010
ER -