Testing for High Assurance System by FSM

Juichi TAKAHASHI; Yoshiaki KAKUDA

Testing for High Assurance System by FSM

Juichi TAKAHASHI, Yoshiaki KAKUDA

Full Text Views

0

Cite this

Summary :

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.

Publication: IEICE TRANSACTIONS on Information Vol.E86-D No.10 pp.2114-2120

Publication Date: 2003/10/01

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Assurance Systems and Networks)

Category: Testing

Cite this

Copy

Juichi TAKAHASHI, Yoshiaki KAKUDA, "Testing for High Assurance System by FSM" in IEICE TRANSACTIONS on Information, vol. E86-D, no. 10, pp. 2114-2120, October 2003, doi: .
Abstract: 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.
URL: https://global.ieice.org/en_transactions/information/10.1587/e86-d_10_2114/_p

Copy

@ARTICLE{e86-d_10_2114,
author={Juichi TAKAHASHI, Yoshiaki KAKUDA, },
journal={IEICE TRANSACTIONS on Information},
title={Testing for High Assurance System by FSM},
year={2003},
volume={E86-D},
number={10},
pages={2114-2120},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={October},}

Copy

TY - JOUR
TI - Testing for High Assurance System by FSM
T2 - IEICE TRANSACTIONS on Information
SP - 2114
EP - 2120
AU - Juichi TAKAHASHI
AU - Yoshiaki KAKUDA
PY - 2003
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E86-D
IS - 10
JA - IEICE TRANSACTIONS on Information
Y1 - October 2003
AB - 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.
ER -