Testing context-sensitive middleware-based software applications
T. H. Tse,Stephen S. Yau +1 more
- 28 Sep 2004
- pp 458-466
TL;DR: This work proposes to use isotropic properties of contexts as metamorphic relations for testing context-sensitive software, where distinct points on the same isotropics curve of contexts would entail comparable responses by the components.
read more
Abstract: 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 context-sensitive software is challenging. Metamorphic testing is a property-based testing strategy. It recommends that, even if a test case does not reveal any failure, follow-up test cases should be further constructed from the original to check whether the software satisfies some necessary conditions of the problem to be implemented. This work proposes to use isotropic properties of contexts as metamorphic relations for testing context-sensitive software. For instance, distinct points on the same isotropic curve of contexts would entail comparable responses by the components. This notion of testing context relations is novel, robust, and intuitive to users.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Characterisation of Challenges for Testing of Adaptive Systems
Bento R. Siqueira,Fabiano Cutigi Ferrari,Marcel Akira Serikawa,Ricardo Menotti,Valter Vieira de Camargo +4 more
- 19 Sep 2016
TL;DR: Generalisations such as the one proposed in this work may help researchers and practitioners do devise customised testing strategies that focus in recurring, inherent properties of ASs.
25
Improving the Effectiveness of Testing Pervasive Software via Context Diversity
Huai Wang,W. K. Chan,T. H. Tse +2 more
TL;DR: This case study shows that the strategy that uses test cases with higher context diversity can significantly improve the effectiveness of existing data-flow testing criteria for context-aware pervasive software.
A methodology for validating cloud models using metamorphic testing
Alberto Núñez,Robert M. Hierons +1 more
TL;DR: This work proposes a methodology to semi-automatically test and validate cloud models by integrating simulation techniques and metamorphic testing to alleviate issues of testing cloud systems.
An Effective Iterative Metamorphic Testing Algorithm Based on Program Path Analysis
Guowei Dong,Changhai Nie,Baowen Xu,Lulu Wang +3 more
- 11 Oct 2007
TL;DR: A new iterative MT algorithm, APCEMSI, is presented to avoid the blindness of existing MT methods and shows that APCemSI could find errors effectively with much fewer test cases.
24
Challenges in testing context aware software systems
Santiago Matalonga,Felyppe Rodrigues,Guilherme Horta Travassos +2 more
- 01 Jan 2015
TL;DR: It is argued that new context aware testing techniques need to be developed in order to assure the quality of CASS.
20
References
Some computer science issues in ubiquitous computing
TL;DR: What is new and different about the computer science in ubiquitous computing is explained, and a series of examples drawn from various subdisciplines of computer science are outlined.
Charting past, present, and future research in ubiquitous computing
TL;DR: Everyday computing is proposed, a new area of applications research, focussed on scaling interaction with respect to time, just as pushing the availiability of computing away from the traditional desktop fundamentally changes the relationship between humans and computers.
Developing multiagent systems: The Gaia methodology
TL;DR: It is argued that a multiagent system can naturally be viewed and architected as a computational organization, and the appropriate organizational abstractions that are central to the analysis and design of such systems are identified.
On Testing Non-Testable Programs
TL;DR: 'The belief that the tester is routinely able to determine whether or not the test output is correct is the oracle assumption.
Reliability of the Path Analysis Testing Strategy
TL;DR: It is proved that an effective testing strategy which is reliable for all programs cannot be constructed and a method for analyzing the reliability of path testing is introduced.
438