Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data

Test automation is adopted by the majority of software and hardware producers since it speeds up the testing phase and allows to design and perform a large bunch of tests that would be hardly manageable in a manual way. When dealing with the testing of hardware instruments, different physical environments have to be created so that the instruments under test can be analyzed in different scenarios, involving disparate components and software configurations.

[1]  Levi Lucio,et al.  A Methodology and a Framework for Model-Based Testing , 2004, RISE.

[2]  Rance Cleaveland,et al.  Automatic Requirement Extraction from Test Cases , 2010, RV.

[3]  Davide Ancona,et al.  Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog , 2014, CILC.

[4]  Mika Katara,et al.  Synthesizing Test Models from Test Cases , 2008, Haifa Verification Conference.

[5]  Dorothy Graham,et al.  Experiences of Test Automation: Case Studies of Software Test Automation , 2012 .

[6]  Davide Ancona,et al.  Attribute Global Types for Dynamic Checking of Protocols in Logic-based Multiagent Systems , 2013, Theory Pract. Log. Program..

[7]  Davide Ancona,et al.  Distributed Runtime Verification of JADE Multiagent Systems , 2014, IDC.

[8]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[9]  Sean McDonald,et al.  Software Test Automation , 1999 .

[10]  Daniel J. Mosley,et al.  Just Enough Software Test Automation , 2002 .

[11]  Christophe Meudec.  ATGen: automatic test data generation using constraint logic programming and symbolic execution † , 2001, Softw. Test. Verification Reliab..

[12]  Leon Sterling,et al.  The art of Prolog (2nd ed.): advanced programming techniques , 1994 .

[13]  Peter Schnupp,et al.  Test case generation using Prolog , 1985, ICSE '85.

[14]  Alexander Pretschner,et al.  Model-Based Test Case Generation for Smart Cards , 2003, FMICS.

[15]  Michael M. Gorlick,et al.  Mockingbird: A Logical Methodology for Testing , 1990, J. Log. Program..

[16]  Stan Jarzabek,et al.  Towards Test Case Reuse: A Study of Redundancies in Android Platform Test Libraries , 2013, ICSR.

[17]  Davide Ancona,et al.  Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason , 2012, DALT.

[18]  Anneliese Amschler Andrews,et al.  Domain based testing: increasing test case reuse , 1994, Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[19]  Krishn Kumar Mishra,et al.  The Impacts of Test Automation on Software's Cost, Quality and Time to Market , 2016 .

[20]  Zhenyu Liu,et al.  Test Case Reuse Based on Ontology , 2009, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.

[21]  Antti Jääskeläinen.  Towards Model Construction Based on Test Cases and GUI Extraction , 2016, ICTSS.

[22]  Gundecha Unmesh.  Selenium Testing Tools Cookbook , 2012 .