Testing for High Assurance System by FSM

Juichi TAKAHASHI  Yoshiaki KAKUDA  

IEICE TRANSACTIONS on Information and Systems   Vol.E86-D   No.10   pp.2114-2120
Publication Date: 2003/10/01
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)
Category: Testing
software testing,  high assurance system,  automated testing,  statistical testing,  code coverage,  

Full Text: PDF>>
Buy this Article

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 as numerical 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.