가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
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. |
| ISBN | 9780438136601 |
| 일반주기 |
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 | 004 | 가야대학교// | 대출가능 |
|
카피라이터
