• Title/Summary/Keyword: 요구사항 검증

Search Result 847, Processing Time 0.031 seconds

요구사항 분류 언어를 통한 반 자동 품질 요구사항 분류

  • Park, Su-Yong;Min, Seong-Gi;Choe, Sun-Hwang
    • 시스템엔지니어링워크숍
    • /
    • s.1
    • /
    • pp.127-133
    • /
    • 2003
  • 시나리오 형태의 요구사항 분류는 ATAM, SAAM, Software Quality Metric 과 같은 품질 요구사항 분석 및 평가 방법 등 많은 분야에 응용된다. 이들 기법들은 소프트웨어 시스템의 품질 요구사항을 분석, 평가하기에 앞서 초기 수집된 요구사항들을 분류하게 된다. 그러나 요구사항을 분류하는 일은 수작업을 통해 이루어지게 되고, 따라서 미 분류, 중복분류, 등의 결함을 가질 수 있다. 결함의 가능성을 요구사항의 수가 많은 대형 프로젝트 일수록 높아지게 된다. 따라서 본 논문에서는 요구사항 분류언어를 통한 품질 요구사항 자동 분류 기법을 제안한다. 제안된 기법은 분류언어와 유사도를 이용한 2 단계 분류기법을 이용하였다. 분류언어는 각 도메인별로 개발되어 비슷한 도메인일 경우 재사용될 수 있다. 이를 검증하기 위해, 본 논문에서는 15 여개의 프로젝트로부터 수집된 요구사항을 이용해 실험을 수행하고 그 결과를 분석, 평가 하였다.

  • PDF

A Research of Documents Similarity Measuring Based on Word Weight (단어가중치 기반 문서간 유사도 측정에 관한 연구)

  • 김혜숙;박상철;김수형
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2003.05b
    • /
    • pp.198-201
    • /
    • 2003
  • 사용자의 요구 사항을 정확히 분석하여 효과적으로 개발 단계에 적용하기 위해 문서간의 의존성, 즉 상·하위 문서간의 연계성 등을 측정할 수 있는 방법에 대한 연구가 절실한데 이를 위해 적게는 두 용어가 얼마나 밀접한 관련이 있는가를 나타내는 용어간의 유사도 정보가 중요시된다. 이에 본 논문은 임의의 두 문서에 대한 다양한 유사도 측정방법을 통하여 최적의 유사도를 알아보고 두 문서간 유사여부를 검증하기 위해 Neural Network을 적용하였다. 이러한 유사도 측정과 검증 방법은 분산환경에서 입력되는 요구사항 문서들을 효율적으로 분류, 관리해 줄 수 있으며 사용자 요구사항 분석과 전체 Project 수행에 좋은 기초자료를 제공해 줄 수 있다.

  • PDF

An Empirical Study on Tracking Table for Consistency and Completeness Validation in the Outputs (산출물의 일관성과 완전성 검증을 위한 추적테이블의 경험적 연구)

  • Kim, Ju-Young;Rhew, Sung-Yul
    • Journal of KIISE:Software and Applications
    • /
    • v.34 no.5
    • /
    • pp.419-430
    • /
    • 2007
  • It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.

