NDLI: Timed Wp-method: testing real-time systems

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

Timed Wp-method: testing real-time systems

Content Provider	IEEE Xplore Digital Library
Author	En-Nouaary, A. Dssouli, R. Khendek, F.
Copyright Year	1976
Abstract	Real-time systems interact with their environment using time constrained input/output signals. Examples of real-time systems include patient monitoring systems, air traffic control systems, and telecommunication systems. For such systems, a functional misbehavior or a deviation from the specified time constraints may have catastrophic consequences. Therefore, ensuring the correctness of real-time systems becomes necessary. Two different techniques are usually used to cope with the correctness of a software system prior to its deployment, namely, verification and testing. In this paper, we address the issue of testing real-time software systems specified as a timed input output automaton (TIOA). TIOA is a variant of timed automaton. We introduce the syntax and semantics of TIOA. We present the potential faults that can be encountered in a timed system implementation. We study these different faults based on TIOA model and look at their effects on the execution of the system using the region graph. We present a method for generating timed test cases. This method is based on a state characterization technique and consists of the following three steps: First, we sample the region graph using a suitable granularity, in order to construct a subautomaton easily testable, called grid automaton. Then, we transform the grid automaton into a nondeterministic timed finite state machine (NTFSM). Finally, we adapt the generalized Wp-method to generate timed test cases from NTFSM. We assess the fault coverage of our test cases generation method and prove its ability to detect all the possible faults. Throughout the paper, we use examples to illustrate the various concepts and techniques used in our approach.
Sponsorship	IEEE Computer Society Technical Council on Software Engineering Association for Computing Machinery (ACM) IEEE Computer Society
Starting Page	1023
Ending Page	1038
Page Count	16
File Size	477969
File Format	PDF
ISSN	00985589
Volume Number	28
Issue Number	11
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2002-11-01
Publisher Place	U.S.A.
Access Restriction	One Nation One Subscription (ONOS)
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	System testing Real time systems Automata Time factors Software systems Software testing Automatic testing Patient monitoring Air traffic control Fault detection
Content Type	Text
Resource Type	Article
Subject	Software

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

Conformance Testing of Temporal Role-Based Access Control Systems

Implementing design diversity to achieve fault tolerance

Real-Time Testing of Automatic Overload Control Systems in a Laboratory Environment

Control System Design for Height Measurement of BGA Balls Based on Timed Automata

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study

Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions

On testing hierarchies for protocols

Reduced supervisors for timed discrete-event systems

Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement

Timed Wp-method: testing real-time systems

Similar Documents

Conformance Testing of Temporal Role-Based Access Control Systems

Implementing design diversity to achieve fault tolerance

Real-Time Testing of Automatic Overload Control Systems in a Laboratory Environment

Control System Design for Height Measurement of BGA Balls Based on Timed Automata

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study

Using Timed Automata for Modeling Distributed Systems with Clocks: Challenges and Solutions

On testing hierarchies for protocols

Reduced supervisors for timed discrete-event systems

Online Periodic Self-Test Scheduling for Real-Time Processor-Based Systems Dependability Enhancement

Timed Wp-method: testing real-time systems