In this work we present a test method for asynchronous circuits, based on synchronous full scan techniques. By forcing the circuit to behave synchronously in test mode, it is possible to use high-quality standard test tools and equipment. It also implies standardization and interoperability with other tools and circuits. The work resulted in an operational automatic test system for asynchronous...

Our work is based on a new approach of the automatic structural test case generation problem defined in [GBR98]. It uses constraint logic programming (CLP) to try and solve the problem of generating test cases in order to attain the structural covering of a procedure. A test tool prototype, named Inka[GBR98], has been developed by Thales Systèmes Aéroportés. Inka is designed for automatic struc...

Software Testing plays a important role in Software development because it can minimize the development cost. We Propose a Technique for Test Sequence Generation using UML Model Sequence Diagram.UML models give a lot of information that should not be ignored in testing. In This paper main features extract from Sequence Diagram after that we can write the Java Source code for that Features Accor...

The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines ...

This paper presents an architecture for model-based verification and testing using a profile of the Unified Modeling Language (UML). Class, object, and state diagrams are used to define essential models: descriptions that are relatively complete. Object and state diagrams are used to introduce test directives. Models written in this profile may be compiled into a tool language: the Intermediate...

This paper adresses the generation of test cases for testing the conformance of a reactive black-box implementation with respect to its specification. We aim at extending the principles and algorithms of model-based testing for recursive interprocedural specifications that can be modeled by Push-Down Systems (PDS). Such specifications may be more compact than non-recursive ones and are more exp...

In order to reduce the high cost of manual software testing and at the same time to increase the reliability of the testing processes researchers and practitioners have tried to automate it. One of the most important components in a testing environment is an automatic test data generator — a system that automatically generates test data for a given program. Through the years several attempts in...

This paper discusses recent advancements of the test generation system to produce test sequences for testing dynamic systems from design modeling systems such as Mathworks’ Simulink and National Instruments’ MATRIXx. Test sequences support test generation for systems that are modeled using constructs that support feedback, such as integrators or time delays, which are common in control system...

This paper presents a method for automatic test case and test sequence generation from behavioral patterns. A behavioral pattern represents a class of behaviors of the environment with which the software under test interacts. Behavioral patterns are provided by the human tester to complement functional testing based on random test data generation. Thus, the tester can bring all her knowledge of...

This paper presents a new technique for automatically generating test data. The technique is based on mutation analysis and creates test data that approximates relative adequacy. The technique is a fault-based technique that uses algebraic constraints to describe test cases designed to find particular types of faults. A set of tools, collectively called Godzilla, has been implemented that autom...