research-article

TesMa and CATG: automated test generation tools for models of enterprise applications

Authors:

Haruto Tanno,

Xiaojing Zhang,

Takashi Hoshino,

Koushik SenAuthors Info & Claims

ICSE '15: Proceedings of the 37th International Conference on Software Engineering - Volume 2

Pages 717 - 720

Published: 16 May 2015 Publication History

Get Access

Abstract

We present CATG, an open-source concolic test generation tool for Java and its integration with TesMa, a model-based testing tool which automatically generates test cases from formal design documents. TesMa takes as input a set of design documents of an application under test. The design documents are provided in the form of database table definitions, process-flow diagrams, and screen definitions. From these design documents, TesMa creates Java programs for the feasible execution scenarios of the application. CATG performs concolic testing on these Java programs to generate suitable databases and test inputs required to test the application under test. A demo video of the tool is available at https://www.youtube.com/watch?v=9lEvPwR7g-Q.

References

[1]

S. Anand, C. S. Păsăreanu, and W. Visser. JPF-SE: a symbolic execution extension to Java PathFinder. In TACAS'07, 2007.

Digital Library

Google Scholar

[2]

B. Beizer. Software testing techniques (2nd ed.). Van Nostrand Reinhold Co., New York, NY, USA, 1990.

Digital Library

Google Scholar

[3]

C. Cadar, P. Godefroid, S. Khurshid, C. Pasareanu, K. Sen, N. Tillmann, and W. Visser. Symbolic execution for software testing in practice -- preliminary assessment. In ICSE Impact'11, May 2011.

Digital Library

Google Scholar

[4]

C. Cadar and K. Sen. Symbolic execution for software testing: three decades later. Commun. ACM, 56(2):82--90, 2013.

Digital Library

Google Scholar

[5]

S. R. Dalal, A. Jain, N. Karunanithi, J. M. Leaton, C. M. Lott, G. C. Patton, and B. M. Horowitz. Model-based testing in practice. In Proceedings of the 21st International Conference on Software Engineering, ICSE '99, pages 285--294, New York, NY, USA, 1999. ACM.

Digital Library

Google Scholar

[6]

P. Godefroid, N. Klarlund, and K. Sen. DART: Directed Automated Random Testing. In PLDI'05, June 2005.

Digital Library

Google Scholar

[7]

S. Khurshid, C. S. Păsăreanu, and W. Visser. Generalized symbolic execution for model checking and testing. In TACAS'03, Apr. 2003.

Digital Library

Google Scholar

[8]

K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In ESEC/FSE'05, Sep 2005.

Digital Library

Google Scholar

Cited By

View all

Kukucka JPina LAmmann PBell JDwyer MDamian DZeller A(2022)CONFETTIProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510628(438-450)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510628
Shen JRinard MMcKinley KFisher K(2019)Using active learning to synthesize models of applications that access databasesProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314591(269-285)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314591
Wang CCheung ABodik R(2018)Speeding up symbolic reasoning for relational queriesProceedings of the ACM on Programming Languages10.1145/32765272:OOPSLA(1-25)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276527
Show More Cited By

Index Terms

TesMa and CATG: automated test generation tools for models of enterprise applications
1. Software and its engineering
  1. Software creation and management

Recommendations

A Static Approach to Prioritizing JUnit Test Cases

Test case prioritization is used in regression testing to schedule the execution order of test cases so as to expose faults earlier in testing. Over the past few years, many test case prioritization techniques have been proposed in the literature. Most ...
Spartan: a spectral and entropy-based partial-scan and test point insertion algorithm
Faster mutation testing inspired by test prioritization and reduction
ISSTA 2013: Proceedings of the 2013 International Symposium on Software Testing and Analysis

Mutation testing is a well-known but costly approach for determining test adequacy. The central idea behind the approach is to generate mutants, which are small syntactic transformations of the program under test, and then to measure for a given test ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICSE '15: Proceedings of the 37th International Conference on Software Engineering - Volume 2

May 2015

1058 pages

General Chair:
Antonia Bertolino
ISTI-CNR, Italy
,
Program Chairs:
Gerardo Canfora
University of Sannio, Italy
,
Sebastian Elbaum
University of Nebraska-Lincoln

Publisher

IEEE Press

Publication History

Published: 16 May 2015

Check for updates

Qualifiers

Research-article

Conference

ICSE '15

Sponsor:

ACM
SIGSOFT
IEEE-CS\DATC
TCSE

ICSE '15: 37th International Conference on Software Engineering

May 16 - 24, 2015

Florence, Italy

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
123
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kukucka JPina LAmmann PBell JDwyer MDamian DZeller A(2022)CONFETTIProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510628(438-450)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510628
Shen JRinard MMcKinley KFisher K(2019)Using active learning to synthesize models of applications that access databasesProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314591(269-285)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314591
Wang CCheung ABodik R(2018)Speeding up symbolic reasoning for relational queriesProceedings of the ACM on Programming Languages10.1145/32765272:OOPSLA(1-25)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276527
Sousa MDillig I(2016)Cartesian hoare logic for verifying k-safety propertiesACM SIGPLAN Notices10.1145/2980983.290809251:6(57-69)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2980983.2908092
Cheng LChang JYang ZWang CLo DApel SKhurshid S(2016)GUICat: GUI testing as a serviceProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970294(858-863)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970294
Sousa MDillig IKrintz CBerger E(2016)Cartesian hoare logic for verifying k-safety propertiesProceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/2908080.2908092(57-69)Online publication date: 2-Jun-2016
https://dl.acm.org/doi/10.1145/2908080.2908092
Luckow KDimjašević MGiannakopoulou DHowar FIsberner MKahsai TRakamarić ZRaman V(2016)JDartProceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 963610.1007/978-3-662-49674-9_26(442-459)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.1007/978-3-662-49674-9_26

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A Static Approach to Prioritizing JUnit Test Cases

Spartan: a spectral and entropy-based partial-scan and test point insertion algorithm

Faster mutation testing inspired by test prioritization and reduction