Embedded program testing in untestable mobile environment : an experience of trustworthiness approach

Karl R. P. H. LEUNG, J.K.-Y. NG, Wing Lok YEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

3 Citations (Scopus)


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 and, hence, it is impossible to decide the expected output or the test oracle. We encountered this problem when we developed programs to extract network data from various mobile stations in the mobile location estimation system project. We propose testing the trustworthiness of the programs instead. Since the input is uncontrollable and undetectable, program output is analyzed and challenged against with the intrinsic properties, environment, the program output itself and their application results, to find evidence that the output is suitable to be used for the planned purposes. Furthermore, in the case of mobile software development, it is common that different programs of the same specification have to be developed for mobile stations of different models. These different implementations provide another source of reference for trustworthiness tests. Our experience of applying trustworthiness test in extracting network data from mobile stations is reported in this paper.
Original languageEnglish
Title of host publicationAPSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
PublisherIEEE Computer Society
Number of pages8
ISBN (Print)769522459
Publication statusPublished - 1 Dec 2004


  • Mobile Embedded Software Testing
  • Untestable Environment


Dive into the research topics of 'Embedded program testing in untestable mobile environment : an experience of trustworthiness approach'. Together they form a unique fingerprint.

Cite this