• Title/Summary/Keyword: Model-Based Testing

Search Result 1,595, Processing Time 0.028 seconds

A Hybrid Cloud Testing System Based on Virtual Machines and Networks

  • Chen, Jing;Yan, Honghua;Wang, Chunxiao;Liu, Xuyan
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.14 no.4
    • /
    • pp.1520-1542
    • /
    • 2020
  • Traditional software testing typically uses many physical resources to manually build various test environments, resulting in high resource costs and long test time due to limited resources, especially for small enterprises. Cloud computing can provide sufficient low-cost virtual resources to alleviate these problems through the virtualization of physical resources. However, the provision of various test environments and services for implementing software testing rapidly and conveniently based on cloud computing is challenging. This paper proposes a multilayer cloud testing model based on cloud computing and implements a hybrid cloud testing system based on virtual machines (VMs) and networks. This system realizes the automatic and rapid creation of test environments and the remote use of test tools and test services. We conduct experiments on this system and evaluate its applicability in terms of the VM provision time, VM performance and virtual network performance. The experimental results demonstrate that the performance of the VMs and virtual networks is satisfactory and that this system can improve the test efficiency and reduce test costs through rapid virtual resource provision and convenient test services.

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.

Energy analysis-based core drilling method for the prediction of rock uniaxial compressive strength

  • Qi, Wang;Shuo, Xu;Ke, Gao Hong;Peng, Zhang;Bei, Jiang;Hong, Liu Bo
    • Geomechanics and Engineering
    • /
    • v.23 no.1
    • /
    • pp.61-69
    • /
    • 2020
  • The uniaxial compressive strength (UCS) of rock is a basic parameter in underground engineering design. The disadvantages of this commonly employed laboratory testing method are untimely testing, difficulty in performing core testing of broken rock mass and long and complicated onsite testing processes. Therefore, the development of a fast and simple in situ rock UCS testing method for field use is urgent. In this study, a multi-function digital rock drilling and testing system and a digital core bit dedicated to the system are independently developed and employed in digital drilling tests on rock specimens with different strengths. The energy analysis is performed during rock cutting to estimate the energy consumed by the drill bit to remove a unit volume of rock. Two quantitative relationship models of energy analysis-based core drilling parameters (ECD) and rock UCS (ECD-UCS models) are established in this manuscript by the methods of regression analysis and support vector machine (SVM). The predictive abilities of the two models are comparatively analysed. The results show that the mean value of relative difference between the predicted rock UCS values and the UCS values measured by the laboratory uniaxial compression test in the prediction set are 3.76 MPa and 4.30 MPa, respectively, and the standard deviations are 2.08 MPa and 4.14 MPa, respectively. The regression analysis-based ECD-UCS model has a more stable predictive ability. The energy analysis-based rock drilling method for the prediction of UCS is proposed. This method realized the quick and convenient in situ test of rock UCS.

Component integration Test Modeling with UML (UML 기반 콤포넌트 통합 테스팅)

  • Yun, Hoe-Jin;Seo, Ju-Yeong;Choe, Jeong-Eun;Choe, Byeong-Ju
    • Journal of KIISE:Software and Applications
    • /
    • v.26 no.9
    • /
    • pp.1105-1113
    • /
    • 1999
  • 객체 지향 소프트웨어의 확장과 더불어 소프트웨어의 재사용성의 중요도가 부각되면서 소프트웨어를 콤포넌트 단위로 구현하는 추세이다. 따라서 콤포넌트 기반의 소프트웨어 개발에서의 통합 테스트가 중요한 이슈로 떠오르고 있다. 그러나 콤포넌트들의 통합 테스트에 대한 연구는 미흡한 상태이다. 본 논문에서는 UML을 기반으로 체계적인 통합 테스트 모형을 제안하고. 나아가 본 논문에서는 "멀티미디어 정보처리 시스템"의 사례를 본 논문의 콤포넌트 통합 테스트 모형에 적용한 결과를 분석하여 기술한다. 콤포넌트 통합 테스트 모형은 UML(Unified Modeling Language)의 순서도(sequence diagram)와 협력도(collaboration diagram)를 이용하여 전체 시스템에서 UML의 사건흐름을 구성하는 콤포넌트들 사이의 인터페이스 영역에 존재하는 오류들을 추출한다. 그리고 UML을 기반으로 통합 테스트를 수행함으로써, 테스트 준비 작업을 줄이고, 기존의 UML 지원 도구들과 연계하여 테스트 자동화 도구의 구현을 앞당길 수 있다. 또한 시스템의 순차적 흐름 뿐 아니라, 동시에 수행되는 흐름에 대한 정보까지 모두 수용하여 테스트함으로써, 콤포넌트 기반의 분산 환경의 특성에 적합하다. Abstract As the object-oriented approach to software development becomes more mature, software development from pre-existing, independently developed components becomes an important aim of software engineering. Therefore, integration testing becomes an important aspect of component-based software development. However, there has been little work done in the area of the component-based integration testing. In this paper, we propose the "component integration test model" which is based on UML. Furthermore, we describe a case study on "Multimedia Information Processing System" conducted to analyse the result from which our model is applied. Our model extracts the faults, which exist in interfaces of components, using sequence diagram and collaboration diagram of UML(Unified Modeling Language). As our model is based on UML, the preparation effort for testing is reduced and its test-tools can be implemented more easily through linking existing UML tool. And our model accepts the information of concurrent flow represented by collaboration diagram as well as sequential flow, so it is more suitable to component-based distributed environment.based distributed environment.

