메뉴 건너뛰기




Volumn 2005, Issue , 2005, Pages 392-401

One evaluation of model-based testing and its automation

Author keywords

Abstraction; Automotive software; CASE; Coverage; Model based development; Test case generation

Indexed keywords

AUTOMOTIVE SOFTWARE; MODEL BASED DEVELOPMENT; MODEL COVERAGE; TEST CASE GENERATION;

EID: 24944448110     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2005.1553582     Document Type: Conference Paper
Times cited : (142)

References (26)
  • 1
    • 0033309839 scopus 로고    scopus 로고
    • Abstracting formal specifications to generate software tests via model checking
    • October
    • P. Ammann and P. Black. Abstracting Formal Specifications to Generate Software Tests via Model Checking. In Proc. 18th Digital Avionics Systems Conference (DASC'99), volume 2, pages 10.A.6.1-10, October 1999.
    • (1999) Proc. 18th Digital Avionics Systems Conference (DASC'99) , vol.2
    • Ammann, P.1    Black, P.2
  • 3
    • 0021421787 scopus 로고
    • Protoyping versus specifying: A multiproject experiment
    • B. Boehm, T. Gray, and T. Seewaldt. Protoyping Versus Specifying: A Multiproject Experiment. IEEE TSE, SE-10(3):290-303, 1984.
    • (1984) IEEE TSE , vol.SE-10 , Issue.3 , pp. 290-303
    • Boehm, B.1    Gray, T.2    Seewaldt, T.3
  • 4
    • 0016486209 scopus 로고
    • Some experience with automated aids to the design of large-scale reliable software
    • B. Boehm, R. McClean, and D. Urfrig. Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. IEEE TSE, SE-1(1):125-133, 1975.
    • (1975) IEEE TSE , vol.SE-1 , Issue.1 , pp. 125-133
    • Boehm, B.1    McClean, R.2    Urfrig, D.3
  • 5
    • 0021453259 scopus 로고
    • An evaluation of random testing
    • July
    • J. Duran and S. Ntafos. An Evaluation of Random Testing. IEEE TSE, SE-10(4):438-444, July 1984.
    • (1984) IEEE TSE , vol.SE-10 , Issue.4 , pp. 438-444
    • Duran, J.1    Ntafos, S.2
  • 8
    • 0027644148 scopus 로고
    • An experimental comparison of the effectiveness of branch testing and data flow testing
    • P. Frankl and S. Weiss. An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. IEEE TSE, 19(8):774-787, 1993.
    • (1993) IEEE TSE , vol.19 , Issue.8 , pp. 774-787
    • Frankl, P.1    Weiss, S.2
  • 9
    • 0012944315 scopus 로고
    • An experimental comparison of the error exposing ability of program testing criteria
    • July
    • M. Girgis and M. Woodward. An experimental comparison of the error exposing ability of program testing criteria. In Proc. IEEE/ACM workshop on software testing, pages 64-73, July 1986.
    • (1986) Proc. IEEE/ACM Workshop on Software Testing , pp. 64-73
    • Girgis, M.1    Woodward, M.2
  • 10
    • 0033352121 scopus 로고    scopus 로고
    • Partition testing versus random testing: The influence of uncertainty
    • W. Gutjahr. Partition testing versus random testing: the influence of uncertainty. IEEE TSE, 25(5):661-674, 1999.
    • (1999) IEEE TSE , vol.25 , Issue.5 , pp. 661-674
    • Gutjahr, W.1
  • 12
    • 0025530786 scopus 로고
    • Partition testing does not inspire confidence
    • December
    • D. Hamlet and R. Taylor. Partition Testing Does Not Inspire Confidence. IEEE TSE, 16(12):1402-1411, December 1990.
    • (1990) IEEE TSE , vol.16 , Issue.12 , pp. 1402-1411
    • Hamlet, D.1    Taylor, R.2
  • 14
    • 15844394509 scopus 로고    scopus 로고
    • Test suite reduction for model based tests: Effects on test quality and implications for testing
    • M. Heimdahl and D. George. Test Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for testing. In Proc. 19th Intl. Conf. on Automated Software Engineering, pages 176-185, 2004.
    • (2004) Proc. 19th Intl. Conf. on Automated Software Engineering , pp. 176-185
    • Heimdahl, M.1    George, D.2
  • 16
    • 84888265186 scopus 로고    scopus 로고
    • A temporal logic based theory of test coverage and generation
    • H. Hong, I. Lee, O. Sokolsky, and H. Ural. A Temporal Logic Based Theory of Test Coverage and Generation. In Proc. TACAS'02, pages 327-341, 2002.
    • (2002) Proc. TACAS'02 , pp. 327-341
    • Hong, H.1    Lee, I.2    Sokolsky, O.3    Ural, H.4
  • 17
    • 84957360688 scopus 로고    scopus 로고
    • Consistent graphical specification of distributed systems
    • F. Huber, B. Schätz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In Proc. Formal Methods Europe, pages 122-141, 1997.
    • (1997) Proc. Formal Methods Europe , pp. 122-141
    • Huber, F.1    Schätz, B.2    Einert, G.3
  • 18
    • 0028166441 scopus 로고
    • Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
    • M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. ICSE'94, pages 191-200, 1994.
    • (1994) Proc. ICSE'94 , pp. 191-200
    • Hutchins, M.1    Foster, H.2    Goradia, T.3    Ostrand, T.4
  • 19
    • 33244489394 scopus 로고    scopus 로고
    • MOST media oriented system transport - Multimedia and control networking technology
    • MOST Cooperation
    • MOST Cooperation. MOST Media Oriented System Transport - Multimedia and Control Networking Technology. MOST Specification Rev 2.2, Ver 2.2-00. 2002.
    • (2002) MOST Specification Rev 2.2, Ver 2.2-00
  • 21
    • 0021156881 scopus 로고
    • An evaluation of required element testing strategies
    • S. Ntafos. An evaluation of required element testing strategies. In Proc. ICSE '84, pages 250-256, 1984.
    • (1984) Proc. ICSE '84 , pp. 250-256
    • Ntafos, S.1
  • 24
    • 18944378003 scopus 로고    scopus 로고
    • Compositional generation of MC/DC test suites
    • A. Pretschner. Compositional generation of MC/DC test suites. ENTCS, 82(6):1-11, 2003.
    • (2003) ENTCS , vol.82 , Issue.6 , pp. 1-11
    • Pretschner, A.1
  • 26
    • 0028437965 scopus 로고
    • Automatically generating test data from a Boolean specification
    • May
    • E. Weyuker, T. Goradia, and A. Singh. Automatically Generating Test Data from a Boolean Specification. IEEE TSE, 20(5):353-363, May 1994.
    • (1994) IEEE TSE , vol.20 , Issue.5 , pp. 353-363
    • Weyuker, E.1    Goradia, T.2    Singh, A.3


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