Design of Sentence Semantic Model for Cause-Effect Graph Automatic Generation from Natural Language Oriented Informal Requirement Specifications (비정형 요구사항으로부터 원인-결과 그래프 자동 발생을 위한 문장 의미 모델(Sentence Semantic Model) 설계)

  • Jang, Woo Sung;Jung, Se Jun;Kim, R.Young Chul
    • Annual Conference on Human and Language Technology
    • /
    • 2020.10a
    • /
    • pp.215-219
    • /
    • 2020
  • 현재 한글 언어학 영역에서는 많은 언어 분석 연구가 수행되었다. 또한 소프트웨어공학의 요구공학 영역에서는 명료한 요구사항 정의와 분석이 필요하고, 비정형화된 요구사항 명세서로부터 테스트 케이스 추출이 매우 중요한 이슈이다. 즉, 자연어 기반의 요구사항 명세서로부터 원인-결과 그래프(Cause-Effect Graph)를 통한 의사 결정 테이블(Decision Table) 기반 테스트케이스(Test Case)를 자동 생성하는 방법이 거의 없다. 이런 문제를 해결하기 위해 '한글 언어 의미 분석 기법'을 '요구공학 영역'에 적용하는 방법이 필요하다. 본 논문은 비정형화된 요구사항으로부터 테스트케이스 생성하는 과정의 중간 단계인 요구사항에서 문장 의미 모델(Sentence Semantic Model)을 자동 생성하는 방법을 제안 한다. 이는 요구사항으로부터 생성된 원인-결과 그래프의 정확성을 검증할 수 있다.

  • PDF

Software Design and Verification Method of Flight Data Recorder for Unmanned Aerial Vehicle (무인항공기용 비행자료 기록장치 소프트웨어 설계 및 검증 방안)

  • Yang, Seo-hee
    • Journal of Advanced Navigation Technology
    • /
    • v.24 no.3
    • /
    • pp.163-172
    • /
    • 2020
  • Flight data recorder (FDR) for accident investigation is required to comply with EUROCAE(ED-112) standard so that flight data can be restored when exposed to extreme conditions due to aircraft crash. Since the ED-112 standard defines the general requirements for all aircraft, it is essential to analyze detailed requirements for FDR software to apply appropriate requirements selectively according to the configuration and operation concept of a specific aircraft. In this paper, the software requirements applicable to unmanned aircraft will be analyzed and the FDR software design will be proposed. Also, a software verification method for each requirement will be presented to verify that the implemented software is designed to satisfy all requirements.

A method of requirement prioritizing for Embedded system (임베디드 시스템을 위한 요구사항 우선순위 기법)

  • Hwang, Wiyong;Kang, Dongsu;Song, Cheeyang;Baik, Dookwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2009.04a
    • /
    • pp.444-447
    • /
    • 2009
  • 임베디드 시스템은 여러 유형의 엄격한 제약사항을 지키는 범위 안에서 개발되어야 하기 때문에 요구사항의 우선순위 결정은 매우 중요하다. 이는 결국 개발 초기단계에 요구사항 우선순위화를 통하여 주어진 제품 개발 목표 및 개발 조직의 다양한 상황에 적합한 관점을 고려한 최적의 요구사항을 선택하는 활동이 요구된다. 따라서 본 논문에서는 임베디드 시스템의 다양성과 특수성을 고려한 임베디드 시스템 요구사항 우선순위 기법을 제안한다. 이를 위해 요구사항 우선순위 관점에서 임베디드 시스템 개발에 적합한 관점, 의존 및 상충 관계를 고려하여 요구사항을 우선순위화하며, 제안된 방법을 핸드폰 개발 사례에 적용하여 유용성을 검증한다. 이러한 합리적인 우선순위 선정을 통해 주어진 비즈니스 목표에 부합되고 시장요구에 적극적으로 반응할 수 있는 제품을 만들 수 있다.

Requirements Trace Table Expansion and How to Normalization (요구사항추적테이블의 확장 및 정규화 방안)

  • Kim, Ju-Young;Rhew, Sung-Yul
    • The KIPS Transactions:PartD
    • /
    • v.16D no.2
    • /
    • pp.201-212
    • /
    • 2009
  • There are various methods to trace output in software development to verify the consistency and completeness of requirements. Existing studies do present the trace meta-model or automated tools, but fail to list specifically traced output or traced items. Also, in regards to trace tables, which contain traced items, existing studies don‘t consider the whole software development process but merely its sub-process. Given this, the present study suggests an extended requirements tracetable that tracks output from the inception of the project through the architectural design phase to the application delivery, following up on the researcher’s previous study on a tracetable that considered only a sub-process of the whole development process. In addition, in order to address the problem of the tracking process becoming complicated with increased tracefields due to an extended trace table, the researcher suggests a method for normalizing a requirements tracetable that can integrate and separate by development process phase. Apply it to theH system development project of a D company, and this study caseverified application possibility of study, confirmed an effect of a chase to easily find out an error of requirements. Improve precision of a traceto verify consistency of requirements and completeness through this study, and will minimize failure of a software development.

