• Title/Summary/Keyword: Model-based test

Search Result 7,549, Processing Time 0.032 seconds

Improvement of the Automobile Control Software Testing Process Using a Test Maturity Model

  • Jang, Jin-Wook
    • Journal of Information Processing Systems
    • /
    • v.14 no.3
    • /
    • pp.607-620
    • /
    • 2018
  • The problem surrounding methods of implementing the software testing process has come under the spotlight in recent times. However, as compliance with the software testing process does not necessarily bring with it immediate economic benefits, IT companies need to pursue more aggressive efforts to improve the process, and the software industry needs to makes every effort to improve the software testing process by evaluating the Test Maturity Model integration (TMMi). Furthermore, as the software test process is only at the initial level, high-quality software cannot be guaranteed. This paper applies TMMi model to Automobile control software testing process, including test policy and strategy, test planning, test monitoring and control, test design and execution, and test environment goal. The results suggest improvement of the automobile control software testing process based on Test maturity model. As a result, this study suggest IT organization's test process improve method.

A Study on the Design of an Efficient Audit Model in the Area of Information System Testing Activities

  • Kim, Hee Wan;Jung, Yong Gyu
    • International Journal of Advanced Culture Technology
    • /
    • v.9 no.1
    • /
    • pp.210-217
    • /
    • 2021
  • In the case of an agile-based project, it was inadequate to perform a comprehensive inspection and evaluation on the establishment and operation of an information system by performing audit only with the audit and inspection elements provided by the existing information system audit and inspection system. In particular, in the case of the test activity area, it was necessary to improve the test activity audit check items to comprehensively check the agile-based development process by applying the existing audit system. To this end, a test activity improvement check model of the agile methodology audit model was presented by applying the repetition concept, a characteristic of the agile methodology. In order to empirically verify the model of this study, a survey was conducted for auditors and designers/developers who have experience in performing agile-based projects and auditing information systems. As a result of the questionnaire on the integrated test and system test in the test stage, more than 70% of the respondents were found to be suitable. More than 80% of the respondents judged that it was appropriate as a result of the questionnaire on "improvement and regression test progress according to integrated test and system test results" and "integrated test and functional actions of components and subsystems".

Design and Application of the TFM Based System Test Model for the Weapon System Embedded Software (무기체계 임베디드 소프트웨어에 대한 TFM 기반 시스템 테스트 모델 설계 및 적용)

  • Kim, Jae-Hwan;Yoon, Hee-Byung
    • The KIPS Transactions:PartD
    • /
    • v.13D no.7 s.110
    • /
    • pp.923-930
    • /
    • 2006
  • In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

Model-Based Development and Test Method for The AUTOSAR Embedded Software (AUTOSAR 임베디드 소프트웨어의 모델기반 개발 및 테스트 방법 - 사례연구 : 운전자 위치제어 시스템)

  • Park, Gwangmin;Kum, Daehyun;Lee, Seonghun
    • IEMEK Journal of Embedded Systems and Applications
    • /
    • v.4 no.4
    • /
    • pp.164-173
    • /
    • 2009
  • Automotive systems have tended to be equipped with many electronic contents to satisfy safety, comport, convenience, and entertainment services over the past years. As a result, the amount of vehicle embedded software in electrical/electronic(E/E) systems is steadily increasing to manage these requirements. This leads to the traditional, document-based software development in the vehicle embedded systems being increasingly displaced by a model-based development in order to reduce software development time and cost. Due to the application of model-based development, a great evolution is being realized in the aspect of efficiency, but the development is being made without sufficient testing. So, erroneous automotive embedded software may cause serious problems such as car accidents which relate to human safety. Therefore, efficient methods for model-based test and validation are needed to improve software reliability in the stage of embedded software development. This paper presents the model-based development and test method for AUTOSAR embedded software to improve its reliability and safety, and it is demonstrated based on the case study.

  • PDF