Modal and structural identification of a R.C. arch bridge

  • Gentile, C.
    • Structural Engineering and Mechanics
    • /
    • v.22 no.1
    • /
    • pp.53-70
    • /
    • 2006
  • The paper summarizes the dynamic-based assessment of a reinforced concrete arch bridge, dating back to the 50's. The outlined approach is based on ambient vibration testing, output-only modal identification and updating of the uncertain structural parameters of a finite element model. The Peak Picking and the Enhanced Frequency Domain Decomposition techniques were used to extract the modal parameters from ambient vibration data and a very good agreement in both identified frequencies and mode shapes has been found between the two techniques. In the theoretical study, vibration modes were determined using a 3D Finite Element model of the bridge and the information obtained from the field tests combined with a classic system identification technique provided a linear elastic updated model, accurately fitting the modal parameters of the bridge in its present condition. Hence, the use of output-only modal identification techniques and updating procedures provided a model that could be used to evaluate the overall safety of the tested bridge under the service loads.

Applying Meta-Heuristic Algorithm based on Slicing Input Variables to Support Automated Test Data Generation (테스트 데이터 자동 생성을 위한 입력 변수 슬라이싱 기반 메타-휴리스틱 알고리즘 적용 방법)

  • Choi, Hyorin;Lee, Byungjeong
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.1
    • /
    • pp.1-8
    • /
    • 2018
  • Software testing is important to determine the reliability of the system, a task that requires a lot of effort and cost. Model-based testing has been proposed as a way to reduce these costs by automating test designs from models that regularly represent system requirements. For each path of model to generate an input value to perform a test, meta-heuristic technique is used to find the test data. In this paper, we propose an automatic test data generation method using a slicing method and a priority policy, and suppress unnecessary computation by excluding variables not related to target path. And then, experimental results show that the proposed method generates test data more effectively than conventional method.

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.

Durability Design of a Passenger Car Front Aluminum Sub-frame using Virtual Testing Method (가상시험기법을 이용한 승용차 전륜 알루미늄 서브프레임 내구설계)

  • Nam, Jin-Suk;Shin, Hang-Woo;Choi, Gyoo-Jae
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.21 no.3
    • /
    • pp.368-375
    • /
    • 2012
  • Durability performance evaluation of automotive components is very important and time consuming task. In this paper, to reduce vehicle component development time and cost virtual testing simulation technology is used to evaluate durability performance of a passenger car front aluminum sub-frame. Multibody dynamics based vehicle model and virtual test simulation model of a half car road simulator are validated by comparisons between rig test results and simulation results. Durability life prediction of the sub-frame is carried out using the model with road load data of proving ground which can evaluate accelerated durability life. We found that the durability performance of the sub-frame is sufficient and it can be predicted within short time compared to rig test time.

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.

Design and Characteristics Analysis of the 78 kWe Grade Synchronous Generator for Disused Diesel Engines

  • Youn, Jun-Seop;Kim, Hae-Joong;Kim, Youn-Hwan;Moon, Jae-Won
    • Journal of Magnetics
    • /
    • v.22 no.1
    • /
    • pp.122-132
    • /
    • 2017
  • This study dealt with the design process of the 78 kW permanent magnet synchronous generator for engines. After the calculation of the basic dimensions through a theoretical method in the process of initial model design, FEA (finite-element analysis) and a d,q-axis equivalent circuit were used to identify the generator characteristics depending on the number of poles. With the use of the space harmonic analysis method, the back-EMF (electromotive force) and THD were checked, and then the number of slots was determined. In addition, the most optimized generator dimensions were determined through a sizing optimization technique. Based on this, the optimum model with enhanced efficiency, material costs, and temperature characteristics was derived, and the availability of the design method was confirmed through a comparative analysis of the initial and optimum models.