• 한국컴퓨터정보학회논문지
• /
• 제15권1호
• /
• pp.13-21
• /
• 2010

보드에 장착된 소자들을 테스트하기위해 제안된 IEEE 1149.1 시험 구조는 입력으로 TDI 핀을 사용하고 출력으로 TDO 핀을 사용하는 커다란 직렬 쉬프트 레지스터이다. IEEE 1149.1은 보드 수준에서의 테스트는 완벽하게 수행하지만 보드가 시스템에 장착되고 난 후의 수행 중인 시스템 수준에서의 실시간 동작클럭 속도로의 테스트에는 문제가 있다. 즉시험대상 핀의 실시간 동작신호를 시험하기 위하여 직렬 시프트 레지스트 체인들의 출력속도를 동작 클럭의 쉬프트레지스터 배수 이상의 속도로 작동 하여야 한다. 본 논문에서는 시스템 클럭과 동일한 속도로 실시간 신호를 캡쳐하기 위한 실시간 신호 시험 구조를 설계하고 시험 절차를 제안하였다. 제안한 실시간 신호 시험 구조를 Altera의 Max+Plus 10.0을 사용하여 제안한 시험 절차에 따라 시뮬레이션을 수행하였으며, 이를 통해 제안한 시험구조가 정확히 동작함을 확인하였다.

• Journal of Information Processing Systems
• /
• 제15권6호
• /
• pp.1462-1471
• /
• 2019

Real-time embedded systems have become pervasive in general industry. They also began to be applied in such domains as avionics, automotive, aerospace, healthcare, and industrial Internet. However, the system failure of such domains could result in catastrophic consequences. Runtime software testing is required in such domains that demands very high accuracy. Traditional runtime software testing based on handwork is very inefficient and time consuming. Hence, test automation methodologies in runtime is demanding. In this paper, we introduce a software testing system that translates a real-time software into a monitorable real-time software. The monitorable real-time software means the software provides the monitoring information in runtime. The monitoring target are time constraints of the input real-time software. We anticipate that our system lessens the burden of runtime software testing.

• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.167-172
• /
• 2010

본 논문에서는 우선순위 큐에 대한 성능 시험 모델을 제안하고, 제안된 모델에 따라 대표적인 우선순위 큐인 전통 힙, 후순위 힙, 및 페어링 힙의 성능 시험 결과를 보여준다. 이들 중 전통 힙이 분석된 시간복잡도에 있어서 최악인 것으로 알려져 있다. 그러나 제안된 성능 시험 모델에 근거한 성능 시험 결과에 따르면, 포인터를 사용하는 페어링 힙이 가장 느리고 전통 힙이 가장 빠른 것으로 나타났다. 두 묵시 힙에 대해서도, 분석된 시간복잡도로는 후순위 힙이 전통 힙보다 우수하지만, 성능 시험 결과는 반대인 것으로 나타났다.

• 정보보호학회논문지
• /
• 제30권3호
• /
• pp.443-454
• /
• 2020

자바스크립트 엔진은 주로 웹 브라우저에 적재되어 웹 페이지를 표시하는 여러 기능 중 자바스크립트 코드를 입력으로 받아 처리하는 모듈이다. 자바스크립트 엔진 내 취약점은 종단 사용자의 시스템 보안을 위협할 수 있어 많은 퍼징 테스트 연구가 수행되었다. 그중 일부 연구는 자바스크립트 엔진 내 테스트 커버리지를 유도하는 방식으로 퍼징 효율을 높였으나, 최적화되어 동적으로 생성된 기계어 코드에 대한 커버리지 유도 퍼징은 시도되지 않았다. 최적화된 자바스크립트 코드는 예외적인 흐름 발생 시 코드를 해제하는 런타임 가드의 기능으로 인해 퍼징을 통한 충분한 반복 테스트가 어렵다. 본 논문은 이러한 문제점을 해결하기 위해 최적화 해제를 회피하여 최적화된 기계어 코드에 대해 퍼징 테스트를 수행하는 방법을 제안한다. 또한, 동적 바이너리 계측 방식으로 수행된 런타임 가드의 커버리지를 계측하고 커버리지 증가를 유도하는 방식을 제안한다. 실험을 통해, 본 연구가 제안하는 방식이 런타임 가드 커버리지, 시간당 테스트 횟수의 두가지 척도에서 기존의 방식보다 뛰어남을 보인다.

