• Title/Summary/Keyword: Model-Based Testing

Search Result 1,604, Processing Time 0.024 seconds

A New Methodology for Software Reliability based on Statistical Modeling

  • Avinash S;Y.Srinivas;P.Annan naidu
    • International Journal of Computer Science & Network Security
    • /
    • v.23 no.9
    • /
    • pp.157-161
    • /
    • 2023
  • Reliability is one of the computable quality features of the software. To assess the reliability the software reliability growth models(SRGMS) are used at different test times based on statistical learning models. In all situations, Tradational time-based SRGMS may not be enough, and such models cannot recognize errors in small and medium sized applications.Numerous traditional reliability measures are used to test software errors during application development and testing. In the software testing and maintenance phase, however, new errors are taken into consideration in real time in order to decide the reliability estimate. In this article, we suggest using the Weibull model as a computational approach to eradicate the problem of software reliability modeling. In the suggested model, a new distribution model is suggested to improve the reliability estimation method. We compute the model developed and stabilize its efficiency with other popular software reliability growth models from the research publication. Our assessment results show that the proposed Model is worthier to S-shaped Yamada, Generalized Poisson, NHPP.

A Study of the Software Testing Methods and fitness of the Reliability Models (소프트웨어 시험 전략과 신뢰도 모델적응 연구)

  • 문숙경
    • Journal of Korean Society for Quality Management
    • /
    • v.29 no.4
    • /
    • pp.92-102
    • /
    • 2001
  • Software testing during development and operation should exercise to obtain the desired software quality and leave failure data set. So far, many software reliability models are classified and can be used to measure a software reliability only based on its failure history But, in practice, developers or testers of software systems must decide which existing software reliability model can be fitted. In this paper, we will show that an appropriate reliability model can be selected by considering relations between characteristics of each testing environment and models' assumptions. Several methods of software testing are presented and discussed. Also, unit test, integrated test, function test and system test that are sequentially exercised during development will be introduced.

  • PDF

A Study on the Optimal Release Time Decision of a Developed Software by using Logistic Testing Effort Function (로지스틱 테스트 노력함수를 이용한 소프트웨어의 최적인도시기 결정에 관한 연구)

  • Che, Gyu-Shik;Kim, Yong-Kyung
    • Journal of Information Technology Applications and Management
    • /
    • v.12 no.2
    • /
    • pp.1-13
    • /
    • 2005
  • This paper proposes a software-reliability growth model incoporating the amount of testing effort expended during the software testing phase after developing it. The time-dependent behavior of testing effort expenditures is described by a Logistic curve. 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 curve 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.

  • PDF

The Software Reliability Growth Models for Software Life-Cycle Based on NHPP

  • Nam, Kyung-H.;Kim, Do-Hoon
    • The Korean Journal of Applied Statistics
    • /
    • v.23 no.3
    • /
    • pp.573-584
    • /
    • 2010
  • This paper considers the differences in the software execution environments in the testing phase and the operational phase to determine the optimal release time and warranty period of software systems. We formulate equations for the total expected software cost until the end of the software life cycle based on the NHPP. In addition, we derive the optimal release time that minimizes the total expected software cost for an imperfect debugging software reliability model. Finally, we analyze the sensitivity of the optimal testing and maintenance design related to variation of the cost model parameters based on the fault data observed in the actual testing process, and discuss the quantitative properties of the proposed model.

Real-time hybrid testing using model-based delay compensation

  • Carrion, Juan E.;Spencer, B.F. Jr.
    • Smart Structures and Systems
    • /
    • v.4 no.6
    • /
    • pp.809-828
    • /
    • 2008
  • Real-time hybrid testing is an attractive method to evaluate the response of structures under earthquake loads. The method is a variation of the pseudodynamic testing technique in which the experiment is executed in real time, thus allowing investigation of structural systems with time-dependent components. Real-time hybrid testing is challenging because it requires performance of all calculations, application of displacements, and acquisition of measured forces, within a very small increment of time. Furthermore, unless appropriate compensation for time delays and actuator time lag is implemented, stability problems are likely to occur during the experiment. This paper presents an approach for real-time hybrid testing in which time delay/lag compensation is implemented using model-based response prediction. The efficacy of the proposed strategy is verified by conducting substructure real-time hybrid testing of a steel frame under earthquake loads. For the initial set of experiments, a specimen with linear-elastic behavior is used. Experimental results agree well with the analytical solution and show that the proposed approach and testing system are capable of achieving a time-scale expansion factor of one (i.e., real time). Additionally, the proposed method allows accurate testing of structures with larger frequencies than when using conventional time delay compensation methods, thus extending the capabilities of the real-time hybrid testing technique. The method is then used to test a structure with a rate-dependent energy dissipation device, a magnetorheological damper. Results show good agreement with the predicted responses, demonstrating the effectiveness of the method to test rate-dependent components.

