NDLI: Test automation for hybrid systems

Please wait, while we are loading the content...

Challenge problems in software testing

Subsumption of program entities for efficient coverage and monitoring

An empirical comparison between direct and indirect test result checking approaches

A quality model for design documentation in model-centric projects

A model-based approach for testing the performance of web applications

Test automation for hybrid systems

Integrating a model of analytical quality assurance into the V-Modell XT

Discriminative pattern mining in software fault detection

Adaptive random testing through iterative partitioning revisited

Towards a unified coupling framework for measuring aspect-oriented programs

On-line anomaly detection of deployed software: a statistical machine learning approach

Test automation for hybrid systems

Content Provider	ACM Digital Library
Author	Peleska, Jan Teige, Tino Badban, Bahareh Fränzle, Martin
Abstract	This article presents novel results on automated test generation for hybrid control systems, which involves the generation of both discrete and real-valued, potentially time-continuous, input data to the system under test. Our generation techniques are allocated in two layers: The upper layer contains a symbolic test case generator constructing test cases as paths through an abstracted representation model of the system under test. Different test strategies designed to pursue various quality objectives lead to different selections of symbolic test cases. Symbolic test cases are transformed into feasible, i. e., executable, test cases by constructing concrete sequences of input data, allowing the execution of the pre-planned transition sequence. The input data construction is performed by the lower layer consisting of a constraint solver which applies interval analysis techniques to identify the domains from where to pick the appropriate test data. This process is made efficient by combining subpaving with forward-backward interval constraint propagation. On both layers learning algorithms are applied in order to avoid the spending of computation time on paths and sub-constraints, respectively, which are already known not to contribute to the solution.
Starting Page	14
Ending Page	21
Page Count	8
File Format	PDF
ISBN	1595935843
DOI	10.1145/1188895.1188902
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-11-06
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Interval analysis Hybrid systems Mcdc coverage Test case generation
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in