• 한국정보처리학회논문지
• /
• 제5권11호
• /
• pp.2809-2822
• /
• 1998

GNARL은 GNAT Asa'95 컴파일러의 런타임 시스템으로, Ada'95언어의 멀티태스킹 기능의 지원을 담당한다. 공개 소프트웨어인 GNARL과 GNAT을 사용하면 프로그래밍언어, 컴파일러, 실시간 기능을 지원하는 런타임 시스템에 대한 연구를 자유롭게 수행 할 수 있는데, 본 연구에서는 GNARL과 GNAT의 총체적인 구조와 구현 원리 및 Asa'95의 멀티태스킹의 효율성, 예측성 및 안정성 향상에 대한 연구 결과에 대해 설명한다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제17권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권10호
• /
• pp.760-767
• /
• 2010

메모리 누수 검출을 위한 많은 도구들이 존재한다. 하자만 큰 시간적, 공간적 오버헤드로 인해 규모가 큰 제품의 개발자들은 사용을 꺼리게 된다. 이에 우리는 개발자들이 자신이 개발한 모듈만을 대상으로 유닛 테스트 시에 메모리 누수를 검출할 수 있는 기법을 고안하였다. 우리는 고정 크기 순환적 메모리 할당 기법을 우리의 목적에 맞게 확장함으로써 이것을 달성하였으며 우리의 기법을 평가하기 위해서, 간단한 데이터베이스 관리 시스템을 구현하여 그 중 일부 모듈을 대상으로 테스트 하였다. 실험 결과 우리 기법은 유닛 테스트 시에 적은 시간적, 공간적 오버헤드와 거짓 검출을 가졌다.

• International Journal of Computer Science & Network Security
• /
• 제23권1호
• /
• pp.103-111
• /
• 2023

Implementing conventional DFT solution for arrays of DNN accelerators having large number of processing elements (PEs), without considering architectural characteristics of PEs may incur overwhelming test overheads. Recent DFT based techniques have utilized the homogeneity and dataflow of arrays at PE-level and Core-level for obtaining reduction in; test pattern volume, test time, test power and ATPG runtime. This paper reviews these contemporary test solutions for ASIC based DNN accelerators. Mainly, the proposed test architectures, pattern application method with their objectives are reviewed. It is observed that exploitation of architectural characteristic such as homogeneity and dataflow of PEs/ arrays results in reduced test overheads.

• 한국자동차공학회논문집
• /
• 제21권6호
• /
• pp.8-15
• /
• 2013

Wide range frequency pulses occur in a car crash test. Until now, low frequency under 400Hz has been used to determine an airbag deployment criteria. Also, FIS (Front Impact Sensor) has been used to detect the crash pulse in early stage. Nowadays, technology to determine an airbag delpoyment criteria by using a high frequency crash pulse without FIS is being focused on. In this paper, the signal transmissibility of high frequency pulse for two different cars was studied. Also, signal transfer test of high frequency pulse was done by using a high speed ball impact. Signal runtime of the frontal impact is compared with that of the side impact. The signal transmissibility difference due to the car structure difference was discussed and structure change for improving the signal transmissibility was proposed.

• 대한약학회:학술대회논문집
• /
• 대한약학회 2003년도 Proceedings of the Convention of the Pharmaceutical Society of Korea Vol.2-2
• /
• pp.185.2-185.2
• /
• 2003

The typical approach of virtual screening is to prepare a 3D database and dock each member to the receptor, and carry out a post-analysis to make a final selection of compounds to be tested. The biological test of these compounds leads to 'hit'. The size of the 3D database is rate-determining factor because the docking process is still time-consuming method. The number of compounds for biological testing is cost-determining factor because the materials used in the test are cost-consuming. The use of the representative subsets derived from the entire database help reduce runtime of docking procedure. (omitted)