Hypothesis Testing for New Scores in a Linear Model

  • Park, Young-Hun
    • Communications for Statistical Applications and Methods
    • /
    • v.10 no.3
    • /
    • pp.1007-1015
    • /
    • 2003
  • In this paper we introduced a new score generating function for the rank dispersion function in a general linear model. Based on the new score function, we derived the null asymptotic theory of the rank-based hypothesis testing in a linear model. In essence we showed that several rank test statistics, which are primarily focused on our new score generating function and new dispersion function, are mainly distribution free and asymptotically converges to a chi-square distribution.

Estimation of VaR Using Extreme Losses, and Back-Testing: Case Study (극단 손실값들을 이용한 VaR의 추정과 사후검정: 사례분석)

  • Seo, Sung-Hyo;Kim, Sung-Gon
    • The Korean Journal of Applied Statistics
    • /
    • v.23 no.2
    • /
    • pp.219-234
    • /
    • 2010
  • In index investing according to KOSPI, we estimate Value at Risk(VaR) from the extreme losses of the daily returns which are obtained from KOSPI. To this end, we apply Block Maxima(BM) model which is one of the useful models in the extreme value theory. We also estimate the extremal index to consider the dependency in the occurrence of extreme losses. From the back-testing based on the failure rate method, we can see that the model is adaptable for the VaR estimation. We also compare this model with the GARCH model which is commonly used for the VaR estimation. Back-testing says that there is no meaningful difference between the two models if we assume that the conditional returns follow the t-distribution. However, the estimated VaR based on GARCH model is sensitive to the extreme losses occurred near the epoch of estimation, while that on BM model is not. Thus, estimating the VaR based on GARCH model is preferred for the short-term prediction. However, for the long-term prediction, BM model is better.

Model-Based Prediction of Pulsed Eddy Current Testing Signals from Stratified Conductive Structures

  • Zhang, Jian-Hai;Song, Sung-Jin;Kim, Woong-Ji;Kim, Hak-Joon;Chung, Jong-Duk
    • Journal of the Korean Society for Nondestructive Testing
    • /
    • v.31 no.6
    • /
    • pp.609-615
    • /
    • 2011
  • Excitation and propagation of electromagnetic field of a cylindrical coil above an arbitrary number of conductive plates for pulsed eddy current testing(PECT) are very complex problems due to their complicated physical properties. In this paper, analytical modeling of PECT is established by Fourier series based on truncated region eigenfunction expansion(TREE) method for a single air-cored coil above stratified conductive structures(SCS) to investigate their integrity. From the presented expression of PECT, the coil impedance due to SCS is calculated based on analytical approach using the generalized reflection coefficient in series form. Then the multilayered structures manufactured by non-ferromagnetic (STS301L) and ferromagnetic materials (SS400) are investigated by the developed PECT model. Good prediction of analytical model of PECT not only contributes to the development of an efficient solver but also can be applied to optimize the conditions of experimental setup in PECT.

A Colour Support System for Townscape Based on Kansei and Colour Harmony Models

  • Kinoshita, Yuichiro;Cooper, Eric;Kamei, Katsuari
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2003.09a
    • /
    • pp.435-438
    • /
    • 2003
  • A townscape has been a main factor in urban-development problems in Japan. In the townscape, keeping harmony with environment is a common goal. But useful and meaningful goals are expressing individuality and impression of the town in the townscape. In this paper, we propose the colony planning support system system to improve the townscape. The system finds propositional colour combinations based on three elements, town image, colour harmony, and cost. The targets of this model are mostly townscapes in residential areas that already exist, In this paper, we introduce the construction of a Kansei evaluation model to quantify the impression. First, we conducted computer-based evaluational experiments for 20 subjects using the SD method to clarify the relationship between town image and street colours. We chose 16 adjective words related to town image and prepared 100 colour picture samples for the evaluation. After the experiments, we constructed the model using a neural network for each word. We chose 62 experimental results for the training data of the neural network and 20 results for the testing data. Each colour in the data was selected to have unique hue, brightness or saturation attributes, After the construction, we tested the model for accuracy. We input the testing data into the constructed model and calculated errors between the output from the model and the experimental results. Testing of the model showed that the model worked well for more than 80% of the samples. The model demonstrated influences of colours on the town image.

  • PDF

GUI Testing for MVC Architecture based Applications (MVC 아키텍처 기반 애플리케이션의 GUI 테스팅)

  • Joo, Heeju;Lee, Changun
    • Journal of Software Engineering Society
    • /
    • v.24 no.1
    • /
    • pp.1-7
    • /
    • 2011
  • MVC(Model-View-Controller) architecture is well-known for high maintainability and it makes efficient development possible. Recently, it has been applied in many fields such as web, desktop and mobile applications. Therefore, effective testing for this architecture is strongly needed. Although much research has been done, there was not much efforts for exploiting MVC architecture in GUI testing. Therefore, in this paper, we propose a scheme for efficient and accurate GUI testing for MVC based applications. In this study we separate original state diagrams into view state diagram and model-controller state diagram. Then, we present a case study showing the effectiveness of our proposed scheme.

  • PDF