• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.1399-1402
• /
• 1997

Design methodology of Interactuve Measuring Part Program Generating Tools(IMPPGT) realized on the FANUC 15MA using touch trigger probes and interactive macro functions of the CNC was described in this paper. Measuring G codes have been designed according to probe ste up, basic and applied inspection items by using measuring arguments. Menu driven measuring and inspection functions of the IMPPGT were studied and implemented on the CNC through the macro executor and ROM writer. Using the developed measuring G code system on the machine tool, untended measurement and inspection operation was able to be realized in precision FMS lines.

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

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

• 한국콘텐츠학회논문지
• /
• 제9권1호
• /
• pp.81-88
• /
• 2009

기존 연구에서는 자바 프로그램에서 논리적인 오류를 찾기 위한 기술로 HDTS를 제안했었다. HDTS는 알고리즈믹 프로그램 디버깅 기술을 이용하여 실행트리에서 오류를 포함하고 있는 메소드를 찾고, 단계적 프로그램 디버깅 기술을 이용하여 오류를 포함하고 있는 메소드에서 오류가 있는 문장을 찾아낸다. 그리고 분할 기술을 이용하여 오류를 포함하고 있는 메소드 내의 문장 중에서 디버깅에 관련이 없는 문장과 실행트리에서 불필요한 노드를 제거하여 노드의 수를 줄임으로서 사용자가 디버깅하는 횟수를 최소화할 수 있는 프로그램 디버깅 기술이다. 본 논문은 자바 프로그램을 디버깅할 수 있는 HDTS 시스템을 구현하기 위한 설계를 한다. 먼저, 자바의 부분언어를 정의하고 자바 원시 코드를 번역할 수 있는 번역기와 실행할 수 있는 가상머신을 설계한다. 그리고 사용자가 디버깅하기 위한 사용자 그래픽 인터페이스를 설계한다.

• 한국생산제조학회지
• /
• 제6권2호
• /
• pp.83-91
• /
• 1997

Interactive measuring Part Program Generating Tools (IMPPGT) realized on the FANUC 15MA using touch trigger probes and interactive macro functions of the CNC were developed for intelligent measuring and inspection systems on the machine tools. Machine tools. Menu driven measuring and inspection functions of the IMPPGT were studied and implemented on the CNC through the macro executor and ROM writer. In order to automate measurement and inspection procedures in machine shops, measuring G Code system was also proposed. Using the developed measuring G Code system on the machine tool, untended measurement and inspection operation was able to be realized in FMS lines.

• 한국정밀공학회지
• /
• 제15권4호
• /
• pp.91-97
• /
• 1998

Design methodology of Interactive Measuring Part Program Generating Tools(IMPPGT) realized on the FANUC 15MA using touch trigger probes and interactive macro functions of the CNC was described in this paper. Measuring G codes were designed according to geometric form, precision attributes, relations between parts, datum hierarchies, and relevant technological data by using measuring arguments. Menu driven measuring and inspection functions of the IMPPGT were studied and implemented on the CNC through the macro executor and ROM writer. Using the developed measuring G code system on the machine tool, untended measurement and inspection operation was able to be realized in precision FMS lines.

• 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.