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)

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 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
Pages430-437
Number of pages8
ISBN (Print)769522459
DOIs
Publication statusPublished - 1 Dec 2004

Fingerprint

Testing
Software engineering
Specifications

Keywords

  • Mobile Embedded Software Testing
  • Untestable Environment

Cite this

LEUNG, K. R. P. H., NG, JK-Y., & YEUNG, W. L. (2004). Embedded program testing in untestable mobile environment : an experience of trustworthiness approach. In APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference (pp. 430-437). IEEE Computer Society. https://doi.org/10.1109/APSEC.2004.48
LEUNG, Karl R. P. H. ; NG, J.K.-Y. ; YEUNG, Wing Lok. / Embedded program testing in untestable mobile environment : an experience of trustworthiness approach. APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference. IEEE Computer Society, 2004. pp. 430-437
@inproceedings{7a4d2c3dd4a04c72a43d35d1bc9719a5,
title = "Embedded program testing in untestable mobile environment : an experience of trustworthiness approach",
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 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.",
keywords = "Mobile Embedded Software Testing, Untestable Environment",
author = "LEUNG, {Karl R. P. H.} and J.K.-Y. NG and YEUNG, {Wing Lok}",
year = "2004",
month = "12",
day = "1",
doi = "10.1109/APSEC.2004.48",
language = "English",
isbn = "769522459",
pages = "430--437",
booktitle = "APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference",
publisher = "IEEE Computer Society",
address = "United States",

}

LEUNG, KRPH, NG, JK-Y & YEUNG, WL 2004, Embedded program testing in untestable mobile environment : an experience of trustworthiness approach. in APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference. IEEE Computer Society, pp. 430-437. https://doi.org/10.1109/APSEC.2004.48

Embedded program testing in untestable mobile environment : an experience of trustworthiness approach. / LEUNG, Karl R. P. H.; NG, J.K.-Y.; YEUNG, Wing Lok.

APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference. IEEE Computer Society, 2004. p. 430-437.

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

TY - GEN

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

AU - LEUNG, Karl R. P. H.

AU - NG, J.K.-Y.

AU - YEUNG, Wing Lok

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

KW - Mobile Embedded Software Testing

KW - Untestable Environment

UR - http://commons.ln.edu.hk/sw_master/6218

U2 - 10.1109/APSEC.2004.48

DO - 10.1109/APSEC.2004.48

M3 - Conference paper (refereed)

SN - 769522459

SP - 430

EP - 437

BT - APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference

PB - IEEE Computer Society

ER -

LEUNG KRPH, NG JK-Y, YEUNG WL. Embedded program testing in untestable mobile environment : an experience of trustworthiness approach. In APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference. IEEE Computer Society. 2004. p. 430-437 https://doi.org/10.1109/APSEC.2004.48