UniTesK Test Suite Architecture

Abstract-Applications for processing great volumes of data is a very widely used kind of software. In enterprise integration there are tasks of data integration. When solving these tasks, special tools supporting development and execution of applications implementing extract, transformation and load pattern are often used. From the point of view of functional testing, such applications have a specific peculiarity related to a huge number of combinations of input data. Existing approaches and tools solving the problem of test data generation for database application build large arrays of input data based on database scheme or on SQL queries of application under tests. To ensure covering functionality of an application under test using these approaches and tools, a brute force of all available combinations is needed. In the paper, we prpose a method allowing less excessive data generation for covering functionality of database applications. It allows achieving functionality coverage with acceptable amount of test data close to optimal one (one test per one functionality branch) in acceptable generation time.

show abstract

“…The method of directed generation of test data is based on UniTESK [11,12] approach to model-based testing and consists of the following phases.…”

Section: Methods Descriptionmentioning

confidence: 99%

Test Data Generation for Covering Functionality of Database Applications

Kostychev¹,

Омельченко²,

Zelenov³

2010

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

View full text Add to dashboard Cite

show abstract

“…The UniTESK technology [7], [8] was developed at the Institute for System Programming of Russian Academy of Sciences (ISPRAS) [9]. The UniTESK technology and supporting tools have been successfully applied for functional testing of different kinds of software (operating systems, telecommunication protocols, real-time systems, etc.).…”

Section: Unitesk Technologymentioning

confidence: 99%

“…The UniTESK technology and supporting tools have been successfully applied for functional testing of different kinds of software (operating systems, telecommunication protocols, real-time systems, etc.). A key moment in the successful use of the UniTESK technology is the flexible and scalable test system architecture, which allows to adapt the technology to various classes of systems [8].…”

Section: Unitesk Technologymentioning

confidence: 99%

“…UniTESK test system architecture has been developed as a result of many years experiments on specification-based testing of the industrial software from different fields and of different levels of complexity [7], [8]. These experiments have allowed Test oracle verifies the DUV behavior in response to a single stimulus.…”

Section: A Unitesk Test System Architecturementioning

confidence: 99%

See 1 more Smart Citation

Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications

Chupilko¹,

Kamkin²,

Vorobyev³

2008

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

View full text Add to dashboard Cite

Abstract-In this paper we describe a methodology and experience of simulation-based verification of microprocessor units based on cycle-accurate contract specifications. Such specifications describe behavior of a unit in the form of preconditions and postconditions of microoperations. We have successfully applied the methodology to several units of the industrial microprocessor. The experience shows that cycle-accurate contract specifications are very suitable for simulation-based verification, since, first, they represent functional requirements on a unit in comprehensible declarative form, and second, they make it possible to automatically construct test oracles which verify unit correctness.

show abstract

“…We show that qualitative tests can be elaborated using UniTESK [1,2], an industrial model based test development technology designed in Institute for System Programming of Russian Academy of Sciences.…”

Section: Introductionmentioning

confidence: 99%

Testing AJAX Functionality with UniTESK

Gerlits¹

2010

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

View full text Add to dashboard Cite

UniTesK Test Suite Architecture

Cited by 39 publications

References 5 publications

Test Data Generation for Covering Functionality of Database Applications

Test Data Generation for Covering Functionality of Database Applications

Methodology and Experience of Simulation-Based Verification of Microprocessor Units Based on Cycle-Accurate Contract Specifications

Testing AJAX Functionality with UniTESK

Contact Info

Product

Resources

About