• Title/Summary/Keyword: Dynamic Software test

Search Result 253, Processing Time 0.028 seconds

Static load test of the bogie and vibration performance test, dynamic characteristics analysis of the bulk cement car (벌크시멘트화차의 대차 하중시험과 진동성능시험 및 동특성 해석 연구)

  • 홍재성;함영삼;백영남
    • Journal of the Korean Society for Railway
    • /
    • v.6 no.3
    • /
    • pp.186-193
    • /
    • 2003
  • The object of this study is to ensure the stability of bulk cement cars conducting vibration performance test, dynamic characteristic analysis and static load test of bogie frame. In case of static load test, bogie static load test facility was used. In case of dynamic characteristic analysis, Vampire Software was used. In case of vibration performance test, real bulk cement cars were used in kyeung-bu line. In the results of static load test of bogie frame for bulk cement car, all structures satisfied allowable stress criteria of materials. The vibration performance test and dynamic characteristic analysis results satisfied allowable standards.

Software Similarity Detection Using Highly Credible Dynamic API Sequences (신뢰성 높은 동적 API 시퀀스를 이용한 소프트웨어 유사성 검사)

  • Park, Seongsoo;Han, Hwansoo
    • Journal of KIISE
    • /
    • v.43 no.10
    • /
    • pp.1067-1072
    • /
    • 2016
  • Software birthmarks, which are unique characteristics of the software, are used to detect software plagiarism or software similarity. Generally, software birthmarks are divided into static birthmarks or dynamic birthmarks, which have evident pros and cons depending on the extraction method. In this paper, we propose a method for extracting the API sequence birthmarks using a dynamic analysis and similarity detection between the executable codes. Dynamic birthmarks based on API sequences extract API functions during the execution of programs. The extracted API sequences often include all the API functions called from the start to the end of the program. Meanwhile, our dynamic birthmark scheme extracts the API functions only called directly from the executable code. Then, it uses a sequence alignment algorithm to calculate the similarity metric effectively. We evaluate the birthmark with several open source software programs to verify its reliability and credibility. Our dynamic birthmark scheme based on the extracted API sequence can be utilized in a similarity test of executable codes.

Accelerated Durability Analysis of Suspension System (Suspension System의 가속내구해석)

  • 민한기;정종안;양인영
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.10 no.5
    • /
    • pp.168-173
    • /
    • 2002
  • The durability test, along with the crashworthiness test, requires the most time and expense in the vehicle development process. The durability design using CAE tools reduces the time required for both the durability test and actual vehicle production. Existing dynamic stress analyses designed fir the analysis of vehicle fatigue mainly calculate the dynamic stress history and fatigue after performing dynamic analysis and stress analysis with relevant software applications and then superpositioning the dynamic load history and stress influence coefficient at each joint. This approach is a complex process, taking into account the flexibility of the parts. It is, however, incapable of giving accurate consideration to the contacts between components, the non-linearity of materials, and tire-road surface interactions. This approach also requires that the analysts have an expertise in software applications of various kinds or an expert in each area must perform the analysis. This requires as a great deal of manpower and time. In order to complement the existing approaches for dynamic stress analysis, this study aims at the following: (1) to suggest the simple and accurate analysis technique which is capable of producing all the possible necessary results; (2) to reduce dramatically the time and manpower needed to construct a model designed to analyze dynamics, quasi-static stress, and fatigue; and (3) to enable an accurate analysis of fatigue by improving the accuracy of dynamic stress. we verify the presented analysis method through durability evaluation of the knuckle of passenger car.

Dynamic Analysis of Underwater Test Collector on Extremely Soft Soil (해저연약지반 시험집광기의 동적거동 해석)

  • Kim, Hyung-Woo;Hong, Sup;Choi, Jong-Su;Yeu, Tae-Yeong
    • The Sea:JOURNAL OF THE KOREAN SOCIETY OF OCEANOGRAPHY
    • /
    • v.13 no.3
    • /
    • pp.222-228
    • /
    • 2008
  • We conducted a dynamic analysis of an underwater test collector, which operates on extremely soft soil of deep-seafloor. The underwater test collector consists of nodule pick-up device, vehicle tracks, nodule crusher, loading frame and electric-electronic system. The weight of underwater test collector is about 8600 kg. The average normal pressure, that the underwater test collector supports, is about 6.0 kPa. The dynamic analysis model of underwater test collector is developed using commercial software RecurDyn-LM and Visual Fortran 90. A terramechanics model of extremely soft soil is implemented to the software based on user-written subroutine and applied to the dynamic analysis of the underwater test collector model. The dynamic responses of test collector are studied with respect to track velocities, terrain conditions, and coefficients of added mass and drag.

