• Title/Summary/Keyword: model-based software testing

Search Result 240, Processing Time 0.027 seconds

Improved Exponential Software Reliability Model Based on NHPP with the Uncertainty of Operating Environments

  • Song, Kwang Yoon;Chang, In Hong
    • Journal of Integrative Natural Science
    • /
    • v.10 no.4
    • /
    • pp.249-257
    • /
    • 2017
  • The main focus when developing software is to improve the reliability and stability of a software system. We are enjoying a very comfortable life thanks to modern civilization, however, comfort is not guaranteed to us. Once software systems are introduced, the software systems used in the field environments are the same as or close to those used in the development-testing environment; however, the systems may be used in many different locations. Development of software system is a difficult and complex process. Generally, existing software reliability models are applied to software testing data and then used to make predictions on the software failures and reliability in the field. In this paper, we present an improved exponential NHPP software reliability model in different development environments, and examine the goodness-of-fit of improved exponential model and other model based on two datasets. The results show that the proposed model fits significantly better than other NHPP software reliability model.

Automotive Embedded System Software Development and Validation with AUTOSAR and Model-based Approach (AUTOSAR와 모델기반 기법을 적용한 차량 임베디드 시스템 소프트웨어의 개발 및 검증 기법)

  • Kum, Dae-Hyun;Son, Jang-Kyung;Kim, Myung-Jin;Son, Joon-Woo
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.13 no.12
    • /
    • pp.1179-1185
    • /
    • 2007
  • This paper presents a new approach to automotive embedded systems development and validation. Recently automotive embedded systems become even more complex and the product life cycle is getting reduced. To overcome these problems AUTOSAR, a standardized software platform and component based approach, was introduced. Model-based approach has been widely applied in the development of embedded systems and has strong benefits such as early validation and automated testing. In this paper cooperative development and validation of AUTOSAR and model-based approach are introduced and automated testing techniques are proposed. With the proposed techniques we can improve complexity management through increased reuse and exchangeability of software module and automated testing is realized.

Determination of Optimal Software Release Time Based on Number of Errors (소프트웨어 오류개수에 근거한 최적 출시시점 결정)

  • Yoo, Young-Kwan;Lee, Jong-Moo;Park, Cheol-Soo
    • Proceedings of the Safety Management and Science Conference
    • /
    • 2011.04a
    • /
    • pp.451-459
    • /
    • 2011
  • In this paper, a software release model is presented to determine the optimum testing time with consideration of software error type. The software errors are classified into two types, major and minor errors. The software testing is continued until the Nth major error is discovered and corrected. The total cost needed before and after testing time is modeled under nonhomogeneous Poisson error correction model. Numerical examples are presented to demonstrate the results.

  • PDF

The Comparative Study for Property of Learning Effect based on Truncated time and Delayed S-Shaped NHPP Software Reliability Model (절단고정시간과 지연된 S-형태 NHPP 소프트웨어 신뢰모형에 근거한 학습효과특성 비교연구)

  • Kim, Hee Cheul
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.8 no.4
    • /
    • pp.25-34
    • /
    • 2012
  • In this study, in the process of testing before the release of the software products designed, software testing manager in advance should be aware of the testing-information. Therefore, the effective learning effects perspective has been studied using the NHPP software. The finite failure nonhomogeneous Poisson process models presented and applied property of learning effect based on truncated time and delayed S-shaped software reliability. 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 can be confirmed. This paper, a failure data analysis was performed, using time between failures, according to the small sample and large sample sizes. The parameter estimation was carried out using maximum likelihood estimation method. Model selection was performed using the mean square error and coefficient of determination, after the data efficiency from the data through trend analysis was performed.

Supporting Systematic Software Test Process in R&D Project with Behavioral Models

  • Choi, Hyorin;Lee, Jung-Won;Lee, Byungjeong
    • Journal of Internet Computing and Services
    • /
    • v.19 no.2
    • /
    • pp.43-48
    • /
    • 2018
  • Various artifacts that are produced as software R&D project progresses contain research plan, research report, software requirements and design descriptions, etc. When conducting a software R&D project, it is necessary to confirm that the developed system has implemented its research requirements well. However, various research results make it difficult to design appropriate tests. So, there is a practical need for us to comprehensively handle the planning, execution, and reporting of software test for finding and verifying information related to the research. In this paper, we propose a useful method for software test process in R&D project which supports model based software testing. The proposed method supports automation of test design and generation of test data by explicitly separating each step of System Under Test (SUT). The method utilizes the various models representing the control flow of the function to extract the information necessary for testing the system. And it supports a systematic testing process based on TMMi and ISO 29119. Finally, we show the validity of the method by implementing a prototype with basic functionality to generate test data from software behavioral models.

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.

Optimal Release Time for Software Considering Distribution of Periodic Service Packs and Uncertain Patches during Operational Phase (사용단계에서 주기적 서비스 팩 배포와 불확실한 패치 배포를 고려한 소프트웨어의 최적 출시시기)

  • Park, Il Gwang;Kong, Myung Bock
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.33 no.4
    • /
    • pp.487-493
    • /
    • 2007
  • In this paper, we deal with an optimal software-release problem of determining the time to stop testing and release the software system to the user. The optimal release time problem is considered from maintenance like the periodic distribution of service packs and the unpredictable distribution of patches after the release. Moreover, the environment of software error-detection during operation differs from the environment during testing. This paper proposes the software reliability growth model which incorporates periodic service packs, unpredictable patches and operational environment. Based on the proposed model, we derive optimal release time to minimize total cost composed of fixing an error, testing and maintenance. Using numerical examples, optimal release time is determined and illustrated.

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

MND-TMM for Testing Process Improvements of Defense Software (국방 소프트웨어의 시험 프로세스 개선을 위한 국방 시험 성숙도 모델)

  • Park, Jun-Young;Ryu, Ho-Yeon;Choi, Ho-Jin;Baik, Jong-Moon;Kim, Jin-Soo
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.5
    • /
    • pp.288-296
    • /
    • 2008
  • Software in defense domain requires high quality since defense specific characteristics. To assure high quality products, development and testing activities based on well defined process must be performed. If those activities cannot support software acquisition process, the quality of acquired software product is low and combat power decreases. In this paper, we propose MND-TMM(Ministry of National Defense-Testing Maturity Model), which can help enhance software quality through testing process improvements. This paper also introduces the contents of MND-TMM architecture. MND-TMM is constituted to reflect the characteristics of defense software, development process, and testing process so as to solve the problems associated with software testing. MND-TMM is comprised of 5 maturity levels and 4 categories which have number of related TPA(Testing Process Area)s. It is expected that MND-TMM can help assess testing maturity of defense software organizations and provides guidelines to improve software testing process.

Software Development for System Virtual Accelerated Life Testing (시스템의 가상 가속수명시험을 위한 소프트웨어 개발)

  • Kang, Bo-Sik;Chang, Mu-Seong
    • Journal of Applied Reliability
    • /
    • v.12 no.3
    • /
    • pp.187-199
    • /
    • 2012
  • In general, accelerated life testing is performed to reduce testing time. But it is difficult to apply accelerated life testing to a system besides components. This paper developed a software which estimates reliability measures of the system from results of accelerated life testing of components building the system. This software can handle the system with a large number of components and complex topology. Multiple failure modes of a component were also considered in this software. Based on the software, reliability measures of a gearbox example at several conditions were estimated from the accelerated life testing results of three components of the gearbox.