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
Metamorphic Testing: A Review of Challenges and Opportunities
TL;DR: The current research of metamorphic testing is reviewed and the challenges yet to be addressed are discussed, and visions for further improvement are presented and opportunities for new research are highlighted.
A Survey on Metamorphic Testing
TL;DR: This article provides a comprehensive survey on metamorphic testing, which summarises the research results and application areas, and analyses common practice in empirical studies of metamorphIC testing as well as the main open challenges.
Nearest neighbor selection for iteratively kNN imputation
TL;DR: The gray distance is much better than the Minkowski distance at both capturing the proximity relationship (or nearness) of two instances and dealing with mixed attributes, and experimental results show that the GkNN algorithm is much more efficient than existent kNN imputation methods.
432
Testing and validating machine learning classifiers by metamorphic testing
Xiaoyuan Xie,Joshua W. K. Ho,Christian Murphy,Gail E. Kaiser,Baowen Xu,Tsong Yueh Chen +5 more
- 01 Apr 2011
TL;DR: This paper presents a technique for testing the implementations of machine learning classification algorithms which support such applications, based on the technique "metamorphic testing", which has been shown to be effective to alleviate the oracle problem.
427
A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications
TL;DR: In this paper, the authors propose a metamorphic approach for online services testing, where the off-line testing determines a set of successful test cases to construct their corresponding follow-up test cases for the online testing.
134
References
Fault-based testing without the need of oracles
TL;DR: This paper presents an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs and enhances fault- based testing to alleviate the oracle problem.
•Book
The Z notation: a reference manual
J. M. Spivey
- 01 Jun 1992
TL;DR: Tutorial introduction background the Z language the mathematical tool-kit sequential systems syntax summary and how to use it to solve sequential systems problems.
Charting the past
TL;DR: Bahn et al. as discussed by the authors presented almost all the major inventions of humankind, from its origins up to an undefined cut-off point, in the 'Seventy Great' book series.
Context-aware middleware for resource management in the wireless Internet
TL;DR: This work proposes a middleware for context-aware resource management, called CARMEN, capable of supporting the automatic reconfiguration of wireless Internet services in response to context changes without any intervention on the service logic.
LIME: Linda meets mobility
Gian Pietro Picco,Amy L. Murphy,Gruia-Catalin Roman +2 more
- 16 May 1999
TL;DR: LIME as discussed by the authors is a system designed to assist in the rapid development of dependable mobile applications over both wired and ad hoc networks, where agents reside on mobile hosts and all communication takes place via transiently shared tuple spaces distributed across the mobile hosts.