Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia
Thu 24 Sep 2020 08:20 - 08:40 at Koala - Verification and Testing Chair(s): Jun Sun

In this paper we present lightweight model-based testing of privacy and authorization concepts of national portal for electronic health services in Norway (which has over a million of visits per month). We have developed test models for creating and updating privacy levels and authorization categories using finite state machine notation. Our models emphasize not only positive but also negative behavioral aspects of the system. Using edge and edge-pair coverage as an acceptance criteria we identify and systematically derive abstract test cases (high level user scenario) from the models. Abstract test cases are further refined and transformed into concrete test cases with detailed test steps and concrete test data. Although derivation of abstract test cases and their transformation into concrete test cases are manual, execution of concrete test cases and generation of test report are automated. In total, we extracted 85 abstract test cases which resulted in about 80 concrete test cases with over 550 iterations. Automated execution of all test iterations takes about one hour, while manual test of one iteration takes about five minutes (over 40 times speedup). Model-based testing contributed to shift the focus of our intellectual work effort into model design rather than test case design, thus making derivation of test scenarios systematic and (relatively) straight forward. In addition, applying model-based testing augmented and extended our traditional quality assurance techniques by facilitating better comprehension of new privacy and authorization concepts. Graphical models helped on improved understanding of textual specifications.

Thu 24 Sep
Times are displayed in time zone: (UTC) Coordinated Universal Time

08:00 - 09:00: Verification and TestingResearch Papers / Tool Demonstrations / Industry Showcase at Koala
Chair(s): Jun SunSingapore Management University
08:00 - 08:20
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
Research Papers
Cedric RichterPaderborn University, Germany, Heike WehrheimPaderborn University
08:20 - 08:40
Lightweight MBT Testing for National e-Health Portal in Norway
Industry Showcase
Davrondzhon GafurovNorsk Helsenett SF, Margrete Sunde GrovanNorsk Helsenett SF, Margrete Sunde GrovanNorsk Helsenett SF
08:40 - 08:50
Speeding up GUI Testing by On-Device Test Generation
Tool Demonstrations
Nataniel Borges Jr.CISPA Helmholtz Center for Information Security, Jenny RauCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA, Germany
08:50 - 09:00
PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects
Tool Demonstrations
Omar JavedUniversità della Svizzera italiana, Joshua Heneage DawesUniversity of Manchester and CERN, Marta HanUniversity of Zagreb and CERN, Giovanni FranzoniCERN, Andreas PfeifferCERN, Giles RegerUniversity of Manchester, Walter BinderUniversity of Lugano, Switzerland