@inproceedings{9b9a82ba8302467c8973e741cb0f505b,
title = "Software Testing is Necessary But Not Sufficient for Software Trustworthiness",
abstract = "In the past decades, software verification generally was about 40-50\% of the total development costs of any software system [12], yet few users are satisfied with reliability of their software. Even though the quality assurance budgets of software makers are increasing, program failures with possible data loss happens quite often. This paper investigates the reasons why software testing is not enough for assuring software trustworthiness and is a follow up of previous study on finding a way to model software trustworthiness by using Finite State Machine (FSM) and scenarios [1]. The approach uses the novel behavioristic model for verifying software trustworthiness based on scenarios of interactions between the software and its users and environment presented in our previous paper [1]. The approach consists of interactions of examples or counterexamples of desired behavior and supports incremental changes in requirements or scenarios.",
keywords = "Quality, Security, Software, Trustworthiness",
author = "Mitra Nami and Witold Suryn",
year = "2013",
doi = "10.1007/978-3-642-35795-4\_5",
language = "English",
isbn = "9783642357947",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "34--44",
booktitle = "Trustworthy Computing and Services - International Conference, ISCTCS 2012, Revised Selected Papers",
note = "International Conference on Trustworthy Computing and Services, ISCTCS 2012 ; Conference date: 28-05-2012 Through 02-06-2012",
}