City Research Online

Assessment techniques, certification and [what else we need for] confidence in software

Strigini, L. ORCID: 0000-0002-4246-2866 (2014). Assessment techniques, certification and [what else we need for] confidence in software. Keynote Paper presented at the WoSoCer 2014, 3-6 Nov 2014, Naples, Italy.

Abstract

Certification of software may play multiple roles, both intended and unintended, and both beneficial and damaging. Some of these roles are unrelated to what the name “certification” is about, i.e., creating certainties; for those that are related to it, we should usually talk about creating confidence rather than certainty. With an eye on this socio-technical landscape, this talk will attempt a map of the logical links between the evidence collected through assessment practices and the confidence in reliability, safety or security that users wish to derive from the evidence. Central issues are the links between deterministic and probabilistic claims, their scopes of validity, and the evidence behind them. Probing these links raises useful questions about unstated assumptions, possible means for giving confidence more solid bases, and how these could affect the practice of certification.

Publication Type: Conference or Workshop Item (Keynote)
Additional Information: Keynote presentation
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: School of Mathematics, Computer Science & Engineering > Computer Science > Software Reliability
Date available in CRO: 12 May 2021 12:26
URI: https://openaccess.city.ac.uk/id/eprint/26125
[img]
Preview
Text - Presentation
Download (455kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login