2016 年 136 巻 6 号 p. 868-880
The third-party verification test aims to detect potential defects by test specialty division, and judge result based on specific criteria. Usually third-party verification was used for stand-alone products and embedded system products, but few instances of the third-party verification for system products have been reported. Furthermore, verification reports simply list assessment results for test items and for faults being detected, but the locations of their occurrence and possible causes were not pointed out. This paper proposes a method of the third-party verification for system products. The method estimates fault locations and possible causes. The method performs isolation of fault location and produces an estimation of fault cause using interface tracing between subsystems and the operating environment log. This third-party verification method was applied to a remote operating system for household appliances. Its effectiveness for the estimation of fault location and causes was confirmed.
J-STAGEがリニューアルされました! https://www.jstage.jst.go.jp/browse/-char/ja/