• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.611-614
• /
• 2004

As information telecommunication industry develops and systems get integrated gradually, the importance of embedded software is growing significantly. On the contrary, the reliability of embedded software has worsened. Accordingly, testing of software is an essential part in designing and building up embedded system and the volume of testing required is immense. This paper elaborates on design and testing model for complex embedded software, providing guidelines to collect requirements for complex embedded software.

• 전기학회논문지P
• /
• 제58권2호
• /
• pp.108-115
• /
• 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 module and checklists supporting module. 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.

• 항공우주시스템공학회지
• /
• 제7권3호
• /
• pp.58-64
• /
• 2013

The paper presents the comprehensive studies of ISTQB(International Software Testing Qualification Board) for the reliable software development system in term of various aspects. It is critical to understand how the software testing is achieved is to efficiently manage the development process, to reduce the development cost, and to ultimately ensure the safety of the entire software system. This study may provide an enriched understanding about the rationale and true intent the behind software development model and testing design methods of ISTQB on software developer, test analysts, test engineers. In addition, this paper may serve as a useful supplementary material for the avionic engineers to establish the new regulations in avionic industries.

• 제어로봇시스템학회논문지
• /
• 제16권6호
• /
• pp.608-616
• /
• 2010

Robot software components can be categorized into two types; the pure S/W component and the H/W-related one. Since interface testing of the robot software component is the labour-intensive and complicated work, an effective automated testing tool is necessary. Especially it is difficult to test all types of H/W-related components because it is hard work to prepare all H/W modules related to them. This paper proposes a new simulation-based interface testing automation tool(SITAT) which generates automatically test cases for interface testing of the robot software component and executes the interface test with the generated test cases where the simulator is used for simulation of the activity of a H/W module instead of the real H/W module. This paper verifies the effectiveness of the suggested SITAT with testing of the real H/W-related robot software component.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.89-99
• /
• 2005

소프트웨어 테스팅 도구를 이용하여 테스팅 프로세스의 전체 또는 일부를 자동처리 함으로써 테스팅 시간의 단축과 비용을 줄일 수 있다. 현재 상용화된 테스팅 자동화 도구들은 상호 호환성을 고려하지 않고 개발되었기 때문에 특히, 테스트 설계 단계에서 생성되는 테스트 케이스(테스트 프로시저, 테스트 데이터 및 테스트 수행 결과의 예측 등)의 정보 공유와 재사용이 불가능하다. 본 논문에서는 테스트 케이스의 정보 공유와 재사용을 위하여 테스팅 자동화 도구들의 통합화 대신에 테스팅 수행과정에서 생성된 테스트 케이스 정보를 다른 테스팅 도구들에서도 접근, 공유할 수 있는 테스팅 자동화 프레임워크를 제안하였다. 제안한 통합 환경 테스팅 자동화 프레임워크의 유효성과 효과성, 그리고 시스템 성능과 테스트 케이스의 재사용성을 입증하기 위하여 기존 3개의 테스팅 도구들을 테스트 시나리오에 따라 실험하였다. 실험한 결과 통합 환경 테스팅 자동화 프레임워크 상에서 테스트 케이스의 재사용을 통해 테스팅 시간의 단축과 비용을 감소시킬 수 있었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.541-545
• /
• 2010

최근 차량 소프트웨어의 신뢰성 및 재사용성 향상을 위하여 AUTOSAR 표준을 제정하였다. 그러나 소프트웨어의 표준화만으로는 높은 수준의 신뢰성 확보와 개발 기간 단축에 한계가 있으며, 소프트웨어 테스팅 표준화 및 자동화가 필요하다. 본 연구에서는 TTCN-3 테스트 표준을 적용한 AUTOSAR 소프트웨어 컴포넌트를 위한 테스트 자동화 방법 및 테스트 시스템을 제안하였다. 테스트 표준을 적용함으로써 테스트에 관련된 정보 교환 및 의사소통이 명확해 지고, 테스트 재사용성을 향상시킬 수 있다. 그리고 설계 모델로부터 테스팅 모델을 자동 생성함으로써 개발 기간 단축 및 신뢰성을 향상시킬 수 있다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 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.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제16권3호
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

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

Reusing software components without proper analysis is very risky because software components can be used differently from the way that they were developed. This paper describes a new testing approach for reusing software components. With this new approach, it is possible to automatically decide if software components can be reused without retesting. In addition, when retesting is required for reusing software, test cases are generated more efficiently using the previous testing history.

• 인터넷정보학회논문지
• /
• 제7권2호
• /
• pp.151-160
• /
• 2006

소프트웨어 품질 평가 시스템과 소프트웨어 품질 평가 범위는 소프트웨어 신뢰도 측정을 위해서 정의되어져야 한다. 본 연구에서 소프트웨어 신뢰도 품질 평가 메트릭을 개발하고 소프트웨어 신뢰도를 측정하기 위한 적당한 범주의 테스팅에 대해서 조사한다. 연구를 성공적으로 수행하기 위해서 소프트웨어의 버그수를 이용해서 소프트웨어의 실패시간을 예측했다. 소프트웨어의 신뢰도는 소프트웨어의 품질 평가에 있어서 중요하다. 국제 표준 ISO/IEC 9126의 소프트웨어 신뢰성 평가 메트릭을 기초로 하여 소프트웨어 신뢰도를 평가할 수 있는 메트릭을 제안하고 이것을 중심으로 하여 평가방안을 제안한다.