메뉴 건너뛰기




Volumn 34, Issue 3, 2009, Pages 238-304

Conformance testing for real-time systems

Author keywords

Conformance testing; Coverage; On the fly algorithms; Partial observability; Real time systems; Specification and verification; Test generation; Timed automata

Indexed keywords

CONFORMANCE TESTING; COVERAGE; ON-THE-FLY ALGORITHMS; PARTIAL OBSERVABILITY; SPECIFICATION AND VERIFICATION; TEST GENERATION; TIMED AUTOMATA;

EID: 67349150739     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10703-009-0065-1     Document Type: Article
Times cited : (149)

References (50)
  • 1
    • 0028413052 scopus 로고
    • A theory of timed automata
    • R Alur D Dill 1994 A theory of timed automata Theor Comput Sci 126 183 235
    • (1994) Theor Comput Sci , vol.126 , pp. 183-235
    • Alur, R.1    Dill, D.2
  • 2
    • 85028755887 scopus 로고
    • A determinizable class of timed automata
    • Springer Berlin
    • Alur R, Fix L, Henzinger T (1994) A determinizable class of timed automata. In: CAV'94. LNCS, vol 818. Springer, Berlin
    • (1994) CAV'94 LNCS 818
    • Alur, R.1    Fix, L.2    Henzinger, T.3
  • 4
    • 0344824010 scopus 로고    scopus 로고
    • On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata
    • Formal Methods and Software Engineering
    • Bengtsson J, Yi W (2003) On clock difference constraints and termination in reachability analysis of timed automata. In: ICFEM'03. LNCS, vol 2885. Springer, Berlin (Pubitemid 37476828)
    • (2003) LECTURE NOTES IN COMPUTER SCIENCE , Issue.2885 , pp. 491-503
    • Bengtsson, J.1    Yi, W.2
  • 6
    • 0000767643 scopus 로고    scopus 로고
    • Characterization of the Expressive Power of Silent Transitions in Timed Automata
    • B Berard A Petit V Diekert P Gastin 1998 Characterization of the expressive power of silent transitions in timed automata Fund Inform 36 2-3 145 182 (Pubitemid 128436228)
    • (1998) Fundamenta Informaticae , vol.36 , Issue.2 , pp. 145-182
    • Berard, B.1    Petit, A.2    Diekert, V.3    Gastin, P.4
  • 7
    • 0020904451 scopus 로고
    • ENUMERATIVE APPROACH FOR ANALYZING TIME PETRI NETS.
    • B Berthomieu M Menasche 1983 An enumerative approach for analyzing time Petri nets IFIP Congr Ser 9 41 46 (Pubitemid 14559987)
    • (1983) IFIP Congress Series , vol.9 , pp. 41-46
    • Berthomieu Bernard1    Menasche Miguel2
  • 10
    • 3543131363 scopus 로고    scopus 로고
    • Forward analysis of updatable timed automata
    • P Bouyer 2004 Forward analysis of updatable timed automata Formal Methods in System Design 24 3 281 320
    • (2004) Formal Methods in System Design , vol.24 , Issue.3 , pp. 281-320
    • Bouyer, P.1
  • 11
    • 24644441365 scopus 로고    scopus 로고
    • Fault diagnosis using timed automata
    • Springer Berlin
    • Bouyer P, Chevalier F, D'Souza D (2005) Fault diagnosis using timed automata. In: FoSSaCS'05. LNCS, vol 3441. Springer, Berlin, pp 219-233
    • (2005) FoSSaCS'05 LNCS 3441 , pp. 219-233
    • Bouyer, P.1    Chevalier, F.2    D'Souza, D.3
  • 16
    • 23044529830 scopus 로고    scopus 로고
    • Testing transition systems: An annotated bibliography
    • Springer Berlin
    • Brinksma E, Tretmans J (2001) Testing transition systems: an annotated bibliography. In: MOVEP 2000. LNCS, vol 2067. Springer, Berlin
    • (2001) MOVEP 2000 LNCS 2067
    • Brinksma, E.1    Tretmans, J.2
  • 17
    • 33646757155 scopus 로고    scopus 로고
    • A test generation framework for quiescent real-time systems
    • Springer Berlin
    • Briones L, Brinksma E (2004) A test generation framework for quiescent real-time systems. In: FATES'04. LNCS, vol 3395. Springer, Berlin
    • (2004) FATES'04 LNCS 3395
    • Briones, L.1    Brinksma, E.2
  • 18
    • 0036980279 scopus 로고    scopus 로고
    • Conformance test experiments for distributed real-time systems
    • ACM New York
    • Cardell-Oliver R (2002) Conformance test experiments for distributed real-time systems. In: ISSTA'02. ACM, New York
    • (2002) ISSTA'02
    • Cardell-Oliver, R.1
  • 19
    • 0017973244 scopus 로고
    • TESTING SOFTWARE DESIGN MODELED BY FINITE-STATE MACHINES.
    • Chow TS (1978) Testing software design modeled by finite-state machines. IEEE Trans Softw Eng 4(1) (Pubitemid 8602457)
    • (1978) IEEE Transactions on Software Engineering , vol.SE-4 , Issue.3 , pp. 178-187
    • Chow Tsun, S.1
  • 23
    • 84947909489 scopus 로고    scopus 로고
    • Model Checking of Real-Time Reachability Properties Using Abstractions
    • Tools and Algorithms for the Construction and Analysis of Systems
    • Daws C, Tripakis S (1998) Model checking of real-time reachability properties using abstractions. In: Tools and algorithms for the construction and analysis of systems '98, Lisbon, Portugal. LNCS, vol 1384. Springer, Berlin (Pubitemid 128055552)
    • (1998) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1384 , pp. 313-329
    • Daws, C.1    Tripakis, S.2
  • 25
    • 0032299323 scopus 로고    scopus 로고
    • Timed test cases generation based on state characterization technique
    • IEEE New York
    • En-Nouaary A, Dssouli R, Khendek F, Elqortobi A (1998) Timed test cases generation based on state characterization technique. In: RTSS'98. IEEE, New York
    • (1998) RTSS'98
    • En-Nouaary, A.1    Dssouli, R.2    Khendek, F.3    Elqortobi, A.4
  • 26
    • 72349100435 scopus 로고    scopus 로고
    • Using on-the-fly verification techniques for the generation of test suites
    • Computer Aided Verification
    • Fernandez JC, Jard C, Jéron T, Viho G (1996) Using on-the-fly verification techniques for the generation of test suites. In: CAV'96. LNCS, vol 1102. Springer, Berlin (Pubitemid 126101294)
    • (1996) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1102 , pp. 348-359
    • Fernandez, J.-C.1    Jard, C.2    Jeron, T.3    Viho, G.4
  • 27
    • 84947942612 scopus 로고    scopus 로고
    • A Bounded Retransmission Protocol for Large Data Packets
    • Algebraic Methodology and Software Technology
    • Groote JF, van de Pol J (1996) A bounded retransmission protocol for large data packets. In: Algebraic methodology and software technology, pp 536-550 (Pubitemid 126091986)
    • (1996) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1101 , pp. 536-550
    • Groote, J.F.1    Van De Pol, J.2
  • 31
    • 35048867237 scopus 로고
    • Open systems interconnection conformance testing methodology and framework-part 1: General concept; Part 2: Abstract test suite specification; Part 3: The tree and tabular combined notation (TTCN)
    • ISO/IEC Technical Report 9646 Genève
    • ISO/IEC (1992) Open systems interconnection conformance testing methodology and framework-part 1: general concept; part 2: abstract test suite specification; part 3: the tree and tabular combined notation (TTCN). Technical Report 9646, International Organization for Standardization-Information Processing Systems-Open Systems Interconnection, Genève
    • (1992) International Organization for Standardization-Information Processing Systems-Open Systems Interconnection
  • 38
    • 67349165874 scopus 로고    scopus 로고
    • Online testing of real-time systems using uppaal
    • Springer Berlin
    • Larsen K, Mikucionis M, Nielsen B (2004) Online testing of real-time systems using uppaal. In: FATES'04. LNCS, vol 3395. Springer, Berlin
    • (2004) FATES'04 LNCS 3395
    • Larsen, K.1    Mikucionis, M.2    Nielsen, B.3
  • 40
    • 0030212784 scopus 로고    scopus 로고
    • Principles and methods of testing finite state machines - A survey
    • PII S0018921996055247
    • D Lee M Yannakakis 1996 Principles and methods of testing finite state machines-a survey Proc IEEE 84 1090 1126 (Pubitemid 126752579)
    • (1996) Proceedings of the IEEE , vol.84 , Issue.8 , pp. 1090-1123
    • Lee, D.1    Yannakakis, M.2
  • 42
    • 84903139022 scopus 로고    scopus 로고
    • Automated Test Generation from Timed Automata
    • Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
    • Nielsen B, Skou A (2001) Automated test generation from timed automata. In: TACAS'01. LNCS, vol 2031. Springer, Berlin (Pubitemid 33254669)
    • (2001) LECTURE NOTES IN COMPUTER SCIENCE , Issue.2031 , pp. 343-357
    • Nielsen, B.1    Skou, A.2
  • 44
    • 0004020815 scopus 로고    scopus 로고
    • Dynamical properties of timed automata
    • A Puri 2000 Dynamical properties of timed automata Discrete Event Dyn Syst 10 1-2 87 113
    • (2000) Discrete Event Dyn Syst , vol.10 , Issue.12 , pp. 87-113
    • Puri, A.1
  • 47
    • 84888268734 scopus 로고    scopus 로고
    • Testing concurrent systems: A formal approach
    • Springer Berlin
    • Tretmans J (1999) Testing concurrent systems: a formal approach. In: CONCUR'99. LNCS, vol 1664. Springer, Berlin
    • (1999) CONCUR'99 LNCS 1664
    • Tretmans, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.