• Smart Structures and Systems
• /
• v.12 no.6
• /
• pp.661-678
• /
• 2013

In this paper, a wireless sensing system for structural field evaluation and rating of bridges is presented. The system uses a wireless platform integrated with traditional analogue sensors including strain gages and accelerometers along with the operating software. A wireless vehicle position indicator is developed using a tri-axial accelerometer node that is mounted on the test vehicle, and was used for identifying the moving truck position during load testing. The developed software is capable of calculating the theoretical bridge rating factors based on AASHTO Load and Resistance Factor Rating specifications, and automatically produces the field adjustment factor through load testing data. The sensing system along with its application in bridge deck rating was successfully demonstrated on the Evansville Bridge in West Virginia. A finite element model was conducted for the test bridge, and was used to calculate the load distribution factors of the bridge deck after verifying its results using field data. A confirmation field test was conducted on the same bridge and its results varied by only 3% from the first test. The proposed wireless sensing system proved to be a reliable tool that overcomes multiple drawbacks of conventional wired sensing platforms designed for structural load evaluation of bridges.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.115-124
• /
• 2021

Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.1257-1263
• /
• 2008

Recent advances in embedded system technology have brought more dependence on automating train control. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed a software testing tool to evaluate train control system software safety, expecially "Metric Analysis" module. We have reviewed requirements in the international standards and surveyed available tools in the market. From this, we identified the S/W metric analysis module is required for software evaluation. So we have developed S/W metric analysis module for railway signaling systems.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.921-926
• /
• 2009

Vulnerabilities in software can result in many social and economic problems once it has already been deployed and put to use. Thus, the vulnerabilities should be seriously taken into consideration from the beginning step of software development. A modeling and simulation method for software can be adopted as a testing tool for establishing vulnerability inspection strategies. For verification of usability of this strategy, in this paper, we modeled the behavior of a DNS system using Ptolemy and the simulation was performed. The result shows that a well-known vulnerability of DNS server could be effectively found, which confirms that the modeling and simulation can be used for vulnerability testing.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.13 no.3
• /
• pp.443-450
• /
• 1989

A digital testing method for measurement of radial error motions of a spindle is investigated with special emphasis on developing a computer-aided in-situ inspection for machine tool manufacturing. The method utilizes three non-contact type probes and an optical encoder, based on a special computational algorithm to eliminate undesirable offset and roundness errors of the master spindle. Details of the design of hardware and software required to realize the testing method are described. Finally, advantages and limitations of the method are discussed with several test results.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.219-222
• /
• 2006

임베디드 소프트웨어는 IT기술의 발달과 하드웨어의 다양한 보급 등으로 인해 널리 사용되기 시작했으며, 일반적인 소프트웨어와는 다른 방식으로 제작되며, 절대 표준이 없기 때문에 다양한 방식으로 개발되고 있다. 임베디드 소프트웨어 품질 및 생산성을 위해서는 체계적인 테스팅 방법론이 요구된다. 기존의 테스팅 방법으로는 복잡하고 높은 수준의 임베디드 소프트웨어 기능들을 테스트하는데 한계점이 많다. 본 논문에서는 기존 소프트웨어 테스팅과 임베디드 소프트웨어 테스팅의 차이점을 제시하고 효율적인 임베디드 소프트웨어 테스팅이 가능한 지원도구의 요구사항과 전형적인 방법을 탈피하여 자동화된 테스팅 방법 및 도구인 ESTE(Embedded Software Testing Environments)의 구조와 지원 기능을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.279-282
• /
• 2005

기존의 임베디드 소프트웨어 테스팅은 하드웨어 지원을 필요로 하거나, 단순한 인터페이스로 제공되는데 반해, 최근의 임베디드 시스템은 복잡하고 높은 수준의 기능을 요구함으로써 기존의 테스팅을 그대로 적용하는 것은 매우 비효율적이다. 그러므로, 상세한 지식 없이도 사용 가능하고, 자동적으로 주어진 단계의 시뮬레이션을 수행하고 유효성을 확인하며, 분석의 원활한 수행을 위한 자동화 도구가 필요하게 되었다. 본 논문에서는 기존 기술과의 차이점을 제시하고, 임베디드 테스팅 작업이 용이한 임베디드 소프트웨어 자동 테스팅 기술을 개발하는 것을 목표로 한다. 이를 위해 임베디드 소프트웨어 테스팅 지원 도구의 요구사항을 분석하고, 테스팅 도구 ESTE(Embedded Software Testing Environments)의 전체 시스템 구조를 제시하고자 한다.

• Journal of Software Assessment and Valuation
• /
• v.17 no.2
• /
• pp.125-142
• /
• 2021

Reports of rampant cross-site scripting (XSS) vulnerabilities raise growing concerns on the effectiveness of current Static Analysis Security Testing (SAST) tools as an internet security device. Attentive to these concerns, this study aims to examine seven open-source SAST tools in order to account for their capabilities in detecting XSS vulnerabilities in PHP applications and to determine their performance in terms of effectiveness and analysis runtime. The representative tools - categorized as either text-based or graph-based analysis tools - were all test-run using real-world PHP applications with known XSS vulnerabilities. The collected vulnerability detection reports of each tool were analyzed with the aid of PhpStorm's data flow analyzer. It is observed that the detection rates of the tools calculated from the total vulnerabilities in the applications can be as high as 0.968 and as low as 0.006. Furthermore, the tools took an average of less than a minute to complete an analysis. Notably, their runtime is independent of their analysis type.

• Journal of KIISE:Software and Applications
• /
• v.33 no.1
• /
• pp.44-57
• /
• 2006

With the rapid growth of network technology, two or more products from different vendors are integrated and interact with each other to perform a certain function in the latest systems. Thus. interoperability testing is considered as an essential aspect of correctness of integrated systems. Interoperability testing is to test the ability of software and hardware on different machines from different vendors to share data. Most of the researches model communication system behavior using EFSM(Extended Finite State Machines) and use EFSM as an input of test scenario generation algorithm. Actually, there are many studies on systematic and optimal test case generation algorithms using EFSM. But in these researches, the study for generating EFSM model which is a foundation of test scenario generation isn't sufficient. This study proposes an EFSM generating technique from informal requirement analysis document for more complete interoperability testing. and implements prototype of Test Case Generation Tool generating test cases semi-automatically. Also we describe theoretical base and algorithms applied to prototype implementation.

• The KIPS Transactions:PartD
• /
• v.8D no.6
• /
• pp.761-770
• /
• 2001

As software industry is rapidly evolving, IT business enterprises have been meeting with cutthroat competition in developing software. As software reusability, time to market, and maintainability are considered as a competitive edge, software component techniques have lately attracted considerable attention. Currently, although there are some supporting tools for developing software components, they do not have tight connections among component developing processes such as component identification, component modeling, detailed design, code generation, deployment, and testing. And it is restrictive for users to construct various scales of components on component platform architecture. In this paper, we provide an implementation and a design of a supporting tool for constructing platform-independent software components, which covers all development lifecycles of components. In the phase of component modeling, platform independent, conceptual components are identified from domain model information in the view of system partitioning. Detailed design and implementation of a component are performed on the J2EE platform architecture. And the changes on the design model and source codes are consistently managed by using round-trip techniques.