Testing Context-Aware Applications Based on Bigraphical Modeling

doi:10.1109/TR.2016.2575444

CORC > 北京大学 > 软件与微电子学院

	Testing Context-Aware Applications Based on Bigraphical Modeling
	Yu, Lian ; Tsai, Wei-Tek ; Perrone, Gian
刊名	IEEE TRANSACTIONS ON RELIABILITY
	2016
关键词	Backward derivation model-driven testing modeling the environment of context-aware applications pattern-flow testing simulation testing with bigraphs SOFTWARE SYSTEMS
DOI	10.1109/TR.2016.2575444
英文摘要	Context-aware applications often consist of a middleware and a collection of services, and run autonomously adaptive to changing environments with sensors installed in physical facilities and end-users moving around. Testing such applications is challenging due to the complex interactions with the environments. This paper proposes a model-based testing approach that extends a bigraphical sorting predicate logic to specify constraints and create a meta-model, then builds a domain-specific model with static structures and dynamic behaviors based on the bigraphical meta-model, and uses the domain-specific model to describe the environments. Tracing the interactions between the environment model and the application model generates test cases to verify the interactions between the environments and applications. To decrease the number of test cases, this paper proposes a bigraphical pattern-flow testing and a backward-derivation testing. A case study of airport applications demonstrates the fault detection capabilities and reductions of test cases by comparing with other test strategies.; SCI(E); EI; ARTICLE; lianyu@ss.pku.edu.cn; wtsai36@gmail.com; gdpe@itu.dk; 3; 1584-1611; 65
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/491450]
专题	软件与微电子学院
推荐引用方式 GB/T 7714	Yu, Lian,Tsai, Wei-Tek,Perrone, Gian. Testing Context-Aware Applications Based on Bigraphical Modeling[J]. IEEE TRANSACTIONS ON RELIABILITY,2016.
APA	Yu, Lian,Tsai, Wei-Tek,&Perrone, Gian.(2016).Testing Context-Aware Applications Based on Bigraphical Modeling.IEEE TRANSACTIONS ON RELIABILITY.
MLA	Yu, Lian,et al."Testing Context-Aware Applications Based on Bigraphical Modeling".IEEE TRANSACTIONS ON RELIABILITY (2016).