In this paper, a method is presented that allows to automatically generate test cases for risk-based testing of safetycritical systems. This is done through the systematic construction or refinement of risk-based test models. Our approach works for almost all kinds of model-based testing. In this paper, we use Model-based Statistical Testing as model-based test technique. Statistical testing us...

In this paper, we present the Anderson-Darling (AD) and Kolmogorov-Smirnov (KS) goodness of fit statistics for stationary and non-stationary random fields. Namely, we adopt an easy-to-apply method based on a random projection of a Hilbert-valued random field onto the real line R, and then, applying the well-known AD and KS goodness of fit tests. We conclude this paper by studying the behavior o...

This study aims to find out the difference in satisfaction level try competency test (UKOM) with computer-based and web-based test. Research method using research development (R&D) pre-experimental one group pre post-test design purposive sampling techniques. The data were analyzed Wilcoxon was conducted at Polytechnic of Health Ministry Makassar Megarezky University November 2020. results:...