Context-sensitive middleware-based software is an emerging kind of ubiquitous computing application. The components of such software communicate proactively among themselves according to the situational attributes of their environments, known as the “contexts”. The actual process of accessing and updating the contexts lies with the middleware. The latter invokes the relevant local and remote operations whenever any context inscribed in the situation-aware interface is satisfied. Since the applications operate in a highly dynamic environment, the testing of ∗ c ○ 2004 IEEE. This material is presented to ensure timely dissemination of scholarly and technical work. Personal use of this material is permitted. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse anyrcopyrighted component of this work in other works must be obtained from the IEEE.
|
993
|
The Z notation: a reference manual
– Spivey
- 1992
|
|
424
|
Some computer science issues in ubiquitous computing
– Weiser
- 1993
|
|
167
|
Charting past, present and future research in ubiquitous computing
– Abowd, Mynatt
- 2000
|
|
149
|
Software unit test coverage and adequacy
– Zhu, Hall, et al.
- 1997
|
|
147
|
An applicable family of data flow testing criteria
– Frankl, Weyuker
- 1988
|
|
138
|
Developing Multiagent Systems: The Gaia Methodology
– Zambonelli, Jennings, et al.
- 2003
|
|
116
|
LIME: Linda meets mobility
– Picco, Murphy, et al.
- 1999
|
|
77
|
Reliability of the path analysis testing strategy
– Howden
- 1976
|
|
64
|
On testing non-testable programs
– Weyuker
- 1982
|
|
57
|
S.Gupta: Reconfigurable Context-Sensitive Middleware for Pervasive Computing
– Yau, Karim, et al.
|
|
54
|
XMIDDLE: A Data-Sharing Middleware for Mobile Computing
– Mascolo, Capra, et al.
- 2002
|
|
43
|
Engineering Mobile Agent Applications via Context-dependent Coordination
– Cabri, Leonardi, et al.
- 2002
|
|
43
|
Landmarc: Indoor location sensing using active RFID
– Ni, Liu, et al.
- 2003
|
|
28
|
Supporting CORBA Applications in a Mobile environment
– Haahr, Cunningham, et al.
- 1999
|
|
24
|
Context-aware middleware for resource management in the wireless internet
– Bellavista, Corradi, et al.
|
|
23
|
MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing
– Chan, Chuang
- 2003
|
|
22
|
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
– Carver, Tai
- 1998
|
|
17
|
Designing mobile commerce applications
– Tarasewich
- 2003
|
|
17
|
A Testing Framework for Mobile Computing Software
– Satoh
- 2003
|
|
14
|
Development of SituationAware Application Software for Ubiquitous Computing Environments
– Yau
|
|
14
|
Testing and demonstrating context-aware services with Quake III
– Bylund, Espinoza
- 2002
|
|
13
|
Metamorphic testing: a new approach for generating next test cases
– Chen, Cheung, et al.
- 1998
|
|
13
|
Fault-based testing without the need of oracles
– Chen, Tse, et al.
|
|
13
|
An Adaptive Middleware for ContextSensitive Communications for Real-time Applications
– Yau, Karim
|
|
12
|
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing
– Chen, Tse, et al.
- 2002
|
|
12
|
Weyuker: A simplified domain-testing strategy
– Jeng, J
- 1994
|
|
10
|
The BEACH Application Model and Software Framework for Synchronous Collaboration in Ubiquitous Computing Environments
– Tandler
- 2004
|
|
10
|
Metamorphic testing of programs on partial differential equations: A case study
– Chen, Feng, et al.
- 2002
|
|
9
|
Inconsistency detection and resolution for context-aware middleware support
– Xu, Cheung
|
|
8
|
An application of a context-aware file system
– Hess, Campbell
- 2003
|
|
8
|
Application of metamorphic testing in numerical analysis
– Chan, Chen, et al.
- 1998
|
|
7
|
Multimodal processing by finding common cause
– Nock, Iyengar, et al.
- 2004
|
|
7
|
Automated metamorphic testing
– Gotlieb, Botella
- 2003
|
|
6
|
Automated test sequence generation using sequencing constraints for concurrent programs
– Karacali, Tai
- 1999
|
|
5
|
Case studies on the selection of useful relations in metamorphic testing
– Chen, Huang, et al.
- 2004
|
|
5
|
Towards context-aware testing for semantic interoperability on PvC environments
– Flores, Augusto, et al.
- 2004
|
|
5
|
A testbed for evaluating human interaction with ubiquitous computing environments
– O’Neill, Klepal, et al.
- 2005
|
|
4
|
Integrating Context Information into Enterprise Applications for the Mobile Workforce
– Spriestersbach, Vogler, et al.
- 2001
|
|
4
|
Context-sensitive distributed software development for ubiquitous computing environments
– Yau, Karim
- 2001
|
|
4
|
A metamorphic approach to integration testing of context-sensitive middleware-based applications
– Chan, Chen, et al.
- 2005
|
|
4
|
Evaluating a Location-Based Application: A Hybrid Test and Simulation Environment
– Morla, Davies
- 2004
|
|
3
|
Toward reflective application testing in open environments
– Axelsen, Johnsen, et al.
- 2004
|
|
3
|
S.: Development and runtime support for situation-aware application software in ubiquitous computing environments
– Yau, Huang, et al.
- 2004
|
|
2
|
Multimodal interfaces that flex, adapt, and persist: multimodal processing by finding common cause
– Nock, Iyengar, et al.
- 2004
|
|
1
|
T spaces: the next wave
– Wyckoff, McLaughry, et al.
- 1998
|
|
1
|
A smart classroom for enhancing collaborative learning using pervasive computing technology
– Karim, Ahamed, et al.
- 2003
|
|
1
|
Situationaware contract specification language for middleware for ubiquitous computing
– Yau, Wang, et al.
- 2003
|
|
1
|
Iterative metamorphic testing
– Wu
|
