• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.361-370
• /
• 2009

Recently, the most mobile application software developers are being faced by short developing time (fast time-to-market), various requirements and requirement changes. In order to overcome the environment, developer should support user friendly GUI and assure the quality from the early developing process using GUI test method. This paper proposes a test method and tool for mobile software GUI, which reduces test time and supports comfortable test environment by user oriented UI design. We implemented a tool based on test scenarios based image flow for high testing accuracy and test case reusability. And the results show the characteristics of the method compared to the existing tools.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.5
• /
• pp.151-156
• /
• 2016

The IoT technology and sensors used for collecting the environment information has rapidly increased the number and type. With the increasing need for this type of sensor effective system for selecting and testing the sensor nodes for the IoT to develop products and services. In this study, we design and implement IoT sensor testing system for IoT service and product. In order to support rapid prototyping, the proposed system provides testing and management tools for IoT sensor nodes. We analyze the requirements of the proposed system and design the system based on the functional component-specific design. Finally, we implement testing application to verify the functional elements of the proposed system.

• Convergence Security Journal
• /
• v.13 no.4
• /
• pp.33-39
• /
• 2013

Unit testing is proved to be vital for a successful software development process. Modern languages, such as Python, Java and C#, have a great support and tools for unit testing. But when it comes to C++, there are a big number of C++ frameworks available [List], and it becomes hard to make a choice of unit testing framework to use. This paper presents a survey of open source C++ unit testing frameworks by dividing open source C++ unit testing frameworks into two groups: frameworks with an integrated test runner and frameworks with a separate test runner.

• Proceedings of the CALSEC Conference
• /
• 1999.07a
• /
• pp.193-205
• /
• 1999

Nowadays, public domain software CALS/EC projects give their attention to the importance of test and evaluation (T＆E). This article proposed a survey on T＆E procedures of the international standards ISO 9000-3, ISO/IEC 9126 and ISO 14598, and of the U.S. Army pamphlet as well as that of MIL-STD-498. And features of testing tools such as their characteristics were reviewed for a reference in selecting appropriate one. Large-scale software projects often encounter with problems during T＆E, when they become close to the end of development cycle. The problems generally act as a bottleneck of a project, leading to slippage of the entire schedule. This article tried a close look at the problems and solution alternatives of the T＆E policy, management, and technical issues, and proposed a T＆E model to support a variety of software development environment.

• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.704-716
• /
• 2005

Assembling new software systems from Prepared components is an attractive alternative to traditional software development method to reduce development cost and schedule dramatically. However, if separately developed components are tested, integrated and verified with unreasonable effort and high cost, it would not be an effective way to software development. Components are not distributed in the shape of white-box source code so that should be hard to validate and test in new application environment. For solving this problem, built-in tester components are suggested to check the contract-compliance of their server components. If components have various and complex function, built-in tester should be heavy and unflexible to test in composition of components. This paper suggests enhancing automated wrapper technique which substitutes with built-in tester components and shows the usability of the wrapper by design and implementation. Component testing in this way reduces the cost and effort associated with preparation of component testing and makes the various test experiments in components assembly.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.7 no.8
• /
• pp.1989-2009
• /
• 2013

How to discover router vulnerabilities effectively and automatically is a critical problem to ensure network and information security. Previous research on router security is mostly about the technology of exploiting known flaws of routers. Fuzzing is a famous automated vulnerability finding technology; however, traditional Fuzzing tools are designed for testing network applications or other software. These tools are not or partly not suitable for testing routers. This paper designs a framework of discovering router protocol vulnerabilities, and proposes a mathematical model Two-stage Fuzzing Test Cases Generator(TFTCG) that improves previous methods to generate test cases. We have developed a tool called RPFuzzer based on TFTCG. RPFuzzer monitors routers by sending normal packets, keeping watch on CPU utilization and checking system logs, which can detect DoS, router reboot and so on. RPFuzzer' debugger based on modified Dynamips, which can record register values when an exception occurs. Finally, we experiment on the SNMP protocol, find 8 vulnerabilities, of which there are five unreleased vulnerabilities. The experiment has proved the effectiveness of RPFuzzer.

• Journal of Broadcast Engineering
• /
• v.12 no.3
• /
• pp.214-221
• /
• 2007

In this paper, we presents conformance test tools for the broadcast web site (BWS) service which is one of the data services for terrestrial digital multimedia broadcasting (T-DMB). First, the methodology for the conformance test is established for both transmitters and receivers of T-DMB BWS services. The test tools consist of three parts: BWS bitstream analyzer, BWS reference decoder (software) module, and BWS test bitstreams. For testing transmitted BWS bitstreams, we developed the bitstream analyzer. For testing BWS receivers, we developed the reference Ifecoder module and created the test bitstreams. Actually the bitstream analyzer developed in this paper was used for the verification of the test bitstreams. The same test bitstreams are fed to a BWS decoder module under test and the reference decoder module and the results from the two are compared for verification. The test tools can be used for the test of all the protocol and textual/image specifications related to BWS including MOT protocol, HTML, PNG, MNG, JPEG, and Ecma Script.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.4
• /
• pp.709-722
• /
• 2022

The recent "Log4j Security Vulnerability Incident" has occurred, and the information system that uses the open source "Log4J" has been exposed to vulnerabilities. The incident brought great vulnerabilities in the information systems of South Korea's major government agencies or companies and global information systems, causing problems with open source vulnerabilities. Despite the advantages of many advantages, the current development paradigm, which is developed using open source, can easily spread software security vulnerabilities, ensuring open source safety and reliability. You need to check the open source. However, open source vulnerability scan tools have various languages and functions. Therefore, the existing software evaluation criteria are ambiguous and it is difficult to evaluate advantages and weaknesses, so this paper has developed a new evaluation criteria for the vulnerability analysis tools of open source

• Aerospace Engineering and Technology
• /
• v.10 no.2
• /
• pp.105-113
• /
• 2011

During the development of flight software, the processor emulator and satellite simulator are essential tools for software development and verification, which can be substituted for the actual hardware. LEO satellites being developed by KARI recently use the MCM-ERC32SC processor for on-board computer (OBC). For the flight software (FSW) development and testing, the software-based spacecraft simulator was developed using TSIM-ERC32 processor emulator from Aeroflex Gaisler. It is needed to get rid of the constraints and dependencies of TSIM-ERC32 processor emulator and to obtain high performance processor emulator to develop full satellite simulator. This paper presents the development of the ERC32 emulator based on open source dynamic translator, QEMU, as the first step. And it describes the software development and testing/debugging on the developed emulator.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.974-982
• /
• 2016

Mutation analysis (or software mutation analysis) generates variants of a target program by injecting systematic code changes to the target program, and utilizes the variants to analyze the target program behaviors. Effective mutation analyses require adequate mutation operators that generate diverse variants for use in the analysis. However, the current mutation analysis tools for Java programs have limitations, since they support only limited types of mutation operators and do not support recent language features such as Java8. In this study, we present Mutagen4J, a new mutant generation tool for Java programs. Mutagen4J additionally supports mutation operators recently shown to generate various mutants and fully supports recent Java language features. The experimental results show that Mutagen4J generates useful mutants for analyses 2.3 times more than the existing Java mutation tools used for the study.