IVS/SW 공학7 [SW공학] 소프트웨어 검증 및 확인 검증(Verification)= Are we building the product right?- 소프트웨어가 요구사항에 부합하여 구현되었음을 보장- 요구사항 명세서 등 spec에 맞게 올바른 방법으로 제품을 만들고 있음을 보장 확인(Validation)= Are we building the right product?- 소프트웨어 사용자가 의도한 요구사항에 따라 구현되었음을 보장- 사용자가 의도한 환경이나 목적에 맞게 올바른 제품을 만들고 있음을 보장 검증 및 확인 기법 분류1. Static- 실행X: 산출물 문서 및 소스 코드를 실행시키지 않고, 수작업이나 자동화 도구를 이용하여 분석(모든 개발 산출물들을 대상으로 수행 가능)a. Review, Inspection - 사람이 수행b. Static A.. 2025. 1. 6. [SW공학] 소프트웨어 설계 소프트웨어 설계: 프로그램을 구현하기 전에 소프트웨어를 구성하는 요소와 구조를 정의해 구현의 기반을 만드는 활동 1. 아키텍처 설계- 구조 설계- DB 설계- 인터페이스 설계2. 상세 설계- 컴포넌트 설계- 자료구조 설계- 알고리즘 설계 I. 소프트웨어 아키텍처 설계: 상위 수준에서 소프트웨어 구성 요소들(=모듈) 간의 관계로 구성된 전체적인 구조를 설계하는 활동 소프트웨어 아키텍처 설계 원칙1. 높은 응집력: 모듈 내 구성 요소들의 서로 관련되어 있는 정도를 높게 설계하는 방법-> 비슷한 기능을 하는 모듈끼리 컴포넌트로 모아둔다.2. 낮은 결합도: 모듈 간에 상호 의존하는 정도를 낮게 설계하는 방법 II. 소프트웨어 상세 설계: 아키텍처 설계에서 도출된 소프트웨어 구성 요소(컴포넌트, 모듈)들.. 2025. 1. 3. [SW공학] 형상관리 소프트웨어 형상관리: 형상 항목을 식별하고, 변경을 통제 및 처리 상태를 모니터링함으로써 요구사항에 부합하는지 확인하는 활동-> 무결성, 추적성 형상이란?소프트웨어 산출물(ex. 요구사항 명세서, 소스 코드 등)의 구성 소프트웨어 형상관리1. 형상 식별: 형상 관리 할 대상 항목을 식별하고 베이스라인 기준을 정하는 과정2. 형상 통제: 변경 요청을 수용할 것인지 평가하고 관련 담당자들이 모여 협의하는 과정3. 형상 상태 보고: 베이스라인의 현재 상태 및 변경 항목들이 제대로 반영되었는지 여부를 확인하고 보고하는 과정4. 형상 감사: 형상관리 계획서대로 형상 관리가 진행되고 있고, 적절히 변경 및 통제되고 있는지 확인하는 과정 베이스라인- 개발의 기초가 되며, 공식적으로 검토 및 동의 되었고, 오직.. 2025. 1. 3. [SW공학] 비기능 요구사항 비기능 요구사항(Non-Functional Requirement): 제품의 기능이 성능, 안전성, 사용성 등의 품질 기준을 만족시키기 위해 가져야 하는 속성 소프트웨어 제품 품질 특성- ISO 25010 기준기능성: 요구되는 기능을 만족 시키는 능력기능 성숙도: 명시된 요구사항의 구현 정도기능 정확도: 소프트웨어가 정밀도의 필요 정도에 따라 정확한 결과를 제공하는 정도기능 타당성: 기능이 명시된 작업 및 목적의 완수를 용이하게 하는 정도신뢰성 : 규정된 환경에서 결함 없이 의도된 기능 및 작업을 수행하는 능력성숙성: 소프트웨어의 구성요소가 표준 작동하에서 신뢰도에 대한 요구를 충족시키는 정도가용성: 소프트웨어를 사용하기 위해 필요한 경우 시스템, 제품 혹은 구성요소에 대한 사용 및 접근 가능한 정도결점.. 2025. 1. 2. [SW공학] UML, Usecase Diagram Formal한 정도에 따른 명세 방법의 구분 1. Informal Notation: 자연어를 이용하여 서술형으로 기술된 요구사항- 자연어 기반의 서술, 작업흐름도 등의 그림을 중심으로 작성- 작성 및 이해 용이, 사용자와 개발팀 간의 의사전달이 용이- 불충분한 명세, 일관성 결여, 내용의 모호성, 완전성 검증 곤란 2. Semi-formal Notation: SysML이나 UML, MBD * 등의 모델링 언어를 이용하여 기술된 요구사항- 기능적 관점/ 구조적 관점/ 동적 관점으로 시스템을 표현- 이해하기 용이, 커뮤니케이션 오류 감소- 누락되거나 중복되는 사항을 파악하기 용이- 요구사항 변경 영향을 파악하기 용이하다. 3. Formal Notation: 수학적 기호나 수식으로 기술된 요구사항- 모.. 2025. 1. 2. [SW공학] V-model, 소프트웨어 요구 공학 자동차 소프트웨어 공학 핵심 프로세스V - Model: 개발 생명주기의 각 단계와 그에 상응하는 소프트웨어 테스트 단계를 매핑한 모델- 테스트 설계와 같은 테스트 활동을 코딩 이후가 아닌 프로젝트 시작 시에 함께 시작- 오른쪽 Test는 왼쪽 개발 기반으로 진행한다.* SDLC(Software Development Life Cycle)* STLC(Software Testing Life Cycle) 요구사항정의: 현실 세계의 문제를 해결하기 위하여, 고객에 의해 요구되거나 표준 등을 만족하기 위해 제품이 가져야 하는 서비스 또는 제약사항needs, 불만사항을 해결하기 위한 솔루션 요구사항의 분류1. 고객 요구사항: 고객이 개발 대상 제품에 대해 원하는 기대사항(Needs)2. 제품 요구사항: 고객 요.. 2024. 12. 31. 이전 1 2 다음
