• Title/Summary/Keyword: Log-based Testing

Search Result 58, Processing Time 0.02 seconds

Development of Log-Based Testing Framework for Unit Testing of Embedded Software (임베디드 소프트웨어의 단위 테스팅을 위한 로그 기반 테스팅 프레임워크 개발)

  • Ryu, Hodong;Jeong, Sooyong;Lee, Woo Jin;Kim, Hwangsoo
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.4 no.9
    • /
    • pp.419-424
    • /
    • 2015
  • As Internet of Things (IoT) is recently serviced in several fields, the reliability and safety issues for IoT embedded systems are emerged. During the development of embedded systems, it is not easy to build the virtual execution environment and to test the developing version. Therefore, it is difficult to ensure its reliability due to lack of unit testing. In this paper, we propose a log-based unit testing framework for embedded software, which performs on real target board by extracting information of function execution. And, according to execution paths, duplicated logs are eliminated to keep a minimal log size. As a result, during system testing, testers can efficiently decide whether the executed paths of each function are correctly performed or not.

Default Bayesian one sided testing for the shape parameter in the log-logistic distribution

  • Kang, Sang Gil
    • Journal of the Korean Data and Information Science Society
    • /
    • v.26 no.6
    • /
    • pp.1583-1592
    • /
    • 2015
  • This paper deals with the problem of testing on the shape parameter in the log-logistic distribution. We propose default Bayesian testing procedures for the shape parameter under the reference priors. The reference prior is usually improper which yields a calibration problem that makes the Bayes factor to be defined up to a multiplicative constant. We can solve the this problem by the intrinsic Bayes factor and the fractional Bayes factor. Therefore we propose the default Bayesian testing procedures based on the fractional Bayes factor and the intrinsic Bayes factors under the reference priors. Simulation study and an example are provided.

Default Bayesian testing for scale parameters in the log-logistic distributions

  • Kang, Sang Gil;Kim, Dal Ho;Lee, Woo Dong
    • Journal of the Korean Data and Information Science Society
    • /
    • v.26 no.6
    • /
    • pp.1501-1511
    • /
    • 2015
  • This paper deals with the problem of testing on the equality of the scale parameters in the log-logistic distributions. We propose default Bayesian testing procedures for the scale parameters under the reference priors. The reference prior is usually improper which yields a calibration problem that makes the Bayes factor to be defined up to a multiplicative constant. Therefore, we propose the default Bayesian testing procedures based on the fractional Bayes factor and the intrinsic Bayes factor under the reference priors. To justify proposed procedures, a simulation study is provided and also, an example is given.

A Study on the Selection of Test Scope and the Prioritization of Test Case Based on Modification Method for Regression Testing (변경 메서드 기반의 회귀 테스트 검증 범위 선택 및 검증 항목 우선순위 선정에 관한 연구)

  • Jung, Woo-Jin;Rah, Sang-Rin;Choi, Yong-Lak
    • Journal of Information Technology Services
    • /
    • v.14 no.2
    • /
    • pp.129-142
    • /
    • 2015
  • The purpose of this study is to suggest an effective regression testing method in order to minimize the scope of test resulting from the modification of software and to prevent mismatch of test case and test objects. As a way to improve the efficiency of regression testing which uses a change-centric testing technique, the method flow is analyzed and grasped through a static analysis based on source code in order to identify modified parts. After the order of priority is set according to the results of user action log-based dynamic analysis on identified regression testing objects, test effect can be raised by adjusting the order of priority using code complexity. Quality assurance coverage can be checked using the user action log suggested in this study, and the progress of test and whether or not each function has been verified can be checked, too. In addition, by minimizing test parts and adjusting the order of test, costs and time can be saved, making it possible to conduct regression testing effectively.

Likelihood based inference for the ratio of parameters in two Maxwell distributions (두 개의 맥스웰분포의 모수비에 대한 우도함수 추론)

  • Kang, Sang-Gil;Lee, Jeong-Hee;Lee, Woo-Dong
    • Journal of the Korean Data and Information Science Society
    • /
    • v.23 no.1
    • /
    • pp.89-98
    • /
    • 2012
  • In this paper, the ratio of parameters in two independent Maxwell distributions is parameter of interest. We proposed test statistics, which converge to standard normal distribution, based on likelihood function. The exact distribution for testing the ratio is hard to obtain. We proposed the signed log-likelihood ratio statistic and the modified signed log-likelihood ratio statistic for testing the ratio. Through simulation, we show that the modified signed log-likelihood ratio statistic converges faster than signed log-likelihood ratio statistic to standard normal distribution. We compare two statistics in terms of type I error and power. We give an example using real data.

