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
Test case design for context-aware applications
Ismayle de Sousa Santos,Rossana M. C. Andrade,Lincoln S. Rocha,Santiago Matalonga,Kthia Maral de Oliveira,Guilherme Horta Travassos +5 more
TL;DR: It has not been observed evidence on any TCDT supporting the truly context-aware testing, which that can adapt the expected output based on the context variation (dynamic perspective) during the test execution.
47
Verifying self-adaptive applications suffering uncertainty
Wenhua Yang,Chang Xu,Yepang Liu,Chun Cao,Xiaoxing Ma,Jian Lu +5 more
- 15 Sep 2014
TL;DR: This work builds Interactive State Machine (ISM) models for self-adaptive applications and verifies them with explicit consideration of environmental constraints and uncertainty, and refines verification results by prioritizing counterexamples according to their probabilities.
An empirical comparison between direct and indirect test result checking approaches
Peifeng Hu,Zhenyu Zhang,W. K. Chan,T. H. Tse +3 more
- 06 Nov 2006
TL;DR: A controlled experiment is conducted to investigate the cost effectiveness of using metamorphic testing by 38 testers on three open-source programs and shows that MT is cost-efficient and has potentials for detecting more faults than the assertion checking method.
On Testing Effectiveness of Metamorphic Relations: A Case Study
Mahmuda Asrafi,Huai Liu,Fei-Ching Kuo +2 more
- 27 Jun 2011
TL;DR: A case study is conducted to analyze the relationship between the execution behavior and the fault-detection effectiveness of metamorphic relations and it is shown that there is a certain degree of correlation between the code coverage achieved by a meetamorphic relation and its fault- Detection effectiveness.
Characterizing testing methods for context-aware software systems: Results from a quasi-systematic literature review
TL;DR: It is argued that the tests of context-aware software systems need to deal with the diversity of context instead of mitigating their effects.
37
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