| Autor: |
Drusinsky, D., Michael, J.B., Shing, M. |
| Přispěvatelé: |
Naval Postgraduate School (U.S.), Computer Science (CS) |
| Rok vydání: |
2007 |
| Předmět: |
|
| Popis: |
In-spite of three decades of software formal verification and validation (FV&V) research, there exists no ideal FV&V technique that works well for all FV&V concerns. That is, there is no one technique that enables (i) easy and correct construction of requirement specification of complex real-life properties, and (ii) complete verification coverage of complete real-life complex software with respect to those requirements. Moreover, many of the FV&V techniques are ineffective in handling temporal behavior of reactive systems. In this paper we use a cuboid to characterize the trade space among three categories of FV&V techniques. We illustrate the use of the cuboid in tradeoff analysis to determine the appropriate techniques for V&V based on cost and coverage. NASA IV&V Facility (U.S.) NASA IV&V Facility (U.S.) NNG07LD01I Approved for public release; distribution is unlimited. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
