| Autor: |
Gluch, David, Cornella-Dordo, Santiago, Hudak, John J., Lewis, Grace A., Weinstock, Charles B. |
| Rok vydání: |
2018 |
| Předmět: |
|
| DOI: |
10.1184/r1/6575624.v1 |
| Popis: |
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification. Expected properties are natural language statements that express characteristics of the behavior of a system-characteristics that are consistent with user expectations. Through model checking, expected properties of a system, formally expressed as claims, are analyzed against the model. This analysis can detect inconsistencies between models of the system and their expected properties and identify potential system defects. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
