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