Skip to Main Content
Evaluating software trustworthiness requires defining a model that is tailored to the functional and quality requirements that the software has to fulfill. This paper is a follow-up of previously presented research on modeling software trustworthiness by using Finite State Machine (FSM) and scenarios. This paper presents a case study where the novel behavioristic model for verifying software trustworthiness based on scenarios of interactions between the software and its users and environment was applied. The approach supports incremental changes in requirements and scenarios.