• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 추계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.204-206
• /
• 2007

The portion of embedded software in railway signaling system is increased by the advance of computer and communication technology. And the safely requirements for railway system are standardized by int'l std., such as IEC 62278 and IEC 62279. According to these circumstances for software safety problems, we are deduced the testing items for software safety test and assessment for railway signaling. Testing tools used for embedded software are surveyed to find a feasible safety assessment architecture. And the architecture of automatic test tool is proposed to test the deduced safely testing items in this paper.

• International Journal of Safety
• /
• 제10권2호
• /
• pp.16-20
• /
• 2011

The computer application on embedded system is recently more increased in accordance of the development of computer technology. In this trend, the depending of SW in embedded system, especially railway signaling system, is being increased further. So the testing for the safety of railway signaling system software became more important. Hence, the safety assurance of the vital software on the railway signaling system is very important but yet, not many works have been done. In this paper, we represented the implementation results of development of performance testing tool in railway signaling system. The implemented testing item had referred to the international standards in relation to the software for railway system, such as IEC 61508 and IEC 62279.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.2056-2062
• /
• 2009

Recent advances in computer technology have brought more dependence on software to train control systems. Hence, the safety assurance of the vital software running on the railway system is very critical task and yet, not many works have been done. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we have developed the static software testing tool for railway signaling, especially Fagan Inspection supporting tool. This static testing tool for railway signaling can be utilized at the assessment phase, and also usefully at the software development stage also. It is anticipated that it will be greatly helpful for the evaluation on the software for railway signalling system.

• 한국컴퓨터정보학회논문지
• /
• 제27권3호
• /
• pp.225-238
• /
• 2022

인공지능 리터러시에 대한 중요성이 증가하고 있지만, 인공지능 리터러시를 측정하기 위한 검사 도구가 부족한 상황이다. 따라서 본 연구에서는 중학생의 인공지능 리터러시를 측정하기 위한 검사 도구를 개발하였다. 검사 도구 개발을 위하여 전문가 집단을 구성하고, 검사 도구의 요인과 문항을 개발하였다. 개발한 검사 도구의 신뢰도와 타당도를 확보하기 위하여 현장 적합성 검토, 탐색적 요인 분석, 확인적 요인 분석을 진행하였다. 이러한 연구를 통하여 6개의 하위 영역과 30개의 문항을 가진 검사 도구를 개발하였다. 검사 도구의 하위 영역은 인공지능의 사회적 영향(8문항), 인공지능의 이해(6문항), 인공지능 실행 계획(5문항), 인공지능 문제 해결(5문항), 데이터 리터러시(4문항), 인공지능 윤리(2문항)가 있다. 검사 도구는 5점 리커트 척도로 응답하게 개발되었으며, 내적 일치도 계수는 전체가 .970이며, 하위 영역은 .861~.939이었다. 본 연구는 인공지능 리터러시의 발달 과정 분석, 교수-학습, 교육과정 등의 연구에 활용될 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권5호
• /
• pp.385-393
• /
• 2004

현재 클러스터 시스템은 여러 분야의 문제들을 위하여 폭 넓게 이용되어지고 있으며 유용한 고성능 컴퓨팅 자원으로 인식되고 있다. 클러스터 시스템의 사용자가 늘어남에 따라 클러스터 시스템의 성능 개선 못지 않게 안정적인 운영을 유지하는 것도 중요한 상황이다. 하드웨어 예방 정비가 정상 운영을 위해서 중요한 것임에도 불구하고, 예방 점검 시간에 일반적인 클러스터 시스템을 위하여 사용될 수 있는 검사 도구는 주요 관심사가 되지 못했다. 본 논문에서는 하드웨어 예방 정비를 고려하여 클러스터 시스템을 위한 하드웨어 검사 도구를 제안한다. CTS(Cluster system Test Suite)로 명명된 클러스터 시스템 검사 도구는 메모리와 NIC를 점검하기 위한 두개의 검사 루틴을 가지고 있다. CTS를 설계시, CTS가 일반 적인 클러스터 시스템이 가지는 공통된 특징을 지원하도록 노력하였으며 검사 조건 설정에서 결과 조회까지 모든 작업은 통합 GUI 환경에서 진행될 수 있도록 하였다. 두 종류의 클러스터 시스템을 점검할 때, CTS를 사용하였고 클러스터 시스템을 관리하는데 유용한 정보가 제공됨을 확인하였다.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2000년도 춘계학술대회논문집 - 한국공작기계학회
• /
• pp.653-658
• /
• 2000

