The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Pembangun perisian terbenam menganggap tingkah laku persekitaran apabila spesifikasi tidak tersedia. Walau bagaimanapun, pembangun mungkin menganggap tingkah laku itu secara salah, yang boleh mengakibatkan kerosakan kritikal dalam sistem. Oleh itu, adalah penting untuk mengesan kesalahan yang disebabkan oleh andaian yang salah. Dalam surat ini, kami mencadangkan pendekatan ujian berasaskan log untuk mengesan kerosakan. Pertama, kami mencipta model tingkah laku UML untuk mewakili tingkah laku yang diandaikan persekitaran, yang kemudiannya diubah menjadi model keadaan. Seterusnya, kami mengekstrak tingkah laku sebenar persekitaran daripada log, yang kemudiannya digabungkan dalam model keadaan, menghasilkan model keadaan yang mewakili kedua-dua kelakuan yang diandaikan dan sebenar. Teknik ujian sedia ada berdasarkan model keadaan boleh digunakan untuk menjana kes ujian daripada model keadaan kami untuk mengesan kerosakan.
Sooyong JEONG
Kyungpook National University
Ajay Kumar JHA
Kyungpook National University
Youngsul SHIN
Kyungpook National University
Woo Jin LEE
Kyungpook National University
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Sooyong JEONG, Ajay Kumar JHA, Youngsul SHIN, Woo Jin LEE, "A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment" in IEICE TRANSACTIONS on Information,
vol. E103-D, no. 1, pp. 170-173, January 2020, doi: 10.1587/transinf.2019EDL8149.
Abstract: Embedded software developers assume the behavior of the environment when specifications are not available. However, developers may assume the behavior incorrectly, which may result in critical faults in the system. Therefore, it is important to detect the faults caused by incorrect assumptions. In this letter, we propose a log-based testing approach to detect the faults. First, we create a UML behavioral model to represent the assumed behavior of the environment, which is then transformed into a state model. Next, we extract the actual behavior of the environment from a log, which is then incorporated in the state model, resulting in a state model that represents both assumed and actual behaviors. Existing testing techniques based on the state model can be used to generate test cases from our state model to detect faults.
URL: https://global.ieice.org/en_transactions/information/10.1587/transinf.2019EDL8149/_p
Salinan
@ARTICLE{e103-d_1_170,
author={Sooyong JEONG, Ajay Kumar JHA, Youngsul SHIN, Woo Jin LEE, },
journal={IEICE TRANSACTIONS on Information},
title={A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment},
year={2020},
volume={E103-D},
number={1},
pages={170-173},
abstract={Embedded software developers assume the behavior of the environment when specifications are not available. However, developers may assume the behavior incorrectly, which may result in critical faults in the system. Therefore, it is important to detect the faults caused by incorrect assumptions. In this letter, we propose a log-based testing approach to detect the faults. First, we create a UML behavioral model to represent the assumed behavior of the environment, which is then transformed into a state model. Next, we extract the actual behavior of the environment from a log, which is then incorporated in the state model, resulting in a state model that represents both assumed and actual behaviors. Existing testing techniques based on the state model can be used to generate test cases from our state model to detect faults.},
keywords={},
doi={10.1587/transinf.2019EDL8149},
ISSN={1745-1361},
month={January},}
Salinan
TY - JOUR
TI - A Log-Based Testing Approach for Detecting Faults Caused by Incorrect Assumptions About the Environment
T2 - IEICE TRANSACTIONS on Information
SP - 170
EP - 173
AU - Sooyong JEONG
AU - Ajay Kumar JHA
AU - Youngsul SHIN
AU - Woo Jin LEE
PY - 2020
DO - 10.1587/transinf.2019EDL8149
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E103-D
IS - 1
JA - IEICE TRANSACTIONS on Information
Y1 - January 2020
AB - Embedded software developers assume the behavior of the environment when specifications are not available. However, developers may assume the behavior incorrectly, which may result in critical faults in the system. Therefore, it is important to detect the faults caused by incorrect assumptions. In this letter, we propose a log-based testing approach to detect the faults. First, we create a UML behavioral model to represent the assumed behavior of the environment, which is then transformed into a state model. Next, we extract the actual behavior of the environment from a log, which is then incorporated in the state model, resulting in a state model that represents both assumed and actual behaviors. Existing testing techniques based on the state model can be used to generate test cases from our state model to detect faults.
ER -