• KIPS Transactions on Software and Data Engineering
• /
• v.3 no.7
• /
• pp.243-254
• /
• 2014

When building a testing environment with a testing platform, the configuration of test executor and its interface should be built to be appropriate for the system under test (SUT). That is, it is necessary to build the test executor and interface environment that can properly handle the input and output signals of SUT. If the testing platform is not extendable, it should be modified significantly whenever new SUTs and models are tested. It is a serious drawback that the test executor and interface configuration need to be modified depending on testing targets. To overcome the drawback, this paper proposes TEM(test Execution Machine), which allows for test executor to reconfigure its environment suitable to new SUTs by modifying the configuration file. The proposed TEM is verified through testing two real systems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.119-123
• /
• 2008

본 논문에서는 요구사항 기반 신뢰성 자동 테스트를 하기 위해서 테스트 수행기를 구현하고, 테스트 수행기 내부의 스케줄링 방법을 제안하였다. 제안한 방법으로 상용 FATC를 테스트한 결과 이산적으로 모델링할 수 있는 임베디드 시스템에서는 잘 동작함을 확인할 수 있었다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.883-894
• /
• 2002

Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program.roach does works in a Java multi-threaded program.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.9
• /
• pp.3885-3906
• /
• 2020

Hybrid fuzzing which combines fuzzing and concolic execution, has proved its ability to achieve higher code coverage and therefore find more bugs. However, current hybrid fuzzers usually suffer from inefficiency and poor scalability when applied to complex, real-world program testing. We observed that the performance bottleneck is the inefficient cooperation between the fuzzer and concolic executor and the slow symbolic emulation. In this paper, we propose a novel solution named EPfuzzer to improve hybrid fuzzing. EPfuzzer implements two key ideas: 1) only the hardest-to-reach branch will be prioritized for concolic execution to avoid generating uninteresting inputs; and 2) only input bytes relevant to the target branch to be flipped will be symbolized to reduce the overhead of the symbolic emulation. With these optimizations, EPfuzzer can be efficiently targeted to the hardest-to-reach branch. We evaluated EPfuzzer with three sets of programs: five real-world applications and two popular benchmarks (LAVA-M and the Google Fuzzer Test Suite). The evaluation results showed that EPfuzzer was much more efficient and scalable than the state-of-the-art concolic execution engine (QSYM). EPfuzzer was able to find more bugs and achieve better code coverage. In addition, we discovered seven previously unknown security bugs in five real-world programs and reported them to the vendors.

• Journal of the Korean Institute of Landscape Architecture International Edition
• /
• no.1
• /
• pp.230-236
• /
• 2001

The usual definition of and urban resort was a place vastly different from places of daily life such as a theme park or other tourist destination. At the same time, revival of the combination of usual and unusual spaces, in a way like the mixed "Hare"(Special occasion of public event) and "Ke"(Daily life) spaces of communities of old Japan, is part of the idea of urban resorts. And they are places, which start by making a comfortable urban environment for citizens, providing a daily life full of culture and promoting a city′s identity to visitors. if we think about the kinds of structural elements of urban resorts, the usual elements include community, local culture and industry, while the unusual elements include symbols, festivities and interaction. Kobe Wing Stadium is a venue for the 2002 FIFA World Cup hosted by Korea and Japan. The city will build the stadium, but after construction management will be given over to private enterprise, hoping to utilize that sector′s business know how. A competition was held to determine the private executor who would be entrusted with the planning, design, construction and management of the project, considering the conditions of the area, the stadium′s relationship to it and local revitalization. The competition was won by a private enterprise (Kobe Steel Obayashi Group). The them of "Creation of a Sports Community Park" grapples with the large issue of the facility′s relationship with the community. American geographer Yi-fu Tuan coined the word "topophilia" to indicate love of a place. No other word could better describe the desired urban resort nature of the stadium. From this historical perspective it seems that stadiums have great potential as urban resorts. The factor that will determine their success is the attitude of citizens toward them, in short whether they develop topophilia for them or not. We examined the urban resort nature of Kobe Wing Stadium. Regarding daily life, we saw the attempts to revive the local community, the possibility of deepening the local culture and the weakened state of local industry. As a place that is for more than daily life, we saw the certainty of the stadium′s symbolism, its potential as a place for festivities and the test it will face as a space for interaction. Even though several issues are left for future resolution, evaluating Kobe Wing Stadium through these elements of an urban resort, it is clearly founded in the daily life of the community while providing a venue for "Hare"occasions. Fulfilling the roles of an urban resort, it provides many opportunities for local residents to enjoy their and gives visitors a reason to come repeatedly.