• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.500-503
• /
• 2017

차량 내 전장부품이 증가하고, 차량 OEM(Original Equipment Manufacturing)이 다양한 차종을 생산 판매함에 따라 다양한 SW(software) 형상이 개발되고 있다. 따라서, 기존에 개발된 SW 형상과 변경된 SW 형상 간에 기능 일치성 검증에 대한 필요성이 증가하고 있다. 두 가지 SW 형상 간에 기능 일치성 확인을 위한 테스팅 방법으로 Back-to-Back Testing이 있는데, 이는 각 SW 형상에 동일한 입력값을 주입하고 동일한 출력값이 산출되는 지 확인하는 테스팅 방법이다. Back-to-Back Testing 수행 시 Test case 설계가 필요한데, Test case의 분량과 테스팅 종료기준에 대해서 아직 확립이 되어 있지 않다. 이제 본 논문에서는 MC/DC(Modified Condition/Decision Coverage) 개념을 이용하여 Test case 분량과 테스팅 종료 기준에 대해서 제시하고, 이를 적용한 사례를 설명한다. 본 논문에서 제시한 Test case 설계 기준을 적용하면, 제한적인 테스팅 일정과 인력을 만족하고, 기능 일치를 확인할 수 있는 충분한 테스팅이 가능할 것으로 판단한다.

• Journal of Information Technology Applications and Management
• /
• 제27권6호
• /
• pp.101-116
• /
• 2020

This study attempts to derive critical success factors and prioritize activities for implementing the automation of software test. Software testing proceeds in five steps of test plan, test case design, test scripting & test environment setup, test execution & evaluation, and test closure. From the literature, twenty influence factors in the five steps were identified. Focus Group Interviews with ten experts in software testing selected fourteen factors on the basis of importance and feasibility. Some factors were further divided to clarify their meanings and the number of influence factors finally became twenty one. A survey on the influence factors was conducted with 75 IT professionals. An importance-feasibility analysis was applied to the survey responses and classified the influence factors into four groups of essential factors, critical factors, low priority factors, and minimal factors. Essential factors include objectives for test automation, strategies for test automation, test automation training, test automation education, setting up test automation environment, setting up test environment, test automation tool selection. Critical factors include management's continued support, management's continued interest, role of automation engineers, and skills of automation engineers. This result suggests that a lot of efforts should be put into SW test plan for the successful SW test automation and SW automation should proceed in consideration with the priorities and resource consumption.

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

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권7호
• /
• pp.605-614
• /
• 2006

성공적인 소프트웨어 개발은 QCD에 의해 결정되며, 그 중 Quality는 Cost와 Delivery를 결정하는 핵심요소이기도 하다. 그리고 소프트웨어의 규모와 복잡도가 증가함에 따라 quality의 조기 확보의 중요성이 점차 커지고 있다. 이러한 관점에서 개발 후 결함을 찾아내고 수정하는 것보다 결함예방을 위해 더 많은 노력을 기울여야 할 것이다. 결함 예방을 위해서는 peer review, testing과 같은 결함 식별활동과 함께 기존에 발생된 defect 에 대한 분석을 통해 발생 가능한 결함의 주업을 차단하는 활동이 필요하며, 이를 위해 기존의 품질 데이타의 조직화 및 활용이 필요하다. 소프트웨어의 품질 예방을 위한 방법으로 system safety 확보를 위해 사용되고 있는 FMEA를 활용할 수 있다. SW-FMEA(Software Fault Mode Effect Analysis)는 예측을 통해 결함을 예방하는 방법으로, 기존에는 요구사항 분석 및 설계 시 많이 활용되어 왔다 이러한 SW-FMEA는 개발 활동을 통해 측정되는 정보를 활용하여, 분석, 설계, 나아가 peer review나 testing 둥 개발 및 관리 활동에 적용하여 결함예방 (defect prevention) 의 수단으로 활용 할 수 있다. 본 논문에서는 기존에 시스템 분석, 설계에 focusing된 SW-FMEA를 변형하여 product 결합뿐 아니라, 개발과정 중 발생할 수 있는 fault를 줄일 수 있는 결함 예방 model을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.347-350
• /
• 2007

