• The KIPS Transactions:PartD
• /
• v.9D no.1
• /
• pp.103-110
• /
• 2002

In component-Based Software Development, the quality of indivisual component is play an important role in quality decision of the whole software. So we need the practical strategy for component testing. In general, component testing can divide focus into producer position and consumer position. In this paper, because the consumer position uses output of the producer position, testing domain is deployed in the producer position. We propose RUP based five step testing processes for component quality evaluation and implements a case study of EJB environment for appling our testing process. This paper shows that proposed five step processes are applicable to component quality evaluation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.41-46
• /
• 2007

소프트웨어 테스팅을 위해서 테스트 케이스를 작성하는 작업은 어렵고 많은 비용을 요구한다. 예로 약 100,000라인의 코드를 테스트하기 위해서는 천문학적인 테스트 시나리오들이 필요할 수도 있다. 따라서 경험 있는 테스터들은 필요한 테스트 케이스들만을 선별적으로 사용하고자 한다. 그리고 이를 위한 많은 테스트 기법들이 연구되고 있다. 그러나 다수의 연구 자료들은 기법의 효과를 이론적으로만 제시한다. 일부 사례를 통해서 그 효과를 제시하는 자료들도 있으나 그 적용 과정이 구체적이지 않아 신뢰를 얻기가 어려운 경우가 많다. 본 논문에서는 업계에서 많이 사용되는 9가지 테스팅 방법들을 소개하고 이들을 실제 개발 과제에 적용 하였다. 그리고 각각의 결과를 비교하고 분석하였다. 본 논문의 결과를 일반화하기는 어려울 것이다. 하지만 하나의 사례 연구로서 참고되고 활용될 수 있을 것이다.

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

소프트웨어 테스팅은 소프트웨어의 개발 과정에 있어서 가장 중요하고 많은 비용이 드는 부분이다. 소프트웨어 테스팅을 수동으로 행하는 것은 많은 문제를 발생시킬 수 있다. 소프트웨어 자동 테스팅을 하기 위해서 최근 활발히 연구되고 있는 부분이 모델 기반 소프트웨어 자동 테스팅 기법이다. 본 논문에서는 UML 모델 기반 테스트 케이스 자동 생성 기법을 제안한다. UML state chart 로 모델링 된 테스트 대상 소프트웨어를 제안된 자료구조에 저장 한 후, 이를 flow graph 로 변환한다. 최종적으로 변환된 flow graph 에서 테스트 케이스를 생성한다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.12 no.1
• /
• pp.123-132
• /
• 2012

This paper presents a goal-oriented test data generation technique that specializes concolic testing. The proposed technique, referred to as GCT (Goal-oriented Concolic Testing) produces test inputs which execute a specific target. Concolic testing can be seen as the brute force approach to search the space of all possible paths until a required test input is found. In contrast, GCT restricts the number of program paths that are explored by using data flow information to identify statements that should be executed beforehand in order for the target to be executed. We conducted experiments to evaluate the performance of GCT with programs with flag variables to show its effectiveness.

• Journal of Korea Multimedia Society
• /
• v.14 no.6
• /
• pp.766-774
• /
• 2011

We survey the software faults according to the software characteristics, so we can use it to make a software testcases. We divide the software fault according to six characteristics, functionality, usability, reliability, efficiency, maintainability, and portability. We analyze the software faults to find the common factors according to the software products, also we survey the number of faults according to six characteristics. We propose the method of weight application using the relative comparison of the number of faults.

• Journal of Korea Water Resources Association
• /
• v.33 no.2
• /
• pp.247-262
• /
• 2000

In this paper, the WSANN(Water Stage Analysis with Neural Network) model was presented so as to predict flood water stage at Jindong which has been the major stream gauging station in Nakdong river basin. The WSANN model used the improved backpropagation training algorithm which was complemented by the momentum method, improvement of initial condition and adaptive-learning rate and the data which were used for this study were classified into training and testing data sets. An empirical equation was derived to determine optimal hidden layer node between the hidden layer node and threshold iteration number. And, the calibration of the WSANN model was performed by the four training data sets. As a result of calibration, the WSANN22 and WSANN32 model were selected for the optimal models which would be used for model verification. The model verification was carried out so as to evaluate model fitness with the two-untrained testing data sets. And, flood water stages were reasonably predicted through the results of statistical analysis. As results of this study, further research activities are needed for the construction of a real-time warning of the impending flood and for the control of flood water stage with neural network method in river basin. basin.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.645-647
• /
• 2017

스마트팩토리 테스트베드 구축을 위해서는 생산 공정 및 제품 테스팅을 포함한 지속적 자료 수집 환경이 요구된다. 이 논문에서는 테스팅 환경의 장치 및 센서를 정의하기 위한 CDM(Common Device Model)을 기반으로 작성된 마크업언어인 SML(Sensor Markup Language)을 기술하고 이를 기반으로 구성된 소프트웨어 센서의 활용을 기술한다. 통지 모델을 기반으로 센서로부터 수집된 센싱자료와 상태 정보를 수집하기 위한 소프트웨어 아키텍처을 설계하였으며, 이는 테스트베드 시스템 개발의 참조모델로서 사용한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1987-1994
• /
• 1997

ATM switching software should be required high reliability, functionality, extendability and maintainability. After development of the software, it is verified and tested by analyzer whether the software is accomplished the characteristics of it or not. There are so many CASE tools in other area, but the CHILL testing tools that can verify ATM softwares have not various functions are not many. In this paper we develop the testing tool which can evaluate and test CHILL programmed ATM software. This Tool supports testing reports, debugging informations and maintenance informations including parallel process about CHILL original programs.

• The KIPS Transactions:PartD
• /
• v.10D no.6
• /
• pp.999-1010
• /
• 2003

Program slicing is s method to extract the statements from the program which have an influence on the value of a variable at a paricular point of the program. Program slicing is applied for many applications, such as program degugging, program testing, program integration, parallel program execution, software metrics, reverse engineering, and software maintenance, etc. This paper is the study to create the exact slice in the presence of Object Reference State Graph to generate more exactly static analysis information of objects in the program of the presence of complicated data structure.

• 전기의세계
• /
• v.45 no.2
• /
• pp.25-31
• /
• 1996

본 고에서는 국내에서 대리점을 통해 구할 수 있는 전자계 관련 CAE 소프트웨어의 선택에 도움을 주고자, 가장 많이 사용되는 전자계 유한요소(FEM)해석에 관련된 전문 제품을 5개 선정하여 자료를 정리하고 장단점을 비교하였다. 자료의 입수는 우선 국내대리점에게 제품의 요약된 설명과 영문 카탈로그를 요청하였고, 인터넷의 WEB 사이트를 통해 직접 정보를 입수하였다. 독자에게 양해를 구하고자 하는 것은 본 자료가 엄밀한 Bench Mark 테스팅을 거치지 못했다는 것과 모든 소프트웨어를 실제 수행해서 얻은 정보가 아니라는 점이다. 본 기사의 의미는 소프트웨어의 순위가 아니라 비교적 정리된 데이터로서 선택을 위한 참조자료 정도로 생각해 주기 바란다.