Automated Test Input Generation for Software That Consumes ORM Models

Authors:
Matthew J. Mcgill;R. E. Stirewalt;Laura K. Dillon
Affiliations:
Dept. of Computer Science and Engineering, Michigan State University, East Lansing 48223;LogicBlox, Inc.,;Dept. of Computer Science and Engineering, Michigan State University, East Lansing 48223
Venue:
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Year:
2009

Citing 11
Cited 2

The category-partition method for specifying and generating fuctional tests

Communications of the ACM
The Combinatorial Design Approach to Automatic Test Generation

IEEE Software
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool

ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Towards an automated test generation for the verification of model transformations

Proceedings of the 2007 ACM symposium on Applied computing
Model Driven Development with NORMA

HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Systematic Testing of Model-Based Code Generators

IEEE Transactions on Software Engineering
Scalable automatic test data generation from modeling diagrams

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Generation of Test Models for Model Transformations

ASWEC '08 Proceedings of the 19th Australian Conference on Software Engineering
Typed Datalog

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages

Scalable analysis of conceptual data models

Proceedings of the 2011 International Symposium on Software Testing and Analysis
LogicBlox, platform and language: a tutorial

Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software tools that analyze and generate code from ORM conceptual schemas are highly susceptible to feature interaction bugs. When testing such tools, test suites are needed that cover many combinations of features, including combinations that rarely occur in practice. Manually creating such a test suite is extremely labor-intensive, and the tester may fail to cover feasible feature combinations that are counter-intuitive or that rarely occur. This paper describes ATIG, a prototype tool for automatically generating test suites that cover diverse combinations of ORM features. ATIG makes use of combinatorial testing to optimize coverage of select feature combinations within constraints imposed by the need to keep the sizes of test suites manageable. We have applied ATIG to generate test inputs for an industrial strength ORM-to-Datalog code generator. Initial results suggest that it is useful for finding feature interaction errors in tools that operate on ORM models.