A Method to Elicit Privacy Requirements and Build Privacy Assurance Cases for Privacy Friendly System (프라이버시 친화 시스템 개발을 위한 프라이버시 요구사항 도출 및 보증 사례 작성)

  • Cho, Ju Hye;Lee, Seok-Won
    • Journal of KIISE
    • /
    • v.44 no.9
    • /
    • pp.918-931
    • /
    • 2017
  • Recently, the spread of smartphones and various wearable devices has led to increases in the accumulation and usage of personal information. As a result, privacy protection has become an issue. Even though there have been studies and efforts to improve legal and technological security measures for protecting privacy, personal information leakage accidents still occur. Rather than privacy requirements, analysts mostly focus on the implementation of security technology within software development. Previous studies of security requirements strongly focused on supplementing the basic principles and laws for privacy protection and securing privacy requirements without understanding the relationship between privacy and security. As a result, personal information infringement occurs continuously despite the development of security technologies and the revision of the Personal Information Protection Act. Therefore, we need a method for eliciting privacy requirements based on related privacy protection laws that are applicable to software development. We also should clearly specify the relationship between privacy and security. This study aims to elicit privacy requirements and create privacy assurances cases for Privacy Friendly System development.

Identifying Analysis Class Based on Information Structure Modeling (정보 구조 모델링 기반 분석 클래스 식별)

  • 한미정;고병선;이서정;박재년
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2000.10a
    • /
    • pp.516-518
    • /
    • 2000
  • 기존의 객체 분석 메소드에서는 사용자 이해 수준에서 요구사항이 명세되지 않으며 또한 요구사항이 만족되는가를 검증하기도 어렵다. 요구사항이 잘 반영된 좋은 품질의 분석 모델을 개발하기 위해서는 사용자 수준에서 이해될 수 있는 요구사항을 명세해야 하며, 이를 기반으로 클래스를 식별하는 작업이 필요하다. 이를 개선하기 위해 정보 구조 모델링 기반 분석 클래스 식별 절차를 제안하였다. 비교 연구결과, 본 논문에서 제안한 절차는 정적 모델 명세에 치중된 경향은 있으나, 제품의 반복성이 우수하며, 품질 부-부특성들을 평가하는 것이 가능하여, 좋은 품질의 분석 모델을 개발할 수 있다.

  • PDF

전자선거 프로토콜의 요구사항 연구

  • 허원근;김희선;김광조
    • Review of KIISC
    • /
    • v.10 no.1
    • /
    • pp.63-69
    • /
    • 2000
  • 본 연구는 전자선거 프로토콜의 요구사항을 규정해 보고, 컴퓨터 통신상에서 이를 충족시키기 위한 암호기법 들을 분석해 본다. 전자선거의 도입이 선거 비용을 절감시키고 투표 장소의 제약을 획기적으로 개선하지만 매표방지등의 문제로 아직은 완전한 이동성을 제공하지는 못한다. 그리고 투표결과의 정확성 검증과 매표방지는 서로 상충되는 요구사항이기도 하다. 실제선거에서는 효율성의 문제로 영지식증명기법등의 사용이 제약 받을 수도 있다. 이러한 문제들을 정리하고, 실제의 선거 절차와 선거 속성들이 전자선거 프로토콜로 어떻게 구현되었는지 비교 검토함으로써, 규정한 요구사항들의 선택적인 적용에 활용코자 한다.

  • PDF