Trusting Computers Through Trusting Humans: Software Verification in a Safety-Critical Information System

Alison Adam and Paul Spedding
Additional contact information
Alison Adam: University of Salford, UK
Paul Spedding: University of Salford, UK

International Journal of Technology and Human Interaction (IJTHI), 2007, vol. 3, issue 4, 1-14

Abstract: This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verification is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code.

Date: 2007
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 4018/jthi.2007100101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jthi00:v:3:y:2007:i:4:p:1-14

Access Statistics for this article

International Journal of Technology and Human Interaction (IJTHI) is currently edited by Anabela Mesquita

More articles in International Journal of Technology and Human Interaction (IJTHI) from IGI Global
Bibliographic data for series maintained by Journal Editor ().