Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Mon 26 Oct 2020 11:45 - 12:15 at Farfetch (D. Maria) - IT2 - Misc Chair(s): Luís Cruz
Mon 26 Oct 2020 22:45 - 23:15 at Farfetch (D. Maria) - IT2 - Misc Chair(s): Rui Abreu

Conventional automated test case generation techniques do not scale to modern software systems, as these systems have a large number of requirements that change frequently. In this paper, we present a scalable algorithm, AGenT, that generates test cases to cover maximal requirements. AGenT takes Expressive Decision Tables (EDT), specifying requirements of a system, as input and realises these as multiple Discrete Time Automata (DTAs). AGenT then generates test cases to cover each row of the tables. To improve scalability, it attempts to cover nearer rows (requiring fewer inputs) first, where distance is measured using a novel distance-to-match heuristic. It also maintains information about desirability and predictability of inputs so as to select promising inputs with a higher probability. Although the algorithm has been presented in the context of EDT, it operates on its DTA representation and hence can be applied to any system that is represented as a collection of DTAs like Statemate and Stateflow. In this paper, we describe AGenT in detail and present findings from two experiments that we conducted. We compared AGenT with state-of-the-art algorithms, DRAFT and a random test case generation algorithm, RTG. In the first experiment, AGenT took a maximum of 144 seconds to cover all rows whereas the other two algorithms timed out on many modules. In the second experiment, for a module with 701 rows, AGenT achieved 7% more coverage than DRAFT and 12% more than RTG.

Mon 26 Oct

Displayed time zone: Lisbon change

10:45 - 12:15
IT2 - MiscIndustry Track at Farfetch (D. Maria) +11h
Chair(s): Luís Cruz Deflt University of Technology
10:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max Friese Christian-Albrechts-Universität zu Kiel, Johannes Traub Daimler AG, Dirk Nowotka Christian-Albrechts-Universität zu Kiel
Link to publication DOI
11:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten Wuensche SAP SE, Artur Andrzejak Heidelberg University, Sascha Schwedes SAP SE
Link to publication DOI
11:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R Venkatesh Tata Consultancy Services Ltd. (TCS), Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare Tata Consultancy Services Ltd. (TCS), Sagar Verma Tata Consultancy Services Ltd. (TCS)
Link to publication DOI
21:45 - 23:15
IT2 - MiscIndustry Track at Farfetch (D. Maria)
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
21:45
30m
Talk
EC.LANG - A Language for Specifying Response Time Analyses of Event Chains
Industry Track
Max Friese Christian-Albrechts-Universität zu Kiel, Johannes Traub Daimler AG, Dirk Nowotka Christian-Albrechts-Universität zu Kiel
Link to publication DOI
22:15
30m
Talk
Detecting Higher-Order Merge Conflicts in Large Software Projects
Industry Track
Thorsten Wuensche SAP SE, Artur Andrzejak Heidelberg University, Sascha Schwedes SAP SE
Link to publication DOI
22:45
30m
Talk
Scaling Test Case Generation For Expressive Decision Tables
Industry Track
Supriya Agrawal Tata Consultancy Services Ltd. (TCS), R Venkatesh Tata Consultancy Services Ltd. (TCS), Ulka Shrotri Tata Consultancy Services Ltd. (TCS), Amey Zare Tata Consultancy Services Ltd. (TCS), Sagar Verma Tata Consultancy Services Ltd. (TCS)
Link to publication DOI