• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제3권7호
• /
• pp.243-254
• /
• 2014

테스트 플랫폼을 이용하여 테스트 환경을 꾸밀 때는 테스트 대상에 맞게 테스트 실행기와 인터페이스 환경을 구성하여야 한다. 즉, 테스트 대상의 입출력에 해당하는 신호를 처리할 수 있는 테스트 실행기와 인터페이스 환경을 구축하여야 한다. 따라서 테스트 플랫폼이 확장성이 없다면, 새로운 모델이나 다른 테스트 대상에 테스트마다 큰 수정이 불가피하고, 그에 맞는 새로운 테스트 실행기 및 인터페이스 환경을 구성해야 하는 단점이 있다. 본 논문에서는 이러한 문제점을 해결하기 위해서 간단한 실행조건 파일(configuration file)의 수정을 통해서 여러 테스트 대상에 적용 가능한 재구성이 가능한 실시간 테스트 실행기 TEM(test Execution Machine)를 제안한다. 제안한 TEM은 두 개의 실제 시스템 테스트를 통하여 그 효용성을 검증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.119-123
• /
• 2008

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

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권12호
• /
• pp.883-894
• /
• 2002

고전적인 결정적 테스팅 방법은 명세와 프로그램의 동치 관계를 기반으로 병행 프로그램의 수행 경로를 제어한다. 따라서, 주어진 시퀀스를 직접 구현하지 않고, 그와 의미적으로 동일한 다른 시퀀스를 구현한 프로그램에 대해서는 결정적 테스팅 방법을 적용하기 어렵다. 이를 해결하기 위해서, 우리는 테스트 시퀀스와 의미적으로 동일한 모든 시퀀스들을 허용하는 동치 집합 오토마타를 이용한 오토마타 기반 테스팅 방법을 제안하였었다. 이 논문에서는 Java 다중 스레드 프로그램에 대한 오토마타 기반 테스팅 환경을 제안하고, 테스팅 환경 내의 테스트 수행 지원 도구를 설계하고 구현하는 방법을 제안한다. 테스트 수행 지원 도구에서는 주어진 Java 다중 스레드 프로그램을 오토마타 기반의 결정적 테스팅 방법이 적용된 프로그램으로 변환하고, 이 변환된 프로그램을 수행함으로써 테스트의 결과를 알 수 있다. 이를 위해서 테스트 수행 지원 도구 내에서 동치 집합 오토마타를 생성하는 오토마타 생성기와 프로그램의 수행을 제어하기 위한 재연 제어기를 설계하고 구현한다. 그리고, 가스 충전소 예제를 이용하여 오토마타 기반의 결정적 테스팅의 과정 및 효과를 기술한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권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
• /
• 제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.