• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.148-156
• /
• 2000

The test technique for the failure caused by interaction between the customized interface and core function is necessary. We propose a component customization test technique by using the fault injection technique and the mutation test case selection technique. Our technique injects fault into where the customization failure may take place and selects the test case that differentiates the fault-injected component from the customized-component. Therefore, our test case has a good fault-detectability and can reduce the testing time by injecting a fault only into a place where the customization failure may take place in the interface.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.319-327
• /
• 2006

Higher grade elementary school students who have superior cognitive abilities need education of basic principles of computer or programming rather than computer in education. In this study, all the errors occurring while elementary school students wrote and executed programs were collected. in the method of predicting and dealing with possible-to-occur problems on programming education of the higher grades (4th, 5th and 6th grades) during their optional special activities or during talent aptitude activities after school, classified by type and analyzed. If the errors analyzed are put to practical use, optimal programming curriculums could be written and such curriculums could be a great contribution to induction of learning effect and interest on teaching learning. It was found by analyzing the errors collected for this study that the most of elementary school students during programming felt difficulties in simple errors by poor use of software and in simple coding by poor use of reserved words in English. In the next, students occurred errors by difficulties in understanding grammar. It was exposed that these error types were the opposite phenomena to those analyzed by commercial software developing companies, however, it is predicted that if teaching learning is setting improved, the same phenomena could be found desirably.

• 한국정보교육학회:학술대회논문집
• /
• 2004.08a
• /
• pp.556-563
• /
• 2004

오늘날 SW는 끊임없이 새롭게 개발, 업그레이드되고 있다. 이러한 상황 하에서 단순히 많이 사용되는 소프트웨어를 선별하여 그 기능을 가르치는 방안은 근본적으로 한계를 가지고 있을 수밖에 없다. 배우고 가르쳐야할 SW와 학습량은 계속 늘어날 수밖에 없기 때문이다. 따라서 기존의 보고 따라하는 식의 전통적인 학습 방법에 의존하기보다는 응용SW의 특성에 기초한 새로운 학습 방법을 강구할 필요성이 제기되고 있다. 최근 생산되고 있는 대부분의 SW들은 거의 모두 GUI환경으로 구성되어 있다. 따라서 학생들이 범하는 여러 가지 오류 중에서 GUI환경과 연관되는 것을 찾아 이를 처리해 준다면 대부분의 소프트웨어 학습에서 많은 오류들을 줄일 수 있을 것이다. 이에 본 연구는 GUI 에서 일어나는 여러 가지 오류들에 대해 알아보려고 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.285-288
• /
• 2005

최근 임베디드 시스템의 안정성이 제품의 상품성에 매우 중요한 요인이 되면서, 임베디드 시스템의 내장된 소프트웨어의 품질 검증이 중요해졌다. 내장된 소프트웨어를 검증을 위해서 자동 테스트 방식을 사용할 때, 테스트 오라클이 필요하다. 테스트 오라클을 정확하게 구축하기 위해서는 시스템의 요구사항을 정확하고 수행 가능한 형태로 기술하여야 한다. 따라서 테스트 오라클 생성의 기반이 되는 시스템 사양에서 오류를 검출하는 작업은 매우 중요한 작업이다. 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다.

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

아이락(Airac)은 C 프로그램의 버퍼오버런(buffer overrun)오류를 찾아주는 정적 프로그램 분석기(static program analyzer)이다. 아이락은 요약해석(abstract interpretation)의 틀 속에서 디자인되었다. 설계 및 구현 과정에서 프로그램 분석 분야에서 축적되어온 다양한 기술들을 적용하여 분석의 성능 및 정확도 향상을 이룩하였다. 아이락은 리눅스 커널(linux kernel), GNU 소프트웨어, 상용 소프트웨어등에 적용되어 오류를 찾아냈다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1673-1676
• /
• 2003

통합 테스트 단계에서 검사팀에 의해 일반적으로 사용되는 테스트 시나리오는 요구분석 및 설계단계에서 도출된 각종 명세서를 기반으로 하여 작성된다. 본 논문에서는 이런 테스트 시나리오를 작성할 때 오류를 최소화하기 위한 테이블 분석방법을 제시한다. 이를 이용하면 통합 테스트 단계에서 특별한 검토과정 없이 요구분석 및 설계단계에서 얻어진 명세서에 의존해서 테스트 시나리오를 작성하는 방법에 비해 테이블 정보에 대한 오류를 최소화함으로써 테스트 능률향상 뿐 아니라 테스트 비용을 크게 줄일 수 있다. 이를 바탕으로 통합 테스트를 수행한다면 보다 정확한 테스트가 가능하므로 최종산출물인 소프트웨어에 대한 품질을 향상시킬 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.613-616
• /
• 2014

