• Title/Summary/Keyword: Model-Based Testing

Search Result 1,595, Processing Time 0.027 seconds

A Testbed of Performance Evaluation for Fingerprint Based WLAN Positioning System

  • Zhao, Wanlong;Han, Shuai;Meng, Weixiao;Zou, Deyue
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.10 no.6
    • /
    • pp.2583-2605
    • /
    • 2016
  • Fingerprint positioning is a main stream and key technique for seamless positioning systems. In this paper, we develop a performance evaluation testbed for fingerprint based Wireless Local Area Network (WLAN) positioning system. The testbed consists of positioning server, positioning terminal, Access Point (AP) units, positioning accuracy analysis system and testing scenarios. Different from other testbeds tended to focus on testing in same situation, in the proposed testbed, a couple of scenarios are set to test the positioning system including indoor and outdoor environments. Handset-side positioning mode and network-side positioning mode are provided simultaneously. Variety of motion models, such as static model, low-speed model and high-speed model are considered as well as different positioning algorithms. Finally, some implementation cases are analyzed to verify the credibility of the testbed.

A Structural Damage Identification Method Based on Spectral Element Model and Frequency Response Function

  • Lee, U-Sik;Min, Seung-Gyu;Kwon, Oh-Yang
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.23 no.6
    • /
    • pp.559-565
    • /
    • 2003
  • A spectral element model-based structural damage identification method (SDIM) was derived in the previous study by using the damage-induced changes in frequency response functions. However the previous SDIM often provides poor damage identification results because the nonlinear effect of damage magnitude was not taken into account. Thus, this paper improves the previous SDIM by taking into account the nonlinear effect of damage magnitude. Accordingly an iterative solution method is used in this study to solve the nonlinear matrix equation for local damages distribution. The present SDIM is evaluated through the numerically simulated damage identification tests.

Width Prediction Model and Control System using Neural Network and Fuzzy in Hot Strip Finishing Mills (신경회로망과 퍼지 논리를 이용한 열간 사상압연 폭 예측 모델 및 제어기 개발)

  • Hwang, I-Cheal;Park, Cheol-Jae
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.13 no.4
    • /
    • pp.296-303
    • /
    • 2007
  • This paper proposes a new width control system composed of an ANWC(Automatic Neural network based Width Control) and a fuzzy-PID controller in hot strip finishing mills which aims at obtaining the desirable width. The ANWC is designed using a neural network based width prediction model to minimize a width variation between the measured width and its target value. Input variables for the neural network model are chosen by using the hypothesis testing. The fuzzy-PlD control system is also designed to obtain the fast looper response and the high width control precision in the finishing mill. It is shown through the field test of the Pohang no. 1 hot strip mill of POSCO that the performance of the width margin is considerably improved by the proposed control schemes.

A Study on Optimal Software Maintenance Policies with Warranty Period (보증기기간을 고려한 최적 소프트웨어의 보전정책 연구)

  • Nam, Kyung-H.;Kim, Do-Hoon
    • Journal of Korean Society for Quality Management
    • /
    • v.39 no.2
    • /
    • pp.170-178
    • /
    • 2011
  • In general, a software fault detection phenonenon is described by a software reliability model based on a nonhomogeneous Poisson process(NHPP). In this paper, we propose a software reliability growth model considering the differences of the software environments in both the testing phase and the operational phase. Also, we consider the problem of determining the optimal release time and the optimal warranty period that minimize the total expected software cost which takes account of periodic software maintenance(e.g. patch, update, etc). Finally, we analyze the sensitivity of the optimal release time and warranty period based on the fault data observed in the actual testing process.

Misinformation Detection and Rectification Based on QA System and Text Similarity with COVID-19

  • Insup Lim;Namjae Cho
    • Journal of Information Technology Applications and Management
    • /
    • v.28 no.5
    • /
    • pp.41-50
    • /
    • 2021
  • As COVID-19 spread widely, and rapidly, the number of misinformation is also increasing, which WHO has referred to this phenomenon as "Infodemic". The purpose of this research is to develop detection and rectification of COVID-19 misinformation based on Open-domain QA system and text similarity. 9 testing conditions were used in this model. For open-domain QA system, 6 conditions were applied using three different types of dataset types, scientific, social media, and news, both datasets, and two different methods of choosing the answer, choosing the top answer generated from the QA system and voting from the top three answers generated from QA system. The other 3 conditions were the Closed-Domain QA system with different dataset types. The best results from the testing model were 76% using all datasets with voting from the top 3 answers outperforming by 16% from the closed-domain model.