On the Efficiency Comparison of Dynamic Program Slicing Algorithm for Software Testing (소프트웨어 테스팅을 위한 동적 프로그램 슬라이싱 알고리즘의 효율성 비교)

  • Park, Soon-Hyung;Park, Man-Gon
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.9
    • /
    • pp.2323-2333
    • /
    • 1998
  • Software engineers generally analyze the program behavior under the test case that revealed the error, not under any teneric est case. In this paper we discuss the dynamic slice consisting of all statements that actually affect the value of a variable occurrence for a given program input. We propose an efficient algorithm to make dynamic program slices. The eficiency of this algorithm is evaluated on some developed program. results are shown by a marking table of execution history. Dynamic Dependence Graph, and Reduced Dynamic Dependence Graph, Consequently, the efficiency of the proosed algorithm is also presented by the compariso with algorithm that was announced previously.

  • PDF

Analysis on Dynamic Software Defects for Increasing Weapon System Reliability (국방 무기체계 소프트웨어 신뢰성 향상을 위한 소프트웨어 동적 결함 분석)

  • Park, Jihyun;Choi, Byoungju
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.7 no.7
    • /
    • pp.249-258
    • /
    • 2018
  • The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult to prevent only with static testing and code coverage level dynamic testing. In this paper, we classify dynamic software defect types and analyze the issues reported in the Open Source Software (OSS) used in the US department of defense weapon systems. The dynamic defects classified in this paper usually occur after integration, and it is difficult to reproduce and identify the cause. Based on this analysis, we come to the point that the software integration test must be enhanced in order to verify the reliability of the weapon system.

On the Efficiency Comparison of Dynamic Program Slicing Algorithm using Multiple Criteria Variables (다중 기준변수를 사용한 동적 프로그램 슬라이싱 알고리즘의 효율성 비교)

  • Park, Sun-Hyeong;Park, Man-Gon
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.9
    • /
    • pp.2384-2392
    • /
    • 1999
  • Software engineers are used to analyse the error behavior of computer programs using test cases which are collected for the testing phase when software errors are detected. In actual software testing and debugging, it is important to adopt dynamic slicing technique which is concerned on all the statements to be affected by the variables of current inputs and to use technique of its implementations. The traditional dynamic slicing has focused on the single slicing criterion algorithm. It has been thought that it is needed to develope and implement algorithm for used multiple criteria variables program slicing, which finds every slicing criterion variable where it is used multiple criteria variables. In this paper, we propose an efficient algorithm to make dynamic program slices when it has used multiple criteria variables. The results of the implementation are presented by the making table on execution history and the dynamic dependence graph. Also we can find that the proposed dynamic program slicing approach using multiple criteria variables is more efficient than the traditional single case algorithm on the practical testing environment.

  • PDF

Autonomous Mission Management Software Design and Verification Technique for Unmanned Aerial Vehicles (무인기 자율 임무관리 소프트웨어 설계 및 검증 기법)

  • Chang, Woohyuk;Lee, Seung-Gyu;Kim, Yun-Geun;Oh, Taegeun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.49 no.6
    • /
    • pp.505-513
    • /
    • 2021
  • We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.

Effective Test Case Generation for Various Types of Web-based Software (다양한 웹 기반 소프트웨어의 테스트를 위한 효율적인 테스트 케이스의 생성)

  • Kim, Hyun-Soo;Choi, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.12D no.4 s.100
    • /
    • pp.569-582
    • /
    • 2005
  • As information and business communication via Internet are growing up, web-based software is wide spread and more important on the viewpoint of software qualify than stand-alone. Research on verification of web content links and web-based Program was tried, but has short on covering various types of web based software and making experiments to be applied in real testing practice. This paper suggests a modeling technique to be applied to dynamic and various types of web-based software. First, it identifies each elements consisting of web-based software and then construct a model of Object Control Flow Graph and Object Relationship Diagram. We can generate test cases covering all test paths of ORD or invoking key points test route. Suggested modeling method and test case selection technique are verified by applying five types of web-based software and compared with other web-based test techniques.

Automated Coordinator between Testing and Debugging of Embedded Software (임베디드 소프트웨어를 위한 테스트와 디버깅 연계 자동화 방안)

  • Choi, Yoo-Na;Seo, Joo-Young;Choi, Byoung-Ju
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.16 no.5
    • /
    • pp.576-580
    • /
    • 2010
  • Generally, due to the strong coherence between embedded software and hardware or peripheral software, embedded software is tested by using black-box test based on user scenario for the whole system. This paper suggests the method to coordinate between testing and debugging under consideration for difficulties on solving out the defects detected from black-box test. First of all, from test result analysis, it builds up the debugging strategies enable to trace the locations of the defect's causes. And along with the strategies, it implements the generator of test scripts to be performed on the emulator environment. Through these steps, it can coordinate embedded software testing and debugging activities.