가야대학교 분성도서관

상단 글로벌/추가 메뉴

회원 로그인


자료검색

자료검색

상세정보

부가기능

Model-based Testing of Off-nominal Behaviors

상세 프로파일

상세정보
자료유형E-Book
개인저자Schulze, Christoph.
단체저자명University of Maryland, College Park. Computer Science.
서명/저자사항Model-based Testing of Off-nominal Behaviors.
발행사항[S.l.] : University of Maryland, College Park., 2018
발행사항Ann Arbor : ProQuest Dissertations & Theses, 2018
형태사항262 p.
소장본 주기School code: 0117.
ISBN9780438136601
일반주기 Source: Dissertation Abstracts International, Volume: 79-11(E), Section: B.
Advisers: Rance Cleaveland
요약Off-nominal behaviors (ONBs) are unexpected or unintended behaviors that may be exhibited by a system. They can be caused by implementation and documentation errors and are often triggered by unanticipated external stimuli, such as unforeseen se
요약This thesis describes the development and evaluation of model-based techniques for the identification and documentation of ONBs. Model-Based Testing (MBT) techniques have been used to provide automated support for thorough evaluation of software
요약The second part of the thesis presents a framework and associated tooling for the extraction and analysis of specifications for identifying and documenting ONBs. The framework infers behavioral specifications in the form of system invariants fro
일반주제명Computer science.
언어영어
기본자료 저록Dissertation Abstracts International79-11B(E).
Dissertation Abstract International
대출바로가기http://www.riss.kr/pdu/ddodLink.do?id=T14996829

소장정보

  • 소장정보

인쇄 인쇄

메세지가 없습니다
No. 등록번호 청구기호 소장처 도서상태 반납예정일 예약 서비스 매체정보
1 WE00024405 DP 004 가야대학교/전자책서버(컴퓨터서버)/ 대출불가(별치) 인쇄 이미지  

서평

  • 서평

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 

퀵메뉴

대출현황/연장
예약현황조회/취소
자료구입신청
상호대차
FAQ
교외접속
사서에게 물어보세요
메뉴추가
quickBottom

카피라이터

  • 개인정보보호방침
  • 이메일무단수집거부

김해캠퍼스 | 621-748 | 경남 김해시 삼계로 208 | TEL:055-330-1033 | FAX:055-330-1032
			Copyright 2012 by kaya university Bunsung library All rights reserved.