무선 통신의 발달로 인해 M-Commerce가 활성화 되면서 국내 M-Commerce 소프트웨어 시장이 급격히 증가하고 있는 추세이다. 이에 따라 모바일 상거래에서 사용되는 M-Commerce 소프트웨어의 신뢰성 및 고품질 소프트웨어의 요구가 증대되고 있다. 본 연구에서는 모바일 상거래에서 사용하는 M-Commerce 소프트웨어의 품질 평가 모델을 제안하고, GS시험 인증을 통해 M-Commerce 소프트 웨어의 품질을 평가 사례를 제시한다.

• 벤처다이제스트
• /
• 통권115호
• /
• pp.20-20
• /
• 2008

STA(Software Testing Alliance)는 사명 그대로 소프트웨어(SW) 테스팅 전문기업이다. 이 회사는 SW 품질향상을 위한 테스팅 분야에서 관련 서비스를 제공하는 '테스팅관리 자동화 지원 도구 보급', '테스트 컨설팅', '테스팅 교육 서비스'등 SW테스팅 전반에 걸쳐 사업을 전개하고 있다.

• 한국산학기술학회논문지
• /
• 제21권12호
• /
• pp.97-106
• /
• 2020

본 연구의 목적은 소프트웨어 공인시험기관에 국제 표준 ISO/IEC 17025 요구사항을 기준으로 ISO/IEC/IEEE 29119 소프트웨어 시험 절차와 ISO/IEC 25023 소프트웨어 시험 평가 항목을 적용하는 방법에 대한 연구이다. 연구의 방법으로 시험기관에 적용하는 전체 요구사항은 ISO/IEC 17025를 기준으로 ISO/IEC/IEEE 29119와 ISO/IEC 25023을 매핑하여 분석되었다. 해당 매핑 분석에 따라 시험기관 운영을 위한 품질 매뉴얼과 절차서, 지침서는 총 29 종류의 문서를 작성하였다. 연구의 결과 시험기관 관리 시스템은 분석된 전체 요구사항 결과를 적용하여 Confluence 6.15 소프트웨어를 이용하여 구현하였고 시험절차서, 문서, 기록은 시험관리 시스템에 저장하여 운영하도록 하였다. 시험기관운영 적합성 검증은 서울 소재 LG전자 SW공인시험소에서 KOLAS 평가사에 의하여 문서 심사 및 현장 심사로 진행이 되었다. 결론적으로 시험기관 관리 시스템과 시험기관의 운영은 KOLAS의 심사 평가를 통하여 적합하다는 것을 확인할 수 있었고 이전 연구 사례와 비교하여 효과적으로 시험기관 운영과 전체 일정을 단축할 수 있었다.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제7권4호
• /
• pp.137-148
• /
• 2007

Rapid increase of embedded systems in electronic and mechanical control systems requires reliable and error-free embedded software. State-based testing methods like FSM are usually used to assure the reliability of embedded software. However, because of possibility of explosion of test cases, only partial test cases are considered in practical tests, which cannot guarantee that all the possible errors are investigated. This study proposes a test procedure based on failure mechanisms that may occur in embedded systems, which can not only assure that certain kinds of possible errors are detected but reduce the testing time. The proposed procedure is applied to vehicle air control system.

• 한국IT서비스학회지
• /
• 제9권1호
• /
• pp.73-90
• /
• 2010

Up to now, a shortage of SW staff has been a threat to providing satisfactory SW services in Korea. Therefore, it is necessary for us to understand factors that satisfy SW personnel and then retain them not to leave their current job positions. Hereafter, we examine whether SW manpower's job satisfaction fully mediates or partially mediates the relationship between the drivers of turnover intention such as satisfaction on IT education, job fitness, fairness of rewards and organizational moods and turnover intention. Using survey data from 745 SW staffs, we found that all antecedents except for satisfaction on IT education have significant impacts on job satisfaction as well as verified that the job satisfaction partially or fully mediates the relationships between job fitness, fairness of reward and organizational moods and turnover intention. Based on our findings, our results allowed us to provide a deeper understanding of the forces on turnover intention by examining the role of mediating effect on job satisfaction.