오늘날 선박, 항공, 자동차산업 등의 복합화로 인하여 내장형 소프트웨어의 중요성이 크게 대두되고 있다. 중요도가 높아질수록 고장 현상 발생률이 증가하고 이에 따른 오류나 고장에 대한 영향도 급증 하기 때문에, 신뢰성이 그만큼 중요하게 되었다. 신뢰성은 ISO/IEC 9126, ISO/IEC 12119 등에서 기능성, 사용성, 효율성, 유지보수성, 이식성과 함께 언급되고 있다. 신뢰성의 부특성에는 성숙성, 오류허용성, 회복성, 준수성이 있고, 이에 따라 품질평가 항목 메트릭이 제시되어 있다. 그러나 신뢰성 평가 기준은 수리적 난해함과 데이터 수집에 관한 문제에 부딪혀 적용하는 데에 어려움이 따르는 실정이다. 이와 같은 문제점을 해결하기 위해, 각 세부 평가 항목에 대한 체크리스트를 가지고 품질평가 메트릭에 적용하였다. 또한, 기존에 제시되어 있는 대표적인 신뢰성 모델 두 가지 NHPP(Non-Homogeneous Poisson Process) Model과 Jelinski-Moranda Model을 성숙성과 오류허용성의 품질평가 메트릭과 연관시켜 효율적으로 신뢰성을 측정하는 방안에 대하여 모색하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.183-186
• /
• 2007

X-Internet 과 X-Forms 기반의 UI 소프트웨어 시스템은 개발이 완료되어 운영되는 과정에도 요구 사항의 변경, 성능 향상, 개발 과정 중의 오류 등의 다양한 이유로 변경될 수 있다. 기능 변경은 테스트 케이스 작성 시간과 비용의 증가로 이어진다. 본 논문은 소요되는 시간과 노력을 최소화하기 위한 테스트 케이스 작성 기법을 제안한다. 이를 위해 테스트할 기능을 분석하고 기존의 테스트 케이스에 새로운 기능을 접목하여 작성할 수 있는 테스트 케이스 재사용 알고리즘을 제안한다. 또한 오류가 전체 영역에 분포하지 않고 특정 영역에 분포하는 속성을 이용하여 모든 테스트 케이스를 생성, 실행하는 것이 아니라 오류를 잘 찾을 수 있는 테스트 케이스를 선정하여 테스트하는 기법의 효율성을 증명한다.

• The Journal of Aerospace Industry
• /
• s.68
• /
• pp.38-63
• /
• 2006

디지털 하드웨어가 값이 싸다는 것과 그 외형적 크기도 작아지고 있으며 소모 전력도 적다는 경향 때문에 항공에서 디지털 시스템의 사용이 현저하게 증가하게 되었다. 일부에서는 디지털 실용화가 아날로그 기반의 설계를 대체하기까지 하고 있으며 전연 새로운 개념이 도입되고 있는데 이는 모두 디지털 시스템 덕분이다. 대부분의 경우 항공에서 디지털 시스템은 안전에 치명적인 특성을 가지며 해당 소프트웨어의 오류로 항공기의 지속적인 비행과 착륙을 할 수 없는 고장을 유발할 수 있다. 이러한 이유로 항공기에 적용되는 소프트웨어의 인증이 대두되는 것이다. 이 글에서는 향후 우리나라에서도 전개될 소프트웨어의 인증에 대비하여 인증의 기준으로 적용되고 있는 RTCA DO-178B의 내용을 살펴보고 전형적인 항공기 또는 TSOA 인증과정에서의 소프트웨어의 승인 프로세스를 살펴보았다.

• Journal of the Korea Convergence Society
• /
• v.7 no.6
• /
• pp.35-41
• /
• 2016

As software is very important, modern men are interesting software quality testing. In this paper, we analyze the Internation standard and Test data, so, we propose the testing method by analysing testing data. We compare ISO/IEC 9126-2 testing model with ISO/IEC 25023 testing model. On the basis of ISO/IEC 25023, we classify the test data and we analyze the difference of International Standard to functionality, reliability, usability, efficiency, maintainability, portability, compatability, and security. By reality 331 testing data, we classify test data, and analyze difference according to sex. We find regression model by functionality, usability and testing date and we prove difference of testing date and the number of error by tester. Also, we prove difference of the number of error in software type.