자료유형 | 학위논문 |
---|---|
서명/저자사항 | Model-based Testing of Off-nominal Behaviors. |
개인저자 | Schulze, Christoph. |
단체저자명 | University of Maryland, College Park. Computer Science. |
발행사항 | [S.l.]: University of Maryland, College Park., 2018. |
발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2018. |
형태사항 | 262 p. |
기본자료 저록 | Dissertation Abstracts International 79-11B(E). Dissertation Abstract International |
ISBN | 9780438136601 |
학위논문주기 | Thesis (Ph.D.)--University of Maryland, College Park, 2018. |
일반주기 |
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. |
언어 | 영어 |
바로가기 | ![]() |