Abstract
Purchase PDF (120 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (0)
Purchase PDF (552 K)
doi:10.1016/j.jss.2005.06.041 
Copyright © 2005 Elsevier Inc. All rights reserved.
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach
Received 6 December 2004;
References and further reading may be available for this article. To view references and further reading you must purchase this article.
Abstract
Comparing actual output with the expected output of some controlled input is a fundamental principle of program correctness testing. However, in some situations, the input is uncontrollable or even undetectable during testing, it is impossible to decide the expected output or the test oracle. Or in some situations, the output may be indeterministic or unpredictable, hence it is impossible to compare the output with the expected one. We encountered these problems and could not conduct normal program testing when we developed programs to extract network data from various mobile stations in the Mobile Location Estimation System project. Instead we analyzed the program output and challenge it against the intrinsic properties, the environment, the program itself, and the application results to find evidence that the output is suitable to be used for the planned purposes. In short, we accessed the trustworthiness of the programs. In the development of our mobile software, it was common that different programs of the same specification had to be developed for mobile stations of different models. These different implementations provided another source of reference for trustworthiness assessment. Our experience of applying the trustworthiness approach to developing software for extracting network data from mobile stations is reported in this paper.
Keywords: Untestable environment; Mobile embedded software testing
Article Outline
- 1. Introduction
- 2. Untestable situations
- 3. MLES
- 4. Testing problems in MLES
- 5. Trustworthiness assessment
- 5.1. Necessary condition
- 5.2. Trustworthiness
- 5.2.1. Intrinsic properties assessment
- 5.2.2. Environmental assessment
- 5.2.3. Output assessment
- 5.2.4. Application results assessment
- 6. Experiment results
- 6.1. Experiment output
- 6.2. Necessary condition
- 6.3. Trustworthiness
- 6.3.1. Intrinsic properties assessment
- 6.3.2. Environmental assessment
- 6.3.3. Output assessments
- 6.4. Application results assessment
- 6.4.1. Assessment conclusion
- 7. Discussion
- 8. Conclusion
- References
