Verification and Validation for Trustworthy Software Systems

IEEE Software ◽  
2011 ◽  
Vol 28 (6) ◽  
pp. 86-92 ◽  
Author(s):  
J. B. Michael ◽  
D. Drusinsky ◽  
T. W. Otani ◽  
Man-Tak Shing
Keyword(s):  
Verification And Validation ◽  
Software Systems ◽  
Trustworthy Software

Toward Trustworthy Software Systems

Computer ◽  
2006 ◽  
Vol 39 (4) ◽  
pp. 91-92 ◽  
Author(s):  
W. Hasselbring ◽  
R. Reussner
Keyword(s):  
Software Systems ◽  
Trustworthy Software

Trustworthy software systems

2006 ◽  
Vol 31 (6) ◽  
pp. 1-18 ◽  
Author(s):  
Steffen Becker ◽  
Wilhelm Hasselbring ◽  
Alexandra Paul ◽  
Marko Boskovic ◽  
Heiko Koziolek ◽  
...  
Keyword(s):  
Software Systems ◽  
Trustworthy Software

scholarly journals Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

2011 ◽  
Vol 2011 ◽  
pp. 1-18 ◽  
Author(s):  
Asadullah Shaikh ◽  
Uffe Kock Wiil ◽  
Nasrullah Memon
Keyword(s):  
Code Generation ◽  
Verification And Validation ◽  
Software Systems ◽  
Class Diagram ◽  
Complex Class ◽  
Software Developers ◽  
Class Diagrams ◽  
Verification Process ◽  
High Level ◽  
Efficient Verification

UML/OCL class diagrams provide high-level descriptions of software systems. Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram). In this paper, we present (1) a benchmark for UML/OCL verification and validation tools, (2) an evaluation and analysis of tools available for verification and validation of UML/OCL class diagrams including the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.

scholarly journals Practical approaches to verification and validation of engineering software when solving problems of nonlinear and chaotic dynamics

2021 ◽  
Vol 258 ◽  
pp. 01012
Author(s):  
Anna Voronova ◽  
Elena Zhilenkova ◽  
Anton Zhilenkov ◽  
Vladislav Borisenko
Keyword(s):  
Nonlinear Dynamics ◽  
Chaotic Dynamics ◽  
Dynamic Chaos ◽  
Verification And Validation ◽  
Software Implementation ◽  
Software Systems ◽  
Negative Consequences ◽  
Validation And Verification ◽  
Engineering Software ◽  
Software Product

The article discusses the problem of verification and validation of engineering software when solving problems of nonlinear dynamics. The problems of validation and verification are shown on the example of dynamic chaos systems. The results of testing systems are presented. It is shown that in general when solving problems of nonlinear dynamics the characteristics of the developed engineering software are of critical importance. It is also indicated that neglecting this fact leads to irreversible negative consequences, ultimately resulting in the decay of the dynamics of a nonlinear system as well as in the decay of its orbits. The influence of the hardware and a number of aspects of the system and software implementation of the verification and validation systems under study is also shown. The article demonstrates modern approaches to the development of the studied software systems. It is shown that a high-quality software product suggests division into subsystems and stages.

Sign in / Sign up

Export Citation Format

Share Document