SVM-based Utterance Verification Using Various Confidence Measures (다양한 신뢰도 척도를 이용한 SVM 기반 발화검증 연구)

  • Kwon, Suk-Bong;Kim, Hoi-Rin;Kang, Jeom-Ja;Koo, Myong-Wan;Ryu, Chang-Sun
    • MALSORI
    • /
    • no.60
    • /
    • pp.165-180
    • /
    • 2006
  • In this paper, we present several confidence measures (CM) for speech recognition systems to evaluate the reliability of recognition results. We propose heuristic CMs such as mean log-likelihood score, N-best word log-likelihood ratio, likelihood sequence fluctuation and likelihood ratio testing(LRT)-based CMs using several types of anti-models. Furthermore, we propose new algorithms to add weighting terms on phone-level log-likelihood ratio to merge word-level log-likelihood ratios. These weighting terms are computed from the distance between acoustic models and knowledge-based phoneme classifications. LRT-based CMs show better performance than heuristic CMs excessively, and LRT-based CMs using phonetic information show that the relative reduction in equal error rate ranges between $8{\sim}13%$ compared to the baseline LRT-based CMs. We use the support vector machine to fuse several CMs and improve the performance of utterance verification. From our experiments, we know that selection of CMs with low correlation is more effective than CMs with high correlation.

  • PDF

Testing of a discontinuity point in the log-variance function based on likelihood (가능도함수를 이용한 로그분산함수의 불연속점 검정)

  • Huh, Jib
    • Journal of the Korean Data and Information Science Society
    • /
    • v.20 no.1
    • /
    • pp.1-9
    • /
    • 2009
  • Let us consider that the variance function in regression model has a discontinuity/change point at unknown location. Yu and Jones (2004) proposed the local polynomial fit to estimate the log-variance function which break the positivity of the variance. Using the local polynomial fit, Huh (2008) estimate the discontinuity point of the log-variance function. We propose a test for the existence of a discontinuity point in the log-variance function with the estimated jump size in Huh (2008). The proposed method is based on the asymptotic distribution of the estimated jump size. Numerical works demonstrate the performance of the method.

  • PDF

Bilevel-programming based failure-censored ramp-stress ALTSP for the log-logistic distribution with warranty cost

  • Srivastava, P.W.;Sharma, D.
    • International Journal of Reliability and Applications
    • /
    • v.17 no.1
    • /
    • pp.85-105
    • /
    • 2016
  • In this paper accelerated life testing is incorporated in quality control technique of acceptance sampling plan to induce early failures in high reliability products.Stress under accelerated condition can be applied in constant-stress, step-stress and progressive-stress or combination of such loadings. A ramp-stress results when stress is increased linearly (from zero) with time. In this paper optimum failure-censored ramp-stress accelerated life test sampling plan for log-logistic distribution has been formulated with cost considerations. The log-logistic distribution has been found appropriate for insulating materials. The optimal plans consist in finding optimum sample size, sample proportion allocated to each stress, and stress rate factor such that producer's and consumer's interests are safeguarded. Variance optimality criterion is used when expected cost per lot is not taken into consideration, and bilevel programming approach is used in cost optimization problems. The methods developed have been illustrated using some numerical examples, and sensitivity analyses carried out in the context of ramp-stress ALTSP based on variable SSP for proportion nonconforming.

The Comparative Study for NHPP Software Reliability Model based on the Property of Learning Effect of Log Linear Shaped Hazard Function (대수 선형 위험함수 학습효과에 근거한 NHPP 신뢰성장 소프트웨어 모형에 관한 비교 연구)

  • Kim, Hee-Cheul;Shin, Hyun-Cheul
    • Convergence Security Journal
    • /
    • v.12 no.3
    • /
    • pp.19-26
    • /
    • 2012
  • In this study, software products developed in the course of testing, software managers in the process of testing software and tools for effective learning effects perspective has been studied using the NHPP software. The log type hazard function applied to distribution was based on finite failure NHPP. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than autonomous errors-detected factor that is generally efficient model could be confirmed. This paper, a failure data analysis of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and $R^2$(coefficient of determination).

A comparison of the statistical methods for testing the equality of crossing survival functions (교차하는 두 생존함수의 동일성 검정법에 관한 비교연구)

  • Lee, Youn Ju;Lee, Jae Won
    • Journal of the Korean Data and Information Science Society
    • /
    • v.26 no.3
    • /
    • pp.569-580
    • /
    • 2015
  • Log-rank is widely used for testing equality of two survival functions, and this method is efficient only under the proportional hazard assumption. However, crossing survival functions are common in practice. Therefore, many approaches have been suggested to test equality of them. This study considered several methods; Renyi type test, modified Kolmogorov-Smirnov and Cramer-von Mises test, and weighted Log-rank test, which can be applied when the survival functions cross, and simulated power of those methods. Based on the simulation results, we provide the useful information to choose a suitable approach in a given situation.