• Defense and Technology
• /
• no.9 s.163
• /
• pp.38-45
• /
• 1992

유도탄의 사정거리, payload 증가를 위해 로켓모타의 경량화가 필수 조건이므로, 이미 1950년대부터 선진 외국에서는 금속재에 비해 무게 경감이 가능한 복합재 로켓 모타 케이스가 연구 개발되어 왔으며, 적용이 점점 증가 추세에 있습니다. 또한 현재 국내에서도 무게 경량화가 충족되는 인공위성 발사체, 유도탄의 모타 케이스의 개발이 강력히 요구되는 실정입니다. 그러나 복합재 모타 케이스는 금속재 케이스와는 소재, 설계/해석, 제작공정, 품질/시험 평가등에 대해 매우 다르고 용이하지 않으므로, 이에 대한 현재까지의 선진 외국기술을 분석해 향후 국내 개발에서 연구, 보완되어야 할 분야를 정리 보고 하였습니다

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.40 no.6
• /
• pp.5-11
• /
• 2011

콜드체인(cold chain)의 최종단계로 제품과 소비자를 연결시키는 냉동/냉장 쇼케이스는 대형마트나 슈퍼마켓의 대표적인 에너지 다소비 기기이다. 쇼케이스가 소비하는 에너지를 감소시키는 기술은 오랫동안 관련 엔지니어들의 관심 대상이었다. 본 원고에서는 ASHRAE Journal에 게재되었던 냉동/냉장 쇼케이스의 에너지 절약 및 회수에 관한 북미의 연구사례를 소개하고자 한다.

• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.573-582
• /
• 2006

Black-box testing needs to prepare fitting test data, execute software, and examine the result. If we test software effectively, not only selecting test cases but also representing test cases are important. In static testing effectiveness of testing activities also depends on how to represent test cases and checklist to validate. This paper suggests a method for finding ineffective critical test cases and reengineering them. An experiment of reengineering digital set-top box software shows the process and results of checking effectiveness and conformance of current test cases and patching test cases. The result shows how much save the test time and improve test coverage by reengineering test cases. Methods of reuse and restructuring test cases are also studied to fit into embedded product-line software.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1023-1026
• /
• 2015

비용 효율적인 소프트웨어 유지보수 방안에 대한 기대가 높다. 본 논문에서는 유지보수 비용을 감소시키기 위해 회귀 테스트에 사용되는 테스트케이스를 효과적으로 우선순위화하는 방안을 제안한다. 테스트케이스를 우선순위화하는 방법으로는 코드의 커버리지를 이용해 테스트케이스의 우선순위를 높이는 방법과 모델 기반 테스트케이스 우선순위화 방법 등 여러 가지 방법이 제안되어 왔다. 본 논문에서는 소스코드, 커밋 로그와 버그리포트의 정보를 이용해 정보검색 기반의 테스트케이스 우선순위화 기법을 제안한다. 변경된 소스코드 이력은 새로운 기능의 업데이트 유무를 확인 할 수 있으며, 결함으로 수정된 파일을 추측할 수 있다. 버그 리포트는 소스코드의 결함에 대한 정보를 담고 있다. 제안한 방법의 유효성을 확인하기 위해 오픈소스 프로젝트(Joda-Time, Commons-Lang)를 이용해 실험을 진행하였다. 실험을 통해 소스코드, 커밋 로그와 버그리포트로 테스트케이스 우선순위화 방법의 유효성을 확인했으며, 버그리포트를 적용해 테스트케이스 우선순위화 기법을 이전 연구에 비해 최대 8% 향상된 결과를 확인 할 수 있었다.

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

Use Case Point(UCP) is a measure of a software project size for software effort estimation based on use case. UCP measures the size of the software project based on the use case model. Because UCP is based on the use case model, it is intuitive and easy to obtain. Also, it does not require extra artifacts. On the other hand, UCP has some problems. UCP assumes every transaction has the same complexity. But, the number of operations and complexity of operations may affect complexity of transaction. In addition, UCP uses simple rating scale of complexity, but it may be inadequate for detailed estimates. To solve these problems, we suggest "Transaction Point(TP)", a size measure based on use case transaction. TP considers actors and operations in transaction. Complexity of transaction is based on the number of operations and complexity of operation, so it can support detailed estimation.

• Journal of KIISE
• /
• v.43 no.8
• /
• pp.883-892
• /
• 2016

Spectrum-based fault localization (SFL) method assigns a suspicious ratio. The statement is strongly affected by a failed test case compared to a passed test case. A failed test case assigns a suspicious ratio while a passed test case reduces some parts of assigned suspicious ratio. In the absence of a failed test case, it is impossible to localize the fault. Thus, a failed test case is very important for fault localization. However, spectrum-based fault localization has difficulty in reflecting the unique characteristics of a failed test because a failed test case and a passed test case are input at the same time to calculate a suspicious ratio. This paper supplements for this limitation and suggests a test case grouping method for more accurate fault localization. In addition, this paper suggested a filtering method considering test efficiency and verified the effectiveness by applying 65 algorithms. In 90 % of whole methods, the accuracy was improved by 13% and the effectiveness was improved by 72% based on EXAM score.

• The KIPS Transactions:PartD
• /
• v.17D no.1
• /
• pp.41-52
• /
• 2010

A relation between generated test cases and an original requirement is important, but it becomes very complex because a relation between requirement models and requirements are m-to-n in automatic test case generation based on models. In this paper, I suggest automatic generation technique for REED (REquirement EDitor), 1-to-1 requirement modeling tool. Test cases are generated though 3 steps, Coverage Target Generation, IORT (Input Output Relation Tree)Generation, and Test Cases Generation. All these steps are running automatically. The generated test cases can be generated from a single requirement. As a result of applying to three real commercial systems, there are 5566 test cases for the Temperature Controller, 3757 test cases for Bus Card Terminal, and 4611 test cases for Excavator Controller.

• The KIPS Transactions:PartD
• /
• v.9D no.4
• /
• pp.639-650
• /
• 2002

We have to carry out systematic, definite requirements analysis for the successful development of software. The UML gives the ways to grasp user or customer requirements and decide the boundary of business systems from the use case modeling. This paper presents how to extract use case diagram from the requirements specification systematically by applying the standardized rules as a part of the study for use case modeling. We modify requirements specification by applying $R_{RS}$ (Rules for Requirements Specification) and extract actor, use case, relationship by applying $R_{A}$(Rules for Actors), $R_{U}$(Rules for Use Cases) and $R_{R}$(Rules for Relationships) to the modified requirements specification separately and then become to make out use case diagram in the end. By applying the rules presented in this paper to the requirements specification for personnel management, we can reduce the existing difficulties of extracting use case diagram based on the narrative descriptions without any standardized rules.rules.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.517-526
• /
• 2009

It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.205-207
• /
• 2012

본 논문은 Use Case 기반 개발에서 요구사항부터 테스트 케이스를 자동 추출하는 메커니즘을 제안 하고자 한다. 제안한 메커니즘은 기존의 테스트케이스 생성 메커니즘을 Use Case 메커니즘과 접목한 것이다. 그리고 그 기반으로 자동 도구 구현을 통해 모든 가능한 테스트 케이스 추출하는데 있다. 이는 최소의 테스트 케이스로 100%의 기능적인 요구사항 커버리지 만족시킨다는 Gary 방법을 이용하고자 함이다. 이 도구의 단계는 확장된 UML 다이어그램으로부터 원인-결과 다이어그램을 전환 한 후, 결정 테이블화한다. 마지막 단계는 이를 통하여 테스트케이스가 자동적으로 발생 한다.