Publications

Verification and Validation and Artificial Intelligence

Authors
Tim Menzies, Charles Pecheur
Tags
,
Title
Verification and Validation and Artificial Intelligence
Authors
Tim Menzies, Charles Pecheur
FM2018 Δ   0Kb   28 May 2020
Fmics2013 Δ   0Kb   28 May 2020
GandALF2017 Δ   0Kb   28 May 2020
HMI2011 Δ   0Kb   28 May 2020
LVLPrivate Δ   0Kb   28 May 2020
LVLPrivateNews Δ   0Kb   28 May 2020
Main Δ   0Kb   28 May 2020
Members Δ   0Kb   28 May 2020
Publications Δ   4Kb   28 May 2020
Site Δ   0Kb   28 May 2020
Talks Δ   4Kb   28 May 2020
Tools Δ   0Kb   28 May 2020
Type
In Collection
Book title
Advances in Computers, vol. 65
Publisher
Elsevier
Editor
M. Zelkowitz
Year
2005

Abstract

Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI should be used more widely but won’t be unless developers can trust adaptative, nondeterministic, or complex AI systems. Verification and validation is one method used by software analysts to gain that trust. AI systems have features that make them hard to check using conventional V&V methods. Nevertheless, as we show in this article, there are enough alternative readily-available methods that enable the V&V of AI software.

Tags Tags: ,

BibTeX Record
  @INCOLLECTION{lvl-2005-2,
    TITLE = {Verification and Validation and Artificial Intelligence},
    AUTHOR = {Tim Menzies and Charles Pecheur},
    YEAR = {2005},
    PUBLISHER = {Elsevier},
    EDITOR = {M. Zelkowitz},
    URL = {https://lvl.info.ucl.ac.be/Publications/VerificationAndValidationAndArtificialIntelligence},
  }