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.


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 Science & Technology > Computer Science > Software Reliability
[thumbnail of 2014_11_WoSoCer_v11.pdf]
Text - Presentation
Download (455kB) | Preview


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login