For testing machine tools, we used test the work by measure of 3-D object that it was made by the machine tool. By reason of these, we have spent to the cost of measure and have delayed supply to user. In this study, we made a macro-program and a application program in order to test automatic the machine tool. So, if you constitute a ring core and a touch prove in machine tool, you should test the property of machine tool.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권6호
• /
• pp.547-558
• /
• 2008

임베디드 시스템은 어플리케이션, OS 커널, 디바이스 드라이버, HAL, 하드웨어와 같은 이질적 계층들이 매우 밀접히 결합되어 있다. 임베디드 시스템은 제품 목적과 탑재된 하드웨어에 따라 맞춤 제작된다. 또한 점점 짧아지는 제품 주기 때문에 여러 업체의 소프트웨어, 하드웨어가 불안정한 상태에서 통합된다. 따라서 모든 계층에 결함 발생 확률이 높다. 임베디드 소프트웨어 개발자는 자신의 코드를 결함이 내재된 다른 계층들과 통합된 상태에서 테스트하며, 이 때문에 테스트해야 할 모든 영역을 테스트하였는지, 자신의 코드가 잘못된 건지, 통합된 다른 소프트웨어나 하드웨어에 문제가 있는 건 아닌지를 확신하기 힘들다. 본 논문은 임베디드 소프트웨어 개발자가 다양한 계층에 내재된 결함 위치와 원인을 추적할 수 있도록 하는 임베디드 소프트웨어 인터페이스 테스트 방안과 이를 구현한 자동화 도구 Justitia를 제안한다. 제안하는 기술은 개발자를 돕기 위한 이뮬레이터를 이용한 디버깅을 전문적인 테스팅으로 승화시킨 자동화 방안이다.

• 한국IT서비스학회지
• /
• 제21권2호
• /
• pp.127-143
• /
• 2022

In this study, a usability evaluation tool was developed for "ICANDUINO", a VR-based mobile application for maker education, and usability evaluation was conducted with a heuristic survey method for experts. The usability evaluation tool was derived through literature review and validated by two experts. It consisted of seven domains (effectiveness, efficiency, satisfaction, learnability, memorability, error, and cognitive load) and twenty-five sub-items. As a result of the usability evaluation conducted for six experts, it received the highest score in the domain of efficiency and the lowest score in the domain of error. The improvements of ICANDUINO were derived by analyzing the qualitative opinions of experts in each of the four stages (training, coding, tinkering, and testing) of making. the results of this study can be used as a guideline when evaluating the usability of a mobile app for education.

• 정보처리학회논문지D
• /
• 제15D권3호
• /
• pp.347-354
• /
• 2008

모바일 어플리케이션 소프트웨어의 시장은 여러 소프트웨어 시장 중 가장 많은 어플리케이션 소프트웨어를 출시하고 있으며 모바일 어플리케이션에서 가장 중요한 사용자와의 정보 교환 수단으로는 GUI 가 있다. 현재까지의 모바일 어플리케이션에서의 GUI 테스트 방법으로는 테스터가 한단계, 한단계 버튼을 눌러가며 화면을 체크하는 원시적인 방법의 테스트가 이루어지고 있다. 이에 본 논문에서는 모바일 상에서 이루어지는 정적 화면 전환의 경우 테스트 수행 결과를 이미지 플로우 기반으로 표시함으로써 GUI를 테스트 하는 방법을 제시하고 테스트 커버리지까지 측정할 수 있는 방법을 제시한다.