• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.503-506
• /
• 2006

소프트웨어의 테스트는 소프트웨어의 품질결정을 위한 필수항목으로서 체계적인 방법과 절차에 따라서 진행되어야 한다. 많은 노력으로 개발되고 판매되는 소프트웨어서도 오류가 발견되며, 발견된 오류의 절반이상이 개발과정에서 발생 하므로 개발단계부터 결함으로 제거할 수 있는 소프트 테스트가 필요하다. 소프트웨어의 테스트는 소프트웨어가 좋은가를 검증하는 것이 아니라 요구된 명세서의 구현과 구현된 소프트웨어에 결함이 있는가를 찾는 행위이며, 소프트웨어 개발에 최종적인 검토이다. 본 연구에서는 객체지향 소프트웨어의 품질을 향상시키기 위하여 클래스 기반의 단위테스트 수행 시 "Error Seeding" 전략을 통한 동적테스트를 수행하고, 테스팅 과정에 대한 관리 및 성능 테스트를 제공하는 도구를 제안한다. 본 프레임워크는 테스트 유형을 테스트 수행자가 결정하고 테스트를 수행하므로 결과판독이 정확하고 빠른 장점이 있다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.22 no.6
• /
• pp.784-796
• /
• 2019

As the size and complexity of software increases, it is important to ensure the quality of software through testing. Many organizations refer to international standards or test process models to improve the quality of software through establishing a systematic test process. However, these standards and process models provide general processes that do not reflect the characteristics of the domain or the organization's test policies and strategies. To establish a test process that reflects the characteristics of the organization, test policies and strategies based on the organization's quality objectives and the organizational and domain characteristics should be reflected. This study proposes specific methods for eliciting activities and information to establish organizational software test policies and strategies that are essential to establishing a test process that reflects the characteristics of the organization and the system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.307-309
• /
• 2005

빠른 산업 발전 속에서 조직과 시스템이 복잡하고 대형화되면서 소프트웨어 품질을 향상시키고 그들의 신뢰성을 측정하기 위한 성숙도 모델들이 개발되었다. 그 중에서도 CMM와 이를 발전시킨 CMMI는 많은 조직에서 적용하기 위해 노력을 기울이고 있다. 하지만 두 모델들은 테스트 속성과 테스트 프로세스에 대한 언급이 부족하다. 본 논문에서는 모든 영역을 고려한 새로운 모델을 만들기 보다는 테스트 중심으로 개발된 TMM을 사용하여 CMMI과의 매핑을 통해 소프트웨어 조직의 생산품질과 신뢰성을 향상 시키는 방법을 제안한다. 논문에서는 CMMI 단점과 이를 보완하는 방법을 제안하고 이를 위해 TMM과 CMMI의 매핑전략에 언급한다. 이를 통해 기대되는 효과를 제시한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.576-580
• /
• 2010

Generally, due to the strong coherence between embedded software and hardware or peripheral software, embedded software is tested by using black-box test based on user scenario for the whole system. This paper suggests the method to coordinate between testing and debugging under consideration for difficulties on solving out the defects detected from black-box test. First of all, from test result analysis, it builds up the debugging strategies enable to trace the locations of the defect's causes. And along with the strategies, it implements the generator of test scripts to be performed on the emulator environment. Through these steps, it can coordinate embedded software testing and debugging activities.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.8
• /
• pp.331-342
• /
• 2019

This paper proposes a method to generate test cases and test scripts from software requirements written in a controlled natural language, which helps develop reliable embedded software. In the proposed method, natural language requirements are written in a controlled language, the requirements are parsed and then inputs, outputs and operator data are extracted from the requirements. Test cases are generated from the extracted data following test case generation strategies such as decision coverage, condition coverage or modified condition/decision coverage. And then the test scripts, physical inputs of the test cases are generated with help of the test command dictionary. With the proposed method, it becomes possible to directly check whether software properly satisfies the requirements. Effectiveness of the proposed method is verified empirically with an requirement set.

• The Magazine of the IEIE
• /
• v.39 no.1
• /
• pp.24-29
• /
• 2012

• Proceedings of the KIPE Conference
• /
• 2019.07a
• /
• pp.475-476
• /
• 2019

본 논문에서는 다기능 ESS의 제어알고리즘 및 운영 전략에 따른 모드 천이 안정성 및 경제성 등 장시간 시뮬레이션을 수행할 수 있는 소프트웨어 테스트베드 모델설계 결과를 제시한다. 전력변환장치의 순시 응답 특성을 확인하기 위해서 인버터 전력반도체 스위치, 인덕터 및 커패시터 등의 부품에 대한 모델링이 필요하고, 이는 전력계통에서 활용되고 있는 상용 소프트웨어인 Matlab/Simulink/SimPowerSystems의 라이 브러리를 활용하여 구현할 수 있다. 하지만 평균모델을 사용하는 경우에도 각 요소 회로의 시정수로 인해 시뮬레이션의 샘플링 시간을 줄이는 데는 한계가 있다. 따라서 본 논문에서는 신재생 에너지의 하루 발전 특성에 대한 제어로직에 따른 결과 및 경제성 분석등에 활용할 수 있는 기능모델(functional model)의 설계 방법을 제시하고, 개발된 모델을 상용소프트웨어의 결과와 비교함으로써 본 연구결과의 타당성을 보인다.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.8
• /
• pp.401-410
• /
• 2017

This paper proposes a method to generate test cases in an automatic manner, based on checklist containing test cases used for testing embedded systems. In general, the items to be tested are defined in a checklist. However, most test case generation strategies recommend to test a system with not only the defined test items but also various mutated test conditions. The proposed method parses checklist in Korean file and figures out the system inputs and outputs, and operation information. With the found information and the user defined test case generation strategy, the test cases are automatically generated. With the proposed method, the errors introduced during manual test case generation may be reduced and various test cases not defined in checklist can be generated. The proposed method is implemented and the experiment is performed with the checklist for an medical embedded system. The feasibility of the proposed method is shown through the test cases generated from the checklist. The test cases are adequate to the coverages and their statistics are correct.

• Journal of Internet Computing and Services
• /
• v.16 no.2
• /
• pp.85-98
• /
• 2015

Component technologies which enable quickly and effectively to develop software have begun to come into the spotlight since early 1990s. Currently, a number of software development works are performed on the J2EE/EJB environment. However component testing is a very complicated task, in addition it requires more efforts than the previous Java class testing. Thus many developers do not perform sufficiently testing works. In this paper we propose an automatic testing method for EJB components based on the in-container testing strategy and implement a testing tool. Since our method builds automatically the test environment for EJB components, it is possible for developers or testers to save their time and efforts at the test preparation phase. Therefore we are convinced that the reliability of EJB components can be increased through sufficient testings with our method.