Conformance testing relations for timed systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3997 LNCS, Issue , 2006, Pages 103-117

  Núñez, Manuel ^a   Rodríguez, Ismael ^a  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTER SYSTEMS; TIME DOMAIN ANALYSIS;

CONFORMANCE TESTING; IMPLEMENTATIONS; TEMPORAL BEHAVIORS; TIMED SYSTEMS;

DESIGN FOR TESTABILITY;

EID: 33746722705     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11759744_8     Document Type: Conference Paper

References (13)

1. [AD94] R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
2. [BB04] L. Brandán Briones and E. Brinksma. A test generation framework for quiescent real-time systems. In 4th Int. Workshop on Formal Approaches to Testing of Software (FATES 2004), LNCS 3395, pages 64-78. Springer, 2004.
3. [BSS86] E. Brinksma, G. Scollo, and C. Steenbergen. LOTOS specifications, their implementations and their tests. In Protocol Specification, Testing and Verification VI, pages 349-360. North Holland, 1986.
4. [CL97] D. Clarke and I. Lee. Automatic generation of tests for timing constraints from requirements. In 3rd Workshop on Object-Oriented Real-Time. Dependable Systems, 1997.
5. [ED03] A. En-Nouaary and R. Dssouli. A guided method for testing timed input output automata. In TestCom 2003, LNCS 2644, pages 211-225. Springer, 2003.
6. [EDK02] A. En-Nouaary, R. Dssouli, and F. Khendek. Timed Wp-method: Testing real time systems. IEEE Transactions on Software Engineering, 28(11):1024-1039, 2002.
7. [HNTC99] T. Higashino, A. Nakata, K. Taniguchi, and A. Cavalli. Generating test cases for a timed I/O automaton model. In 12th Workshop on Testing of Communicating Systems, pages 197-214. Kluwer Academic Publishers, 1999.
8. [LMN04] K.G. Larsen, M. Mikucionis, and B. Nielsen. Online testing of real-time systems using uppaal. In 4th Int. Workshop on Formal Approaches to Testing of Software (FATES 2004), LNCS 3395, pages 79-94. Springer, 2004.
9. [MMM95] D. Mandrioli, S. Morasca, and A. Morzenti. Generating test cases for real time systems from logic specifications. ACM Transactions on Computer Systems, 13(4):356-398, 1995.
10. [NR02] M. Núñez and I. Rodríguez. Encoding PAMR into (timed) EFSMs. In FORTE 2002, LNCS 2529, pages 1-16. Springer, 2002.
11. [SVD01] J. Springintveld, F. Vaandrager, and P.R. D'Argenio. Testing timed automata. Theoretical Computer Science, 254(1-2):225-257, 2001.
12. [Tre96] J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103-120, 1996.
13. [Tre99] J. Tretmans. Testing concurrent systems: A formal approach. In CON-CUR'99, LNCS 1664, pages 46-65. Springer, 1999.