By Topic

Specification and Verification of Time Properties in Distributed Automation Systems during Test Planning Phase

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Jovalekic, S. ; Inst. for Real-Time Syst. & Software Eng., Albstadt-Sigmaringen Univ., Albstadt, Germany ; Nguyen, T.

Test cases for distributed real-time systems are described with time-dependent cause-effect graphs including communication channels, messages and time requirements. The specification of time requirements for a test object uses time limits and intervals. In early development phases test reliability can be improved by means of configuration specification of a test object. The configuration consists of test object structure, node processing times and transmissions times between nodes. This information delivers more accurate data for test planning. This paper describes the specification of time properties in test cases, in test objects and their verification. It includes the selection of the communication paths between considered nodes. The transmission times between nodes are calculated dependent on transmission line parameters. In summary processing time along the communication path is calculated. The time comparison considers min/max values of time requirements and min/max processing time of the test object. This approach is universally valid and belongs to the class of white-box system testing. The procedure was approved for master-slave systems in a building security system.

Published in:

Computer Software and Applications Conference Workshops (COMPSACW), 2011 IEEE 35th Annual

Date of Conference:

18-22 July 2011