메뉴 건너뛰기




Volumn 7641 LNCS, Issue , 2012, Pages 8-23

Efficient and trustworthy tool qualification for model-based testing tools

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE DOMAINS; AVIONIC DOMAINS; CODE GENERATORS; COMPLEX COMPONENTS; CONSTRAINT SOLVING; DETECTION CAPABILITY; ERROR-DETECTION MECHANISM; FAULTY SYSTEMS; GENERAL APPROACH; MODEL-BASED TEST; MODEL-BASED TESTING TOOL; SAFETY-CRITICAL; TEST AUTOMATION TOOL; TEST CAMPAIGN; TEST DATA; TEST EXECUTION; TEST PROCEDURES; VERIFICATION ACTIVITIES;

EID: 84870038576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34691-0_3     Document Type: Conference Paper
Times cited : (10)

References (18)
  • 1
    • 0029713481 scopus 로고    scopus 로고
    • T-VEC: A Tool for Developing Critical Systems
    • IEEE Computer Society Press
    • Blackburn, M.R., Busser, R.D.: T-VEC: A Tool for Developing Critical Systems. In: Compass, pp. 237-249. IEEE Computer Society Press (1996)
    • (1996) Compass , pp. 237-249
    • Blackburn, M.R.1    Busser, R.D.2
  • 2
    • 0026116649 scopus 로고
    • Replay and Testing for Concurrent Programs
    • Carver, R.H., Tai, K.C.: Replay and Testing for Concurrent Programs. IEEE Software 8(2), 66-74 (1991)
    • (1991) IEEE Software , vol.8 , Issue.2 , pp. 66-74
    • Carver, R.H.1    Tai, K.C.2
  • 3
    • 85050550846 scopus 로고
    • Abstract Interpretation: A Unified Lattice model for Static Analysis of Programs by Construction or Approximation of Fixpoints
    • ACM Press
    • Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: POPL, pp. 238-252. ACM Press (1977)
    • (1977) POPL , pp. 238-252
    • Cousot, P.1    Cousot, R.2
  • 4
    • 84962259702 scopus 로고    scopus 로고
    • Towards Formally Verified Optimizing Compilation in Flight Control Software
    • Schloss Dagstuhl
    • França, R.B., Favre-Felix, D., Leroy, X., Pantel, M., Souyris, J.: Towards Formally Verified Optimizing Compilation in Flight Control Software. In: PPES. OASICS, vol. 18, pp. 5-9-68. Schloss Dagstuhl (2011)
    • (2011) PPES. OASICS , vol.18
    • França, R.B.1    Favre-Felix, D.2    Leroy, X.3    Pantel, M.4    Souyris, J.5
  • 5
    • 80053043024 scopus 로고    scopus 로고
    • Establishing Confidence in the Usage of Software Tools in Context of ISO 26262
    • Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. Springer, Heidelberg
    • Hillebrand, J., Reichenpfader, P., Mandic, I., Siegl, H., Peer, C.: Establishing Confidence in the Usage of Software Tools in Context of ISO 26262. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 257-269. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6894 , pp. 257-269
    • Hillebrand, J.1    Reichenpfader, P.2    Mandic, I.3    Siegl, H.4    Peer, C.5
  • 9
    • 67650088351 scopus 로고    scopus 로고
    • Formal Verification of a Realistic Compiler
    • Leroy, X.: Formal Verification of a Realistic Compiler. Commun. ACM 52(7), 107-115 (2009)
    • (2009) Commun. ACM , vol.52 , Issue.7 , pp. 107-115
    • Leroy, X.1
  • 10
    • 77954531449 scopus 로고    scopus 로고
    • Timed Moore Automata: Test Data Generation and Model Checking
    • IEEE Computer Society
    • Löding, H., Peleska, J.: Timed Moore Automata: Test Data Generation and Model Checking. In: ICST, pp. 449-458. IEEE Computer Society (2010)
    • (2010) ICST , pp. 449-458
    • Löding, H.1    Peleska, J.2
  • 11
    • 77950895355 scopus 로고    scopus 로고
    • Verified Just-in-Time Compiler on x86
    • ACM
    • Myreen, M.O.: Verified Just-in-Time Compiler on x86. In: POPL, pp. 107-118. ACM (2010)
    • (2010) POPL , pp. 107-118
    • Myreen, M.O.1
  • 12
    • 79955041171 scopus 로고    scopus 로고
    • Automated Test Case Generation with SMT-Solving and Abstract Interpretation
    • Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. Springer, Heidelberg
    • Peleska, J., Vorobev, E., Lapschies, F.: Automated Test Case Generation with SMT-Solving and Abstract Interpretation. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 298-312. Springer, Heidelberg (2011)
    • (2011) LNCS , vol.6617 , pp. 298-312
    • Peleska, J.1    Vorobev, E.2    Lapschies, F.3
  • 13
    • 84873388002 scopus 로고    scopus 로고
    • Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
    • Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. Springer, Heidelberg
    • Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., Schoen, D.: Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1798-1815. Springer, Heidelberg (1999)
    • (1999) LNCS , vol.1709 , pp. 1798-1815
    • Randimbivololona, F.1    Souyris, J.2    Baudin, P.3    Pacalet, A.4    Raguideau, J.5    Schoen, D.6
  • 15
    • 0003666540 scopus 로고    scopus 로고
    • RTCA SC-167/EUROCAE WG-12. Number RTCA/DO-178B. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 December
    • RTCA SC-167/EUROCAE WG-12. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA/DO-178B. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 (December 1992)
    • (1992) Software Considerations in Airborne Systems and Equipment Certification
  • 16
    • 0003666540 scopus 로고    scopus 로고
    • RTCA SC-205/EUROCAE WG-71 Number RTCA/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 December
    • RTCA SC-205/EUROCAE WG-71. Software Considerations in Airborne Systems and Equipment Certification. Number RTCA/DO-178C. RTCA, Inc., 1140 Connecticut Avenue, N.W., Suite 1020, Washington, D.C. 20036 (December 2011)
    • (2011) Software Considerations in Airborne Systems and Equipment Certification
  • 17
    • 84868151289 scopus 로고    scopus 로고
    • RTCA SC-205/EUROCAE WG-71. Number RTCA/DO-330. RTCA, Inc. December
    • RTCA SC-205/EUROCAE WG-71. Software Tool Qualification Considerations. Number RTCA/DO-330. RTCA, Inc. (December 2011)
    • (2011) Software Tool Qualification Considerations
  • 18
    • 70649085846 scopus 로고    scopus 로고
    • Formal Verification of Avionics Software Products
    • Cavalcanti, A., Dams, D.R. (eds.) FM 2009. Springer, Heidelberg
    • Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 532-546. Springer, Heidelberg (2009)
    • (2009) LNCS , vol.5850 , pp. 532-546
    • Souyris, J.1    Wiels, V.2    Delmas, D.3    Delseny, H.4


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