메뉴 건너뛰기




Volumn 6659 LNCS, Issue , 2011, Pages 297-326

Model-based testing and some steps towards test-based modelling

Author keywords

automata learning; model based testing; test based modelling

Indexed keywords

AUTOMATA LEARNING; LABELLED TRANSITION SYSTEMS; MODEL BASED TESTING; TEST CASE; TEST COVERAGE; TEST-BASED MODELLING; BASED MODELLING; THIRD PARTIES;

EID: 79959216670     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21455-4_9     Document Type: Conference Paper
Times cited : (34)

References (50)
  • 1
    • 78249243521 scopus 로고    scopus 로고
    • Master's thesis, Institute for Computing and Information Sciences, Radboud University, and Uppsala University, Nijmegen, The Netherlands, and Uppsala, Sweden
    • Aarts, F.: Inference and Abstraction of Communication Protocols. Master's thesis, Institute for Computing and Information Sciences, Radboud University, and Uppsala University, Nijmegen, The Netherlands, and Uppsala, Sweden (2009)
    • (2009) Inference and Abstraction of Communication Protocols
    • Aarts, F.1
  • 2
    • 78650271044 scopus 로고    scopus 로고
    • Inference and abstraction of the biometric passport
    • Margaria, T., Steffen, B. (eds.) ISoLA 2010. Springer, Heidelberg
    • Aarts, F., Schmaltz, J., Vaandrager, F.: Inference and abstraction of the biometric passport. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 673-686. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6415 , pp. 673-686
    • Aarts, F.1    Schmaltz, J.2    Vaandrager, F.3
  • 3
    • 78249237871 scopus 로고    scopus 로고
    • Learning I/O Automata
    • Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. Springer, Heidelberg
    • Aarts, F., Vaandrager, F.: Learning I/O Automata. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 71-85. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6269 , pp. 71-85
    • Aarts, F.1    Vaandrager, F.2
  • 4
    • 0023453626 scopus 로고
    • Learning Regular Sets from Queries and Counterexamples
    • Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87-106 (1987)
    • (1987) Information and Computation , vol.75 , Issue.2 , pp. 87-106
    • Angluin, D.1
  • 5
    • 77951568200 scopus 로고    scopus 로고
    • JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
    • Esparza, J., Majumdar, R. (eds.) TACAS 2010. Springer, Heidelberg
    • Belinfante, A.: JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266-270. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6015 , pp. 266-270
    • Belinfante, A.1
  • 6
    • 33745793169 scopus 로고    scopus 로고
    • Regular Inference for State Machines with Parameters
    • Baresi, L., Heckel, R. (eds.) FASE 2006. Springer, Heidelberg
    • Berg, T., Jonsson, B., Raffelt, H.: Regular Inference for State Machines with Parameters. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 107-121. Springer, Heidelberg (2006)
    • (2006) LNCS , vol.3922 , pp. 107-121
    • Berg, T.1    Jonsson, B.2    Raffelt, H.3
  • 7
    • 0026256511 scopus 로고
    • Software testing based on formal specifications: A theory and a tool
    • November
    • Bernot, G., Gaudel, M.G., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 387-405 (November 1991)
    • (1991) Software Engineering Journal , pp. 387-405
    • Bernot, G.1    Gaudel, M.G.2    Marre, B.3
  • 8
    • 37149001046 scopus 로고    scopus 로고
    • Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning
    • Grumberg, O., Huth, M. (eds.) TACAS 2007. Springer, Heidelberg
    • Bollig, B., Katoen, J.P., Kern, C., Leucker, M.: Replaying Play in and Play out: Synthesis of Design Models from Scenarios by Learning. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 435-450. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4424 , pp. 435-450
    • Bollig, B.1    Katoen, J.P.2    Kern, C.3    Leucker, M.4
  • 9
    • 79959221690 scopus 로고
    • On the coverage of partial validations
    • Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1993. Springer, Heidelberg
    • Brinksma, E.: On the coverage of partial validations. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds.) AMAST 1993. BCS-FACS Workshops in Computing Series, pp. 247-254. Springer, Heidelberg (1993)
    • (1993) BCS-FACS Workshops in Computing Series , pp. 247-254
    • Brinksma, E.1
  • 10
  • 11
    • 38349031237 scopus 로고    scopus 로고
    • Model-Based Testing of Reactive Systems
    • Springer, Heidelberg
    • Broy, M., Jonsson, B., Katoen, J.P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3472
    • Broy, M.1    Jonsson, B.2    Katoen, J.P.3    Leucker, M.4    Pretschner, A.5
  • 12
    • 26444516479 scopus 로고    scopus 로고
    • Testing Concurrent Object-Oriented Systems with Spec Explorer - Extended Abstract
    • Fitzgerald, J., Hayes, I., Tarlecki, A. (eds.) FM 2005. Springer, Heidelberg
    • Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing Concurrent Object-Oriented Systems with Spec Explorer - Extended Abstract. In: Fitzgerald, J., Hayes, I., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 542-547. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3582 , pp. 542-547
    • Campbell, C.1    Grieskamp, W.2    Nachmanson, L.3    Schulte, W.4    Tillmann, N.5    Veanes, M.6
  • 13
    • 43349083046 scopus 로고    scopus 로고
    • Sensitivity analysis of the metric based test selection
    • Kim, M., Kang, S., Hong, K. (eds.) Chapman & Hall, Boca Raton
    • Curgus, J., Vuong, S.: Sensitivity analysis of the metric based test selection. In: Kim, M., Kang, S., Hong, K. (eds.) Int. Workshop on Testing of Communicating Systems, vol. 10, pp. 200-219. Chapman & Hall, Boca Raton (1997)
    • (1997) Int. Workshop on Testing of Communicating Systems , vol.10 , pp. 200-219
    • Curgus, J.1    Vuong, S.2
  • 14
    • 0023331721 scopus 로고
    • Extensional Equivalences for Transition Systems
    • De Nicola, R.: Extensional Equivalences for Transition Systems. Acta Informatica 24, 211-237 (1987)
    • (1987) Acta Informatica , vol.24 , pp. 211-237
    • De Nicola, R.1
  • 18
    • 5044221862 scopus 로고    scopus 로고
    • Test Selection, Trace Distance and Heuristics
    • Schieferdecker, I., König, H., Wolisz, A. (eds.) Kluwer Academic Publishers, Dordrecht
    • Feijs, L., Goga, N., Mauw, S., Tretmans, J.: Test Selection, Trace Distance and Heuristics. In: Schieferdecker, I., König, H., Wolisz, A. (eds.) Testing of Communicating Systems XIV, pp. 267-282. Kluwer Academic Publishers, Dordrecht (2002)
    • (2002) Testing of Communicating Systems XIV , pp. 267-282
    • Feijs, L.1    Goga, N.2    Mauw, S.3    Tretmans, J.4
  • 19
    • 24144445643 scopus 로고    scopus 로고
    • Test Generation Based on Symbolic Specifications
    • Grabowski, J., Nielsen, B. (eds.) FATES 2004. Springer, Heidelberg
    • Frantzen, L., Tretmans, J., Willemse, T.: Test Generation Based on Symbolic Specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 1-15. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3395 , pp. 1-15
    • Frantzen, L.1    Tretmans, J.2    Willemse, T.3
  • 20
    • 84957623309 scopus 로고
    • Testing can be formal, too
    • Mosses, P., Nielsen, M., Schwartzbach, M. (eds.) TAPSOFT 1995. Springer, Heidelberg
    • Gaudel, M.C.: Testing can be formal, too. In: Mosses, P., Nielsen, M., Schwartzbach, M. (eds.) TAPSOFT 1995. LNCS, vol. 915, pp. 82-96. Springer, Heidelberg (1995)
    • (1995) LNCS , vol.915 , pp. 82-96
    • Gaudel, M.C.1
  • 21
    • 79959228604 scopus 로고    scopus 로고
    • Microsoft's protocol documentation program: A success story for model-based testing
    • Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. Springer, Heidelberg
    • Grieskamp, W.: Microsoft's protocol documentation program: A success story for model-based testing. In: Bottaci, L., Fraser, G. (eds.) TAIC PART 2010. LNCS, vol. 6303, pp. 7-7. Springer, Heidelberg (2010)
    • (2010) LNCS , vol.6303 , pp. 7-7
    • Grieskamp, W.1
  • 22
    • 79959229115 scopus 로고    scopus 로고
    • Relating Conformance Test Coverage to Formal Specifications
    • Gotzhein, R. (ed.) Chapman & Hall, Boca Raton
    • Groz, R., Charles, O., Renévot, J.: Relating Conformance Test Coverage to Formal Specifications. In: Gotzhein, R. (ed.) FORTE 1996. Chapman & Hall, Boca Raton (1996)
    • (1996) FORTE , vol.1996
    • Groz, R.1    Charles, O.2    Renévot, J.3
  • 23
    • 33750547975 scopus 로고    scopus 로고
    • Domain-Specific Optimization in Automata Learning
    • Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. Springer, Heidelberg
    • Hungar, H., Margaria, T., Steffen, B.: Domain-Specific Optimization in Automata Learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315-327. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2725 , pp. 315-327
    • Hungar, H.1    Margaria, T.2    Steffen, B.3
  • 26
    • 23944432682 scopus 로고    scopus 로고
    • TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems
    • Jard, C., Jéron, T.: TGV: Theory, Principles and Algorithms: A Tool for the Automatic Synthesis of Conformance Test Cases for Non-Deterministic Reactive Systems. Software Tools for Technology Transfer 7(4), 297-315 (2005)
    • (2005) Software Tools for Technology Transfer , vol.7 , Issue.4 , pp. 297-315
    • Jard, C.1    Jéron, T.2
  • 27
    • 24644500355 scopus 로고    scopus 로고
    • Symbolic Test Selection based on Approximate Analysis
    • Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. Springer, Heidelberg
    • Jeannet, B., Jéron, T., Rusu, V., Zinovieva, E.: Symbolic Test Selection based on Approximate Analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 349-364. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3440 , pp. 349-364
    • Jeannet, B.1    Jéron, T.2    Rusu, V.3    Zinovieva, E.4
  • 29
    • 21144450432 scopus 로고    scopus 로고
    • Gast: Generic Automated Software Testing
    • Peña, R., Arts, T. (eds.) IFL 2002. Springer, Heidelberg
    • Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic Automated Software Testing. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol. 2670, pp. 84-100. Springer, Heidelberg (2003)
    • (2003) LNCS , vol.2670 , pp. 84-100
    • Koopman, P.1    Alimarine, A.2    Tretmans, J.3    Plasmeijer, R.4
  • 30
    • 24144442677 scopus 로고    scopus 로고
    • Online Testing of Real-Time Systems using Uppaal
    • Grabowski, J., Nielsen, B. (eds.) FATES 2004. Springer, Heidelberg
    • Larsen, K., Mikucionis, M., Nielsen, B.: Online Testing of Real-Time Systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79-94. Springer, Heidelberg (2005)
    • (2005) LNCS , vol.3395 , pp. 79-94
    • Larsen, K.1    Mikucionis, M.2    Nielsen, B.3
  • 31
    • 0030212784 scopus 로고    scopus 로고
    • Principles and Methods for Testing Finite State Machines - A Survey
    • Lee, D., Yannakakis, M.: Principles and Methods for Testing Finite State Machines - A Survey. The Proceedings of the IEEE 84(8), 1090-1123 (1996)
    • (1996) The Proceedings of the IEEE , vol.84 , Issue.8 , pp. 1090-1123
    • Lee, D.1    Yannakakis, M.2
  • 33
    • 0004215089 scopus 로고    scopus 로고
    • Morgan Kaufmann Publishers Inc., San Francisco
    • Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers Inc., San Francisco (1996)
    • (1996) Distributed Algorithms
    • Lynch, N.1
  • 35
    • 70549112173 scopus 로고    scopus 로고
    • Model-Based Testing of Electronic Passports
    • Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. Springer, Heidelberg
    • Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., Wichers Schreur, R.: Model-Based Testing of Electronic Passports. In: Alpuente, M., Cook, B., Joubert, C. (eds.) FMICS 2009. LNCS, vol. 5825, pp. 207-209. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5825 , pp. 207-209
    • Mostowski, W.1    Poll, E.2    Schmaltz, J.3    Tretmans, J.4    Wichers Schreur, R.5
  • 36
    • 38149050532 scopus 로고    scopus 로고
    • Integrating Verification, Testing, and Learning for Cryptographic Protocols
    • Davies, J., Gibbons, J. (eds.) IFM 2007. Springer, Heidelberg
    • Oostdijk, M., Rusu, V., Tretmans, J., de Vries, R., Willemse, T.C.: Integrating Verification, Testing, and Learning for Cryptographic Protocols. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 538-557. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4591 , pp. 538-557
    • Oostdijk, M.1    Rusu, V.2    Tretmans, J.3    De Vries, R.4    Willemse, T.C.5
  • 38
    • 33745891945 scopus 로고    scopus 로고
    • Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
    • Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. Springer, Heidelberg
    • Petrenko, A.: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196-205. Springer, Heidelberg (2001)
    • (2001) LNCS , vol.2067 , pp. 196-205
    • Petrenko, A.1
  • 41
    • 0000101791 scopus 로고    scopus 로고
    • Test Generation with Inputs, Outputs and Repetitive Quiescence
    • Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software - Concepts and Tools 17(3), 103-120 (1996)
    • (1996) Software - Concepts and Tools , vol.17 , Issue.3 , pp. 103-120
    • Tretmans, J.1
  • 43
    • 43349104926 scopus 로고    scopus 로고
    • Model Based Testing with Labelled Transition Systems
    • Hierons, R., Bowen, J., Harman, M. (eds.) FORTEST. Springer, Heidelberg
    • Tretmans, J.: Model Based Testing with Labelled Transition Systems. In: Hierons, R., Bowen, J., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1-38. Springer, Heidelberg (2008)
    • (2008) LNCS , vol.4949 , pp. 1-38
    • Tretmans, J.1
  • 47
    • 33646169978 scopus 로고    scopus 로고
    • Automated Testing in Practice: The Highway Tolling System
    • Schieferdecker, I., König, H., Wolisz, A. (eds.) Kluwer Academic Publishers, Dordrecht
    • de Vries, R., Belinfante, A., Feenstra, J.: Automated Testing in Practice: The Highway Tolling System. In: Schieferdecker, I., König, H., Wolisz, A. (eds.) Testing of Communicating Systems XIV, pp. 219-234. Kluwer Academic Publishers, Dordrecht (2002)
    • (2002) Testing of Communicating Systems XIV , pp. 219-234
    • De Vries, R.1    Belinfante, A.2    Feenstra, J.3
  • 48
    • 0042708426 scopus 로고    scopus 로고
    • Towards Formal Test Purposes
    • Brinksma, E., Tretmans, J. (eds.) Formal Approaches to Testing of Software - FATES 2001. BRICS, University of Aarhus, Denmark
    • de Vries, R., Tretmans, J.: Towards Formal Test Purposes. In: Brinksma, E., Tretmans, J. (eds.) Formal Approaches to Testing of Software - FATES 2001. BRICS Notes Series, vol. NS-01-4, pp. 61-76. BRICS, University of Aarhus, Denmark (2001)
    • (2001) BRICS Notes Series , vol.NS-01-4 , pp. 61-76
    • De Vries, R.1    Tretmans, J.2
  • 49
    • 36348933841 scopus 로고    scopus 로고
    • Heuristics for ioco-Based Test-Based Modelling
    • Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. Springer, Heidelberg
    • Willemse, T.: Heuristics for ioco-Based Test-Based Modelling. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol. 4346, pp. 132-147. Springer, Heidelberg (2007)
    • (2007) LNCS , vol.4346 , pp. 132-147
    • Willemse, T.1


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