Using abstract models for the generation of test data with a complex structure

Demakov, Alexey; Zelenov, Sergey; Zelenova, S. A.

doi:10.1134/s0361768808060054

Cited by 4 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In addition to the concepts discussed previously, our work is novel in that it provides a set of algorithms and an actual implementation in the context of the MLVM. As opposed to treating free objects symbolically and only resolving them as needed, other work has considered the object generation approach, particularly against the background of software test-data generation [Kor90;ZL07;DZZ08]. The authors present different ways of generating all possible object instances before they are used in a program.…”

Section: Related Workmentioning

confidence: 99%

Free Objects in Constraint-logic Object-oriented Programming

Dageförde

Winkelmann

Kuchen

2021

23rd International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

Constraint-logic object-oriented programming is useful in the integrated development of business software that occasionally solves constraint-logic problems. So far, work in constraint-logic objectoriented programming was limited to considering constraints that only involve logic variables of primitive types; in particular, boolean, integer, and floating-point numbers. However, the availability of object-oriented features calls for the option to use logic variables in lieu of objects as well. Therefore, support for reference-type logic variables (or free objects) is required. With the present work, we add support for reference-type logic variables to a Java-based constraint-logic objectoriented language. Allowing free objects in statements and expressions results in novel interactions with objects at runtime, for instance, non-deterministic execution of invocations on free objects (taking arbitrary class hierarchies and overriding into account). In order to achieve this, we also propose a dynamic type constraint that restricts the types of free objects at runtime.

show abstract

Section: Related Workmentioning

confidence: 99%

Free Objects in Constraint-logic Object-oriented Programming

Dageförde

Winkelmann

Kuchen

2021

23rd International Symposium on Principles and Practice of Declarative Programming

View full text Add to dashboard Cite

show abstract

“…The Pinery test generating tool developed at ISP RAS [9,10] is intended to generate structurally complex test data. Generating data having some syntactic structure is managed by specifying constraints on desired data fragments in the terms of the structure.…”

Section: Tools Reviewmentioning

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

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

Technical Aspects: Muggl

Majchrzak

2012

SpringerBriefs in Information Systems

View full text Add to dashboard Cite

Using abstract models for the generation of test data with a complex structure

Cited by 4 publications

References 11 publications

Free Objects in Constraint-logic Object-oriented Programming

Free Objects in Constraint-logic Object-oriented Programming

Test Data Generation for Covering Functionality of Database Applications

Technical Aspects: Muggl

Contact Info

Product

Resources

About