• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제12권9호
• /
• pp.381-386
• /
• 2023

기존의 다양한 테스트 케이스 생성에 대한 연구는 모델로부터 테스트 케이스를 추출한다. 하지만 실무의 경우 자연어 요구사항 문장으로부터 테스트 케이스를 생성할 수 있어야 한다. 이를 위해 자연어 문장의 분석하고, 분석 과정 및 결과를 요구공학 영역에 접목하는 연구는 매우 필요하다. 하지만 한국어 문장의 다양성 때문에, 한국어 자연어 요구사항 분석은 어려운 이슈이다. 우리는 한국어 자연어 요구사항으로부터 테스트 케이스 생성 연구 중 하나로써, 자연어 요구사항의 정의 분석, C3Tree 모델의 생성, 원인-결과 그래프의 생성, 결정 테이블의 생성 단계를 통한 테스트 케이스 생성 방법을 연구한다. 본 논문은 중단 단계로써, 메타모델링 변환 기법을 이용하여 C3Tree 모델 기반의 결정 테이블로부터 테스트 케이스 생성 방법을 제안한다. 이 방법은 모델 변환 규칙의 수정을 통해 모델 to 모델, 모델 to 텍스트로의 변환 과정을 제어한다. 모델이 변형되거나, 새로운 모델이 추가되더라도 프로그램 알고리즘의 직접적인 수정 없이 모델 변환 규칙을 유지보수 할 수 있다. 평가 결과, 결정 테이블에 대한 모든 조합이 테스트 케이스로 자동 생성되었다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1997년도 추계학술대회 학술발표 논문집
• /
• pp.170-174
• /
• 1997

This paper studies a method for making more efficient classification rules in the ID3 using the rough set theory. Decision tree technique of the ID3 always uses all the attributes in a table of examples for making a new decision tree, but rough set technique can in advance eleminate dispensable attributes. And the former generates only one type of classification rules, but the latter generates all the possibles types of them. The rules generated by the rough set technique are the simplist from as proved by the rough set theory. Therefore, ID3, applying the rough set technique, can reduct the size of the table of examples, generate the simplist form of the classification rules, and also implement an effectie classification system.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권2호
• /
• pp.82-88
• /
• 1999

In this paper, we propose a new structure optimization method of multilayer neural networks which begin and carry out learning from a bigger network. This method redundant links and neurons according to the rough set theory. In order to find redundant links, we analyze the variations of all weights and output errors in every step of the learning process, and then make the decision table from their variation of weights and output errors. We can find the redundant links from the initial structure by analyzing the decision table using the rough set theory. This enables us to build a structure as compact as possible, and also enables mapping between input and output. We show the validity and effectiveness of the proposed algorithm by applying it to the XOR problem.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.190-192
• /
• 2006

원자력 발전소의 제어 소프트웨어는 안전성이 중요시 되는 시스템이다. KNICS 컨소시엄의 APR-1400 RPS 개발 프로젝트에서는 시스템의 안전성과 품질을 높이기 위하여 요구사항을 NuSCR 정형명세로 기술하였다. 명세에 대한 분석을 위하여 SMV를 이용한 자동화된 정형검증 기법이 사용되는데, 본 논문에서는 테이블 형태의 명세인 SDT까지 그 범위를 확장하는 방법을 제안한다. 제안하는 방법의 효율성을 입증하기 위하여 실제 프로젝트에서 개발중인 시스템의 일부를 예제로 사용하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1996년도 추계학술대회 학술발표 논문집
• /
• pp.327-332
• /
• 1996

Rough Set theory suggested by Pawlak has a property that it can describe the degree of relation between condition and decision attributes of data which don't have linguistic information. In this paper, by using this ability of rough set theory, we define a occupancy degree which is a measure can represent a degree of relational quantity between condition and decision attributes of data table. We also propose a method that can find an optimal fuzzy rule table and membership functions of input and output variables from data without linguistic information and examine the validity of the method by modeling data generated by fuzzy rule.

• 전자공학회논문지B
• /
• 제31B권8호
• /
• pp.192-200
• /
• 1994

Gupta defined deadlocks in the blocks world and proved that decision making problem in the blocks world is NP-Complete. The types of deadlocks are classified and the properties of deadlocks are analyzed in this paper. The heuristic planner algorithm for the limited table-capacity blocks world using both the inverse position of the block and properties of deadlocks is designed and its performance is also evaluated.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 경영과정보연구
• /
• 제5권
• /
• pp.33-59
• /
• 2000

Problem definition is as important as problem solving in decision making. Decision makers, however, tend to see problem partly or to define it unclearly. The researchers on decision making tend to lay a focus only on the Process of solving the given problem. This dissertation empirically studied the Problem diagnosis and definition in the decision making process. This study developed three kinds of DSS(Decision Support System) for the research and analyzed the effectiveness of the problem diagnosis and definition using DSS developed in this study. The three kinds of DSS are K-T(Kennel and Tregoe) DSS which is a method of table-styled information Presentation, and F-N(Fact-Net) DSS and C-E(Cause and Effect) DSS which are methods of graphic-styled information presentation. The empirical study was conducted twice; the pilot test and the main test. The samples of experiment are 218 students for the pilot test and 259 students for the main test. The author used K-T DSS and F-N DSS for the pilot test, and the revised K-T DSS and C-E DSS for the main test. A questionnaire survey method was included in the main test process The result of the study shows that the group using DSS in problem diagnosis and definition is more effective than the group not using DSS. A table-styled information presentation DSS, K-T, turns out more effective than a graphic-styled information presentation DSS, F-N, K-T DSS and C-E DSS showed no significant differences in the effectiveness in the main test. These results indicate that the use of DSS in the stage of problem diagnosis and definition is very effective and the methods and types of system design are a significant factors for DSS development.

• 한국지능시스템학회논문지
• /
• 제20권2호
• /
• pp.292-297
• /
• 2010

In this paper, we introduce the notions of inconsistency p-measure, consistency p-measure and fuzziness p-measure. We discuss various properties of them. We investigate the degree of inconsistency and roughness p-measure in a decision table.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2423-2425
• /
• 2003

This paper proposes a decision criteria for selecting the shortest path from Dubins set between the initial and final configurations of a car-like robot. The suggested scheme is a very simple and computational savings without explicitly calculating the candidate paths and having a complicated decision table. Equations for calculating the shortest path are derived in simple form with coordinate transform and defining standard forms.