Human experts employed in validation exercises for knowledge-based systems often have limited time and availability. They often have different opinions from each other as well as from themselves over time. We address this situation by introducing the use of validation knowledge used in prior validation exercises for the same knowledge-based system. We present a Validation Knowledge Base (VKB) t...

As long as most of the processes of verification and validation of software to grant acceptance by the customer/user, are subjective type, it is aimed to design a standard mathematical model with empirical to perform an appointment with areas or stages where development teams most fail involving large-scale software projects. This model will be based on a survey that the user must fill as going...

Although runtime validation and verification are critical for ensuring reliability in autonomic software, research in these areas continues to lag behind other aspects of system development. Few researchers have tackled the problem of testing autonomic software at runtime, and the current state-of-the-art only addresses localized validation of selfadaptive changes. Such approaches fall short be...

Validation in a big software system can be managed by analysis of its behaviour through occasionally collected event logs. Process mining is a technique to perform software validation by discovering process models from event logs or by checking the conformance of the logs to a process model. A well-known algorithm in process mining to discover process models is alpha algorithm. However, while u...

Most veriication and validation (V&V) methods employ deductive reasoning to verify whether an implementation is in agreement with a speciication. We present a novel approach to veriication and validation of complex systems that is based on inductive reasoning. Induction allows to derive general rules from speciic behaviours of the software (e.g. the inputs and outputs). Using inductive logic pr...

This report summarizes the results of research conducted by the University of Maryland to validate a method for predicting software quality. The method is termed the Reliability Prediction System (RePS). The RePS methodology was initially presented in NUREG/GR-001 9. The current effort is a preliminary validation of the RePS methodology with respect to its ability to predict software quality (m...

Fault avoidance, fault removal and fault tolerance represent three successive lines of defense against the contingency of faults in software systems and their impact on system reliability. The law of diminishing returns advocates that these three sets of methods be put to bear to achieve eeective software veriication and validation: each method is used in the context where it is most eeective. ...

Software metrics provide quantitative means to control the software development and the quality of software products. Getting a set of valid and useful metrics is not only a matter of definition; the entire process includes, among other steps, theoretical and empirical validation of theses metrics to assure their utility. This work is about empirical validation of object-oriented metrics via ma...

Insubria QSPR PaDEL-Descriptor model for Melting Point prediction of Polybrominated Diphenyl Ethers. 1.2.Other related models: E. Papa, S. Kovarich, P. Gramatica, 2009, Validation and Inspection of the Applicability Domain of QSPR Models for Physicochemical Properties of Polybrominated Diphenyl Ethers, QSAR & Comb.Sci. 28, 790-796. [10] 1.3.Software coding the model: [1]PaDEL-Descriptor 2.18 A ...