Extracting State Models for Black-Box Software Components

By: Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy

Abstract

Components are increasingly being used to build embedded systems, distributed control applications, and several types of real-time systems. These applications mandate ensuring high degrees of reliability, safety, and security. In this light, state model-based testing assumes importance. Besides its use in testing, the extracted state model of a component has several other applications as well. These include understanding the state-based behavior of a component and re-engineering of a component to meet new requirements or constraints.

Cite as:

Rajiv Ranjan Suman, Rajib Mall, Srihari Sukumaran, Manoranjan Satpathy, “Extracting State Models for Black-Box Software Components”, Journal of Object Technology, Volume 9, no. 3 (May 2010), pp. 79-103, doi:10.5381/jot.2010.9.3.a3.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact