Conformance Tests for Real-Time Systems with Timed Automata Specifications-Reference-Cited by-同舟云学术

Conformance Tests for Real-Time Systems with Timed Automata Specifications

Published:2000-12 Issue:5 Volume:12 Page:350-371
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Cardell-Oliver Rachel¹

Affiliation:

1. Department of Computer Science, University of Essex, UK, , , , , , GB

Abstract

Abstract. A method is introduced for testing the conformance of implemented real-time systems to timed automata specifications. Uppaal timed automata are transformed into testable timed transition systems (TTTSs) using a test view. Fault hypotheses and a test generation algorithm for TTTSs are defined. Results of applying the method are presented.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s001650070009.pdf

Reference26 articles.

1. A Theory of Timed Automata;Al;Theoretical Computer Science,1994

Cited by 38 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Genetic Algorithms To Select Test Cases For Finite State Machines With Timeouts;2021 IEEE Congress on Evolutionary Computation (CEC);2021-06-28

2. Hybrid Online Model-Based Testing for Communication-Based Train Control Systems;IEEE Intelligent Transportation Systems Magazine;2018

3. Temporal Test Generation for Embedded System Based on Correlation Analysis of Timing Constraints;Communications in Computer and Information Science;2016

4. A Survey on Testing for Cyber Physical System;Testing Software and Systems;2015

5. Approximate Analyzing of Labeled Transition Systems;Mathematical Problems in Engineering;2015