scholarly journals Unification of verification and validation methods for software systems: progress report and initial case study formulation

2006 ◽  
Author(s):  
J.C. Browne ◽  
C. Lin ◽  
K. Kane ◽  
Yoonsik Cheon ◽  
P. Teller
Keyword(s):  
Progress Report ◽  
Verification And Validation ◽  
Software Systems ◽  
Validation Methods

Commentary on “Validation Methods for Aggregate-Level Test Scale Linking: A Case Study Mapping School District Test Score Distributions to a Common Scale”

2020 ◽  
pp. 107699862095666
Author(s):  
Alina A. von Davier
Keyword(s):  
School District ◽  
Test Score ◽  
Applied Research ◽  
Aggregate Level ◽  
Validation Methods ◽  
Common Scale ◽  
Scale Linking ◽  
Score Distributions

In this commentary, I share my perspective on the goals of assessments in general, on linking assessments that were developed according to different specifications and for different purposes, and I propose several considerations for the authors and the readers. This brief commentary is structured around three perspectives (1) the context of this research, (2) the methodology proposed here, and (3) the consequences for applied research.

Application of Prognostics and Health Management (PHM) to Software System Fault and Remaining Useful Life (RUL) Prediction

2021 ◽  
Author(s):  
Mohammad Rubyet Islam ◽  
Peter Sandborn
Keyword(s):  
Health Management ◽  
Standard Test ◽  
Remaining Useful Life ◽  
Software Systems ◽  
Prognostics And Health Management ◽  
Performance Parameters ◽  
Statistical Validation ◽  
Useful Life ◽  
Test Beds

Abstract Prognostics and Health Management (PHM) is an engineering discipline focused on predicting the point at which systems or components will no longer perform as intended. The prediction is often articulated as a Remaining Useful Life (RUL). RUL is an important decision-making tool for contingency mitigation, i.e., the prediction of an RUL (and its associated confidence) enables decisions to be made about how and when to maintain the system. PHM is generally applied to hardware systems in the electronics and non-electronics application domains. The application of PHM (and RUL) concepts has not been explored for application to software. Today, software (SW) health management is confined to diagnostic assessments that identify problems, whereas prognostic assessment potentially indicates when in the future a problem will become detrimental to the operation of the system. Relevant areas such as SW defect prediction, SW reliability prediction, predictive maintenance of SW, SW degradation, and SW performance prediction, exist, but all represent static models, built upon historical data — none of which can calculate an RUL. This paper addresses the application of PHM concepts to software systems for fault predictions and RUL estimation. Specifically, we wish to address how PHM can be used to make decisions for SW systems such as version update, module changes, rejuvenation, maintenance scheduling and abandonment. This paper presents a method to prognostically and continuously predict the RUL of a SW system based on usage parameters (e.g., numbers and categories of releases) and multiple performance parameters (e.g., response time). The model is validated based on actual data (on performance parameters), generated by the test beds versus predicted data, generated by a predictive model. Statistical validation (regression validation) has been carried out as well. The test beds replicate and validate faults, collected from a real application, in a controlled and standard test (staging) environment. A case study based on publicly available data on faults and enhancement requests for the open-source Bugzilla application is presented. This case study demonstrates that PHM concepts can be applied to SW systems and RUL can be calculated to make decisions on software version update or upgrade, module changes, rejuvenation, maintenance schedule and total abandonment.

scholarly journals Traffic queue modeling using arena simulation software (a case study of Mergan 4-Way intersection in Malang City)

2018 ◽  
Vol 204 ◽  
pp. 02009 ◽  
Author(s):  
Dani Yuniawan ◽  
P.P Aang Fajar ◽  
Samsudin Hariyanto ◽  
Romi Setiawan
Keyword(s):  
Flow System ◽  
Simulation Method ◽  
Simulation Software ◽  
Verification And Validation ◽  
Scenario Simulation ◽  
Traffic Light ◽  
Simulation Scenario ◽  
Research Outcome ◽  
Arena Simulation