Damage detection of shear buildings using frequency-change-ratio and model updating algorithm

  • Liang, Yabin;Feng, Qian;Li, Heng;Jiang, Jian
    • Smart Structures and Systems
    • /
    • v.23 no.2
    • /
    • pp.107-122
    • /
    • 2019
  • As one of the most important parameters in structural health monitoring, structural frequency has many advantages, such as convenient to be measured, high precision, and insensitive to noise. In addition, frequency-change-ratio based method had been validated to have the ability to identify the damage occurrence and location. However, building a precise enough finite elemental model (FEM) for the test structure is still a huge challenge for this frequency-change-ratio based damage detection technique. In order to overcome this disadvantage and extend the application for frequencies in structural health monitoring area, a novel method was developed in this paper by combining the cross-model cross-mode (CMCM) model updating algorithm with the frequency-change-ratio based method. At first, assuming the physical parameters, including the element mass and stiffness, of the test structure had been known with a certain value, then an initial to-be-updated model with these assumed parameters was constructed according to the typical mass and stiffness distribution characteristic of shear buildings. After that, this to-be-updated model was updated using CMCM algorithm by combining with the measured frequencies of the actual structure when no damage was introduced. Thus, this updated model was regarded as a representation of the FEM model of actual structure, because their modal information were almost the same. Finally, based on this updated model, the frequency-change-ratio based method can be further proceed to realize the damage detection and localization. In order to verify the effectiveness of the developed method, a four-level shear building was numerically simulated and two actual shear structures, including a three-level shear model and an eight-story frame, were experimentally test in laboratory, and all the test results demonstrate that the developed method can identify the structural damage occurrence and location effectively, even only very limited modal frequencies of the test structure were provided.

Model-Based Automatic Test Data Generation Method Using Custom Parser and SMT Solver (커스텀 파서와 SMT 솔버를 활용한 모델 기반 테스트 데이터 생성 기법)

  • Shin, Ki-Wook;Lim, Dong-Jin
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.6 no.8
    • /
    • pp.385-390
    • /
    • 2017
  • Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique.

Application of FRF-Based Substructuring to Optimization of Interior Noise in Vehicle (실차 소음 최적화를 위한 주파수 응답 함수 합성법의 적용)

  • Jung, Won-Tae;Kang, Yeon-June;Kim, Sang-Hoon
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2005.11b
    • /
    • pp.140-143
    • /
    • 2005
  • The hybrid CAE/CAT methods are widely applied to product development in various fields because this method can predict the response of the whole system when a part of the system is changed. Especially, the hybrid CAE/CAT method is very useful to predict tile vehicle NVH characteristics after changing some parts of the vehicle. Target parts can be established on the basis of test models and FE models of the prototype constructed in the planning stage of car development. In this study, the topic was focused on the proper test-based FBS application process to predict vehicle NVH characteristic. First, the test-based FBS method was apply to vehicle substructure and car-body. And then the test-based model was replaced with FE model to apply hybrid CAE/CAT method. The replaced FE model was modified through the optimization process. The interior noise in vehicle during the drive was predicted with Modified FE model, then the predicted results were verified by experimenting with actual modified model.

  • PDF

A Cointegration Test Based on Weighted Symmetric Estimator

  • Son Bu-Il;Shin Key-Il
    • Communications for Statistical Applications and Methods
    • /
    • v.12 no.3
    • /
    • pp.797-805
    • /
    • 2005
  • Multivariate unit root tests for the VAR(p) model have been commonly used in time series analysis. Several unit root tests were developed and recently Shin(2004) suggested a cointegration test based on weighted symmetric estimator. In this paper, we suggest a multivariate unit root test statistic based on the weighted symmetric estimator. Using a small simulation study, we compare the powers of the new test statistic with the statistics suggested in Shin(2004) and Fuller(1996).

A Study on the Improvement of the Test Process for Defense Systems Based on Quantitative Management (정량적 관리 기반 무기체계 시험업무 프로세스 개선 연구)

  • Tae Heum Na;Joo Yeoun Lee;Young Min Kim
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.20 no.spc1
    • /
    • pp.1-11
    • /
    • 2024
  • Today, the importance of test and evaluation of defense systems is increasing day by day. In performing efficient defense systems test works, process improvement based on quantitative management is essential. The purpose of this paper is to present the results of process improvement for the defense systems test works of the test organization based on quantitative management activities. As a methodology to confirm process improvement performance, the 'MPM(Managing Performance and Measurement)' practice area of the CMMI model was applied. The quantitative management model for defense systems test works was developed so that it could be practically applied not only to the entire test organization but also to the organization at the department level that actually performs the test work. Finally, the application cases of the quantitative management model for defense system test works and the results of process improvement were described.

Testing the domestic financial data for the normality of the innovation based on the GARCH(1,1) model

  • Lee, Tae-Wook;Ha, Jeong-Cheol
    • Journal of the Korean Data and Information Science Society
    • /
    • v.18 no.3
    • /
    • pp.809-815
    • /
    • 2007
  • Since Bollerslev(1986), the GARCH model has been popular in analysing the volatility of the financial time series. In real data analysis, practitioners conventionally put the normal assumption on the innovation random variables of the GARCH model, which is often violated. In this paper, we analyse the domestic financial data based on the GARCH(1,1) model and among existing normality tests, perform the Jarque-Bera test based on the residuals. It is shown that the innovation based on the GARCH(1,1) model dose not follow the normality assumption.

  • PDF