Error Forecasting & Optimal Stopping Rule under Decreasing Failure Rate (감소(減少)하는 고장률(故障率)하에서 오류예측 및 테스트 시간(時間)의 최적화(最適化)에 관한 연구(硏究))

  • Choe, Myeong-Ho;Yun, Deok-Gyun
    • Journal of Korean Society for Quality Management
    • /
    • v.17 no.2
    • /
    • pp.17-26
    • /
    • 1989
  • This paper is concerned with forecasting the existing number of errors in the computer software and optimizing the stopping time of the software test based upon the forecasted number of errors. The most commonly used models have assessed software reliability under the assumption that the software failure late is proportional to the current fault content of the software but invariant to time since software faults are independents of others and equally likely to cause a failure during testing. In practice, it has been observed that in many situations, the failure rate decrease. Hence, this paper proposes a mathematical model to describe testing situations where the failure rate of software limearly decreases proportional to testing time. The least square method is used to estimate parameters of the mathematical model. A cost model to optimize the software testing time is also proposed. In this cost mode two cost factors are considered. The first cost is to test execution cost directly proportional to test time and the second cost is the failure cost incurred after delivery of the software to user. The failure cost is assumed to be proportional to the number of errors remained in the software at the test stopping time. The optimal stopping time is determined to minimize the total cost, which is the sum of test execution cast and the failure cost. A numerical example is solved to illustrate the proposed procedure.

  • PDF

Reasonability of Logistic Curve on S/W (로지스틱 곡선을 이용한 타당성)

  • Kim, Sun-Il;Che, Gyu-Shik;Jo, In-June
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.12 no.1
    • /
    • pp.1-9
    • /
    • 2008
  • The Logistic cone is studied as a most desirable for the software testing effort. Assuming that the error detection rate to the amount of testing effort spent during the testing phase is proportional to the current error content, a software-reliability growth model is formulated by a nonhomogeneous Poisson process. Using this model the method of data analysis for software reliability measurement is developed. After defining a software reliability, This paper discusses the relations between testing time and reliability and between duration following failure fixing and reliability are studied SRGM in several literatures has used the exponential curve, Railleigh curve or Weibull cure as an amount of testing effort during software testing phase. However, it might not be appropriate to represent the consumption curve for testing effort by one of already proposed curves in some software development environments. Therefore, this paper shows that a logistic testing- effort function can be adequately expressed as a software development/testing effort curve and that it gives a good predictive capability based on real failure data.

An Imperfect Debugging Software Reliability Growth Model with Change-Point (변화점을 갖는 불완전수정 소프트웨어 신뢰도 성장모형 연구)

  • Nam, Kyung-H.;Kim, Do-Hoon
    • Journal of Korean Society for Quality Management
    • /
    • v.34 no.4
    • /
    • pp.133-138
    • /
    • 2006
  • In this paper, we propose a software reliability growth model (SRGM) based on the testing domain, which is isolated by the executed test cases. This model assumes an imperfect debugging environment in which new faults are introduced in the fault-correction process. We consider that the fault detection rate of NHPP model is changed in the proposed SRGM. We obtain the maximum likelihood estimate, and compare goodness-of-fit with another existing software reliability growth model.

Vibration Analysis of a Cable Supported Wind Turbine Tower Model (케이블 지지된 풍력발전기 타워 구조 모델의 진동해석)

  • Kim, Seock-Hyun;Park, Mu-Yeol;Cui, C.X.
    • Journal of Industrial Technology
    • /
    • v.27 no.A
    • /
    • pp.47-53
    • /
    • 2007
  • A theoretical model based on Rayleigh-Ritz method is proposed to predict the resonance frequency of a W/T(Wind Turbine) tower structure supported by guy cables. In order to verify the validity of the theoretical model, a reduced W/T tower system is manufactured and tested. Frequency response and mode data are determined by modal testing and finite element analysis is performed to calculate the natural frequency of the tower model. Numerical and experimental results are compared with those by the theoretical analysis. Parametric study by the theoretical model shows how the cable tension and cable elasticity influence the resonance frequency of the W/T tower structure. Finally, vibration response under various rotating speed is investigated to examine the possibility of severe resonance.

  • PDF

A UML-based Approach towards Test Case Generation and Optimization

  • Shahid Saleem;Saif U. R. Malik;Bilal Mehboob;Roobaea Alroobaea;Sultan Algarni;Abdullah M. Baqasah;Naveed Ahmad;Muhammad Hasnain
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.18 no.3
    • /
    • pp.633-652
    • /
    • 2024
  • Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.