메뉴 건너뛰기




Volumn 5, Issue 1, 2003, Pages 59-77

Automated test generation from timed automata

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST GENERATIONS; AUTOMATIC GENERATION; COVERAGE CRITERIA; NONDETERMINISTIC SYSTEMS; PROTOTYPE TOOLS; SYMBOLIC TECHNIQUES; TEST GENERATIONS; TIMED AUTOMATA SPECIFICATIONS;

EID: 84896692680     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-002-0094-1     Document Type: Article
Times cited : (48)

References (41)
  • 1
    • 0028413052 scopus 로고
    • A theory of timed automata
    • Alur R, Dill DL: A theory of timed automata. Theoret Comput Sci 126(2): 183-235, 1994.
    • (1994) Theoret Comput Sci , vol.126 , Issue.2 , pp. 183-235
    • Alur, R.1    Dill, D.L.2
  • 5
    • 85012688561 scopus 로고
    • Princeton University Press, Princeton, New Jersey
    • Bellman R: Dynamic programming. Princeton University Press, Princeton, New Jersey, 1957.
    • (1957) Dynamic programming
    • Bellman, R.1
  • 9
    • 0031376266 scopus 로고    scopus 로고
    • On-the-fly symbolic model-checking for real-time systems
    • San Fransisco, Calif., USA. IEEE Computer, New York
    • Bouajjani A, Tripakis S, Yovine S: On-the-fly symbolic model-checking for real-time systems. In: 1997 IEEE Real-Time Systems Symposium, RTSS'97, San Fransisco, Calif., USA. IEEE Computer, New York, 1996.
    • (1996) 1997 IEEE Real-Time Systems Symposium, RTSS'97
    • Bouajjani, A.1    Tripakis, S.2    Yovine, S.3
  • 12
    • 0141748313 scopus 로고    scopus 로고
    • Testing timing behaviors of real time software
    • San Francisco, Calif., USA
    • Braberman V, Felder M, Marré M: Testing timing behaviors of real time software. In: Quality Week 1997. San Francisco, Calif., USA, 1997, pp. 143-155.
    • (1997) Quality Week 1997 , pp. 143-155
    • Braberman, V.1    Felder, M.2    Marré, M.3
  • 14
    • 0013142755 scopus 로고    scopus 로고
    • Conformance testing of real-time systems with timed automata
    • Cardell-Oliver R: Conformance testing of real-time systems with timed automata. Formal Aspects Comput 12(5): 350-371, 2000.
    • (2000) Formal Aspects Comput , vol.12 , Issue.5 , pp. 350-371
    • Cardell-Oliver, R.1
  • 19
    • 0012035918 scopus 로고
    • Testing equivalence as a bisimulation equivalence
    • Cleaveland R, Hennessy M: Testing equivalence as a bisimulation equivalence. Formal Aspects Comput 5: 1-20, 1993.
    • (1993) Formal Aspects Comput , vol.5 , pp. 1-20
    • Cleaveland, R.1    Hennessy, M.2
  • 20
    • 0030414046 scopus 로고    scopus 로고
    • Reducing the number of clock variables of timed automata
    • Washington, DC, USA. IEEE Computer, New York
    • Daws C, Yovine S: Reducing the number of clock variables of timed automata. In: 1996 IEEE Real-Time Systems Symposium, RTSS'96, Washington, DC, USA. IEEE Computer, New York, 1996.
    • (1996) 1996 IEEE Real-Time Systems Symposium, RTSS'96
    • Daws, C.1    Yovine, S.2
  • 25
    • 0006202814 scopus 로고    scopus 로고
    • Automated test generation from SDL specifications
    • 21-25 June. Montréal, Québec, Canada
    • Kerbrat A, Jéron T, Groz R: Automated test generation from SDL specifications. In: 9th SDL Forum, 21-25 June. Montréal, Québec, Canada, 1999.
    • (1999) 9th SDL Forum
    • Kerbrat, A.1    Jéron, T.2    Groz, R.3
  • 26
    • 0004327108 scopus 로고    scopus 로고
    • Technical Report, AT&T Bell Laboratories, Murray Hill, N. J., USA
    • Koustsofios E, North SC: Drawing graphs with dot. Technical Report http://www. research. att. com/sw/tools/graphviz/ dotguide. ps. gz, AT&T Bell Laboratories, Murray Hill, N. J., USA, 1999.
    • (1999) Drawing graphs with dot
    • Koustsofios, E.1    North, S.C.2
  • 27
    • 0031357735 scopus 로고    scopus 로고
    • Efficient verification of real-time systems: compact data structures and state-space reduction
    • Larsen KG, Larsson F, Petterson P, Yi W: Efficient verification of real-time systems: compact data structures and state-space reduction. In: 18th IEEE Real-Time Systems Symposium, 1997, pp. 14-24.
    • (1997) 18th IEEE Real-Time Systems Symposium , pp. 14-24
    • Larsen, K.G.1    Larsson, F.2    Petterson, P.3    Yi, W.4
  • 29
    • 84896881659 scopus 로고    scopus 로고
    • OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
    • Leblanc P: OMT and SDL based techniques and tools for design, simulation and test production of distributed systems. Int J Software Tools Technol Transfer 1(1+2): 153-165, 1997.
    • (1997) Int J Software Tools Technol Transfer , vol.1 , Issue.1-2 , pp. 153-165
    • Leblanc, P.1
  • 30
    • 84976832662 scopus 로고
    • Generating test cases for real-time systems from logic specifications
    • Mandrioli D, Morasca S, Morzenti A: Generating test cases for real-time systems from logic specifications. ACM Trans Comput Syst 13(4): 365-398, 1995.
    • (1995) ACM Trans Comput Syst , vol.13 , Issue.4 , pp. 365-398
    • Mandrioli, D.1    Morasca, S.2    Morzenti, A.3
  • 32
    • 18144423448 scopus 로고    scopus 로고
    • PhD thesis, Department of Computer Science, Aalborg University, Denmark
    • Nielsen B: Specification and test of real-time systems. PhD thesis, Department of Computer Science, Aalborg University, Denmark, 2000.
    • (2000) Specification and test of real-time systems
    • Nielsen, B.1
  • 33
    • 26444551040 scopus 로고    scopus 로고
    • Formal methods for the international space station ISS
    • Olderog ER, Steffen B (eds). Springer, Berlin Heidelberg New York
    • Peleska J, Buth B: Formal methods for the international space station ISS. In: Olderog ER, Steffen B (eds) Correct System Design. Lecture Notes in Computer Science, vol. 1710. Springer, Berlin Heidelberg New York, 1999, pp. 363-389.
    • (1999) Correct System Design. Lecture Notes in Computer Science , vol.1710 , pp. 363-389
    • Peleska, J.1    Buth, B.2
  • 37
  • 41
    • 0002381572 scopus 로고
    • Automatic verification of real-time communicating systems by constraint solving
    • North-Holland, Amsterdam, The Netherlands
    • Yi W, Pettersson P, Daniels M: Automatic verification of real-time communicating systems by constraint solving. In: 7th Int. Conf. on Formal Description Techniques. North-Holland, Amsterdam, The Netherlands, 1994, pp. 223-238.
    • (1994) 7th Int. Conf. on Formal Description Techniques , pp. 223-238
    • Yi, W.1    Pettersson, P.2    Daniels, M.3


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