Automatic Testing of Embedded Software Based on State-Transition Requirement Specifications

Tsuyoshi Nakajima, Yuzo Bessho, Hiroshi Yamanaka, Kazumi Hirota

研究成果: Article査読

1 被引用数 (Scopus)


This paper proposes an automatic testing method in which the testing data is constructed on the basis of state-transition specifications and the testing of real machines with embedded software is automatically performed. In automatic testing based on specifications, in general a test scenario with the same extent of abstraction as the specification is difficult to convert to testing data that can be used by the automatic tester. In the proposed testing method, the event action in the state-transition specification is related to the setting and referral of the memory value in the embedded debugger, which makes it possible to convert the test scenario to testing data and to perform the testing automatically. A CASE tool to support the proposed testing method is realized and its performance is evaluated. The effectiveness and the problems of the proposed testing method are noted.

ジャーナルElectronics and Communications in Japan, Part II: Electronics (English translation of Denshi Tsushin Gakkai Ronbunshi)
出版ステータスPublished - 2003 9月

ASJC Scopus subject areas

  • 物理学および天文学(全般)
  • コンピュータ ネットワークおよび通信
  • 電子工学および電気工学


「Automatic Testing of Embedded Software Based on State-Transition Requirement Specifications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。