Testing for High Assurance System by FSM(Testing)(<IEICE/IEEE Joint Special Issue>Assurance Systems and Networks)

概要

論文の詳細を見る
Software and its systems are more complicated than a decade ago, and the systems are used for mission critical business, flight control and so on which often require high assurance systems. In this circumstance, we often use black-box testing. The question now arises that black-box testing does not generate numerical value of testing result but empirical. Thus, in this research, we develop and enhance FSM (Finite State Machine) testing method which can produce code coverage rate asnumerical value Our developed FSM testing by code coverage focuses on not only software system behavior but also data. We found higher code coverage rate, which indicates quality of system, by this method than existing black box testing method.
社団法人電子情報通信学会の論文
2003-10-01