Application of finite automatons for program testing

Electronic Notes in Theoretical Computer Science

2005

The article discusses problems of model based test construction and ways of their solution using different kinds of models (operational, contract, axiomatic, and history-based specifications). The main idea is that the integration of model based techniques having different underlying formalisms can give valuable practical results in test construction. The idea is illustrated by successful applications of UniTesK test development technology based on the combination of contract specifications used to describe system behavior and operational models used for test sequence generation. UniTesK was designed in RedVerst [1] group of ISP RAS on the base of experience obtained in several industrial software testing projects.

Section: Problem Of Changes In Test Developmentmentioning

confidence: 95%

“…But in many cases we can iteratively split the generalized states, starting from the initial one, to impose determinism. The paper [50] describes a procedure that always stops if in the beginning we have finite deterministic system and gives a deterministic FSM as a result.…”

Section: Constructing An Automata Modelmentioning

confidence: 99%

Multi-paradigm Models as Source for Automated Test Construction

Electronic Notes in Theoretical Computer Science

2005

“…This technique called factorization allows creation of rather efficient and compact tests for complex subsystems. Details of the technique can be found in [25].…”

Section: Automated Conformance Test Constructionmentioning

confidence: 99%

Practical Approach to Specification and Conformance Testing of Distributed Network Applications

Pakoulin

Petrenko

2005

Service Availability

Abstract. Standardization of infrastructure and services in distributed applications and frameworks requires ground methodological base. Design by Contract approach looks very promising as a candidate. It helps to obtain component-wise design, to separate concerns between developers accurately, and makes development of high quality complex systems a manageable process. Unfortunately, in its classic form it can hardly be applied to distributed network applications because of lack of adequate means to describe nondeterministic asynchronous events. We extend Design by Contract with capabilities to describe callbacks and asynchronous communication between components. The resulting method was used to specify distributed applications and to develop conformance test suites for them in automated manner. Specifications are developed in an extension of C language that makes them clear and useful for industrial developers and decreases greatly test construction effort. Practical results of numerous successful applications of the method are described. More information on the applications of the method can be found at the site of RedVerst group of ISP RAS [1].

“…It is called testing model. Testing model is usually (but not always) an abstraction of specifications (see [17] for theoretical background of testing model construction). It is represented in the form of test scenario, which is an implicit description of the FSM.…”

Section: Conformance Testing Based On Afsmsmentioning

confidence: 99%

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems

Lecture Notes in Computer Science

Petrenko

Pakoulin

et al. 2004

The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The approach presented is used in the context of UniTesK specification based test development method. The results of its practical applications are also discussed. Practical experience demonstrates the applicability of the approach for model based testing of protocol implementations, distributed and concurrent systems, and real-time systems. This work stems from ISPRAS results of academic research and industrial application of formal techniques in verification and testing [1].