Currently Mergan 4-way intersection is one of intersection that have most traffic dense in Malang City, East Java - Indonesia. This research implement simulation method in order to give several solution option to manage the traffic queue in Mergan 4-way intersection. Simulation method is conducted with several phase, from problem identification up to verification and validation also scenario simulation. Arena Simulation software v.14 is chosen as the tool to modeling the traffic queue line. The research outcome give several solution through Traffic Light 2 simulation scenario. With this simulation scenario, the traffic flow system simulation can be run with fewer queues of vehicles.

scholarly journals Algorithmic Transparency of Large-Scale *AIDA Programs

2020 ◽  
Vol 30 (09) ◽  
pp. 1263-1288
Author(s):  
Yutaka Watanobe ◽  
Nikolay Mirenkov
Keyword(s):  
Data Structures ◽  
Large Scale ◽  
Software Systems ◽  
Computational Algorithms ◽  
Computer Language ◽  
Algorithms And Data Structures ◽  
Application Methods ◽  
Analysis System ◽  
Computational Comparison

Programming in pictures is an approach where pictures and moving pictures are used as super-characters to represent the features of computational algorithms and data structures, as well as for explaining the models and application methods involved. *AIDA is a computer language that supports programming in pictures. This language and its environment have been developed and promoted as a testbed for various innovations in information technology (IT) research and implementation, including exploring the compactness of the programs and their adaptive software systems, and obtaining better understanding of information resources. In this paper, new features of the environment and methods of their implementation are presented. They are considered within a case study of a large-scale module of a nuclear safety analysis system to demonstrate that *AIDA language is appropriate for developing efficient codes of serious applications and for providing support, based on folding/unfolding techniques, enhancing the readability, maintainability and algorithmic transparency of programs. Features of this support and the code efficiency are presented through the results of a computational comparison with a FORTRAN equivalent.

scholarly journals SBVR to OWL 2 Mappings: An Automatable and Structural-Rooted Approach

2014 ◽  
Vol 17 (3) ◽  
Author(s):  
Emiliano Reynares ◽  
María Laura Caliusco ◽  
Maria Rosa Galli
Keyword(s):  
Information System ◽  
Development Process ◽  
Software Systems ◽  
Software Development Process ◽  
Business Rules ◽  
Information System Design ◽  
Business People ◽  
Case Validation ◽  
Domain Information

The wide applicability of mapping business rules expressions to ontology statements have been recently recognized. Some of the most important applications are: (1) using of on- tology reasoners to prove the consistency of business domain information, (2) generation of an ontology intended to be used in the analysis stage of a software development process, and (3) the possibility of encapsulate the declarative specification of business knowledge into information software systems by means of an implemented ontology. The Semantics of Business Vocabulary and Business Rules (SBVR) supports that approach by provid- ing business people with a linguistic way to semantically describe business concepts and specify business rules in an independent way of any information system design. Although previous work have presented some proposals, an exhaustive and automatable approach for them is still lacking. This work presents a broad and detailed set of transformations that allows the automatable generation of an ontology implemented in OWL 2 from the SBVR specifications of a business domain. Such transformations are rooted on the struc- tural specification of both standards and are depicted through a case study. A real case validation example was performed, approaching the feasibility of the mappings by the quality assessment of the developed ontology.

scholarly journals A METHOD FOR CLASSIFYING USABILITY FINDINGS TO ENHANCE VALIDATION OF NEW HEURISTICS

2019 ◽  
Vol 9 (1) ◽  
pp. 96-118
Keyword(s):  
Data Analysis ◽  
Classification Schemes ◽  
Validation Methods ◽  
Logical Process ◽  
New Framework

Different usability heuristics have been proposed as new application domains arise. Such proposals usually depend on the validation of the new heuristics. However, current validation methods are still biased by subjective comparisons of usability findings. In this paper, we aimed to enhance the process of matching usability finding descriptions and mitigate the bias of such process. To reach our goal, we adopted ontology techniques to extend the User Action Framework for the context of validating new usability heuristics. We tested three hypotheses about the feasibility of our new framework based on a case study with 173 usability findings. These usability findings were retrieved from an online project of a private mobile browser. Our data analysis of supported merging three classification schemes for our framework: User Action Framework, Typical Usability Defects (from ISO) and the heuristics of Nielsen. Finally, we describe a logical process for our method, because some of the contents from the classification schemes are not disjoint.

Sign in / Sign up

Export Citation Format

Share Document