에어컨 소프트웨어의 비기능적 요구사항의 도출 및 정량적 검증 = Extraction and quantitative verification of non-functional requirement of air-conditioner software

국문 초록 (Abstract)

에어컨 소프트웨어는 하드웨어 의존도가 높은 임베디드 소프트웨어의 특징을 가지며, 근래에 들어 에어컨 고유의 냉방 및 난방 기능 외에 고객의 요구사항이 다양해짐에 따라 Wi-Fi, IoT 콘텐츠 및 인체, 거리, 체온 등을 감지하는 여러 센서 등을 이용한 복잡하고 다양한 기능이 추가되면서 에어컨 소프트웨어의 기능적 요구사항에 대한 품질 뿐만 아니라 비기능적 요구사항에 대한 품질 확보가 중요한 이슈로 부각되고 있다.
따라서 이 논문에서는 에어컨 소프트웨어 개발에 있어 비기능적 요구사항을 식별하고 정제함으로써 비기능적 요구사항의 모호하고 비가시적인 특징을 소프트웨어 설계에 반영 할 수 있도록 구체화하고 정량적으로 검증하는 방법을 제안하고자 한다. 그리고 이를 통해 에어컨 소프트웨어의 비기능적 요구사항에 대한 품질을 확보하는데 기여하고자 한다.

다국어 초록 (Multilingual Abstract)

Non-functional requirements refer to attributes or quality requirements of the functional requirements that the target system must support and are reflected in the quality attributes of the software. This non-functional requirement is used as an important criterion for determining the design of the part particularly related to performance. Therefore, non-functional requirements must be constantly considered and managed throughout the software development lifecycle. However, due to the ambiguity and invisibility of non-functional requirements, it is difficult to manage, as well as to derive and specify.
The software that controls the air conditioner is of hardware-dependent embedded software. In recent years, besides the cooling and heating function of the air conditioner, the customer's requirements have been diversified, and the complex and various functions using Wi-Fi, IoT contents and various sensors for sensing the human body, Quality functional requirements as well as quality assurance for non-functional requirements are becoming important issues in management.
Quality assurance for non-functional requirements as well as quality for functional requirements of air conditioning software is becoming an important issue in management.
In this paper, we propose a method to specify non - functional requirements in software design by identifying and refining non - functional requirements in air - conditioning software development.
We also intend to improve the quality and development efficiency of air conditioning software by proposing a method to quantify test cases for nonfunctional requirements of air conditioning software based on this specification.

목차 (Table of Contents)

• 1. 서론 1
• 1.1 연구목적 및 내용 1
• 1.2 논문구성 2
• 2. 관련 연구 3
• 2.1 소프트웨어 요구사항 3
• 2.2 소프트웨어 품질속성 4
• 2.3 에어컨의 구성 5
• 2.4 에어컨 소프트웨어 개발 및 검증 방법 분석 7
• 2.4.1 기능적 요구사항의 개발 및 검증 7
• 2.4.2 비기능적 요구사항의 개발 및 검증 9
• 3. 에어컨 소프트웨어의 비기능적 요구사항 식별 및 검증방법 11
• 3.1 에어컨의 대표 품질속성 도출 11
• 3.1.1 Quality attribute workshop을 통한 대표 품질속성 선정 12
• 3.2 비기능적 요구사항 식별 방법 14
• 3.2.1 기능적 요구사항으로 부터 식별 14
• 3.2.2 이해관계자의 피드백으로부터 식별 15
• 3.3 비기능적 요구사항 정제 방법 16
• 3.4 비기능적 요구사항의 정량적 검증방법 설계 18
• 3.4.1 Reliability에 대한 정량적 검증 방법 19
• 3.4.2 Modularity에 대한 정량적 검증 방법 21
• 3.4.3 Safety와 Availability에 대한 정량적 검증 방법 28
• 3.4.4 Latency에 대한 정량적 검증 방법 32
• 4. 에어컨 소프트웨어 개발 적용 사례 33
• 4.1 Reliability에 대한 정량적 검증 사례 33
• 4.2 Modularity에 대한 정량적 검증 사례 36
• 5. 효과 평가 38
• 5.1 Reliability 사례에 대한 효과 분석 38
• 5.2 Modularity 사례에 대한 효과 분석 40
• 6. 결론 42
• 참고문헌 44
• 영문초록 46