• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• 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
• /
• v.27 no.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
• /
• v.10 no.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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.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.

• Journal of KIISE:Software and Applications
• /
• v.33 no.7
• /
• pp.605-614
• /
• 2006

The success of a software development project can be determined by the use of QCD. And as a software's size and complexity increase, the importance of early quality assurance rises. Therefore, more effort should be given to prevention, as opposed to correction. In order to provide a framework for the prevention of defects, defect detection activities such as peer review and testing, along with analysis of previous defects, is required. This entails a systematization and use of quality data from previous development efforts. FMEA, which is utilized for system safety assurance, can be applied as a means of software defect prevention. SW-FMEA (Software Failure Mode Effect Analysis) attempts to prevent defects by predicting likely defects. Presently, it has been applied to requirement analysis and design. SW-FMEA utilizes measured data from development activities, and can be used for defect prevention on both the development and management sides, for example, in planning, analysis, design, peer reviews, testing, risk management, and so forth. This research discusses about related methodology and proposes defect prevention model based on SW-FMEA. Proposed model is extended SW-FMEA that focuses on system analysis and design. The model not only supports verification and validation effectively, but is useful for reducing defect detection.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.347-350
• /
• 2007

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

• Venture DIGEST
• /
• s.115
• /
• pp.20-20
• /
• 2008

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

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.12
• /
• pp.97-106
• /
• 2020

The purpose of this study is to determine how to apply ISO/IEC/IEEE 29119 software test procedures and ISO/IEC 25023 software test evaluation items to software-accredited testing laboratories based on the ISO/IEC 17025 international standard requirements. As a method, the overall requirements for their application to a test laboratory were analyzed by mapping ISO/IEC/IEEE 29119 and ISO/IEC 25023 based on ISO/IEC 17025. According to the mapping analysis, a total of 29 documents were created, including quality manuals, procedures, and test guidelines for the operation of the test laboratory. As a result of the study, a test laboratory management system was developed using Confluence 6.15 software by applying the analyzed results of the overall requirements. The test procedures, documents, and records were stored in, and operated from, this system. Verification of suitability for operation of the test laboratory was conducted by KOLAS evaluators through a document review and an on-site audit at the LG Electronics SW Accredited Test Laboratory in Seoul. In conclusion, it was confirmed through the KOLAS evaluation that the test laboratory management system and the operation of the test laboratory are appropriate and, compared with previous cases, the test laboratory operates effectively, and the overall schedule of accreditation could be shortened.

• Journal of Applied Reliability
• /
• v.7 no.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.

• Journal of Information Technology Services
• /
• v.9 no.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.