지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers Journal of KIISE Journal of KIISE Vol.47 No.9
- 발행연도
- 2020.9
- 수록면
- 804 - 813 (10page)
- DOI
- 10.5626/JOK.2020.47.9.804
이용수
초록· 키워드
오류제보하기
최근 내장형 소프트웨어(embedded software)는 과거와는 다르게 그 규모와 복잡도가 크게 증가함에 따라 소프트웨어 품질 및 신뢰성을 유지하기가 어려워지고 있다. 이러한 소프트웨어 품질 및 신뢰성을 높이기 위해서는 무엇보다 소프트웨어에 대한 효율적인 시험이 중요하다. 내장형 소프트웨어 특성상 하드웨어와의 결합도가 높고 플랫폼도 매우 다양하여 범용 시스템에서 윈도우즈나 리눅스를 기준으로 주로 사용되는 기존 시험 자동화 도구를 적용하기 어렵다. 또한 일반적으로 소프트웨어와 하드웨어를 같이 개발하는 경우 운용 가능한 하드웨어의 개수도 소프트웨어 개발자의 수에 비해 적어서 대상 하드웨어에서 동작시켜 시험하기가 힘들다. 이와 같은 문제로 본 논문에서는 기반 소프트웨어 프레임워크(NSFW : Next Software Framework) 테스트 서비스를 활용한 내장형 소프트웨어의 효율적인 시험 방안을 제시한다. 그리고 기존 방법에서 나아가 동시성 오류(Concurrency errors)에 대해 더욱 효율적으로 시험을 수행할 수 있는 방안을 제시한다.
목차
요약
Abstract
1. 서론
2. 내장형 소프트웨어의 특징
3. 내장형 소프트웨어의 시험 연구
4. 결론 및 향후 과제
References
참고문헌 (14)
참고문헌 신청
A. Villar-Martínez, "Improving the Scalability and Replicability of Embedded Systems Remote Laboratories Through a Cost-Effective Architecture," IEEE Access, Vol. 7, pp. 164164-164185, 2019.
S. Mittal, "A Survey of Techniques for Improving Energy Efficiency in Embedded Computing Systems," arXiv preprint arXiv:1401.0765, 2014.
Karlesky, M.J., Bereza, W.I. and Erickson, C.B. "Effective Test Driven Development for Embedded Software," Electro/information Technology, IEEE, pp. 382-387, 2006.
P. Belt, J. Harkonen, M. Mottonen, P. Kess and H. Haapasalo, "Improving the Efficiency of Verification and Validation," International Journal of Services and Standards, Vol. 4, No. 2, pp. 150-166, 2008.
T. Henzinger and J. Sifakis, "The discipline of embedded systems design," IEEE Trans. Computer, Vol. 40, No. 10, pp. 32-40, 2007.
S. Mittal, "A Survey of Techniques for Improving Energy Efficiency in Embedded Computing Systems," arXiv preprint arXiv:1401.0765, 2014.
Karlesky, M.J., Bereza, W.I. and Erickson, C.B. "Effective Test Driven Development for Embedded Software," Electro/information Technology, IEEE, pp. 382-387, 2006.
P. Belt, J. Harkonen, M. Mottonen, P. Kess and H. Haapasalo, "Improving the Efficiency of Verification and Validation," International Journal of Services and Standards, Vol. 4, No. 2, pp. 150-166, 2008.
T. Henzinger and J. Sifakis, "The discipline of embedded systems design," IEEE Trans. Computer, Vol. 40, No. 10, pp. 32-40, 2007.
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
내장형 소프트웨어의 효율적인 시험 환경 구축 방안
한국정보과학회 학술발표논문집
2019 .12
-
무기체계 내장형 소프트웨어 신뢰성 시험 오검출 오류 분석
한국신뢰성학회 학술대회논문집
2019 .10
-
Design and Implementation of a Concurrency Error Detection Method for Embedded Software Using Machine Learning
Journal of KIISE
2022 .05
-
A Study on Quality Assurance of Embedded Software Source Codes for Weapon Systems by Improving the Reliability Test Process
Journal of KIISE
2015 .07
-
소프트웨어 저작권 보호를 위한 정부의 정책방향
한국정보기술학회지
2015 .06
-
모델 기반 소프트웨어의 모델 테스트 자동화 방법에 대한 연구
한국항공우주학회 학술발표회 초록집
2016 .11
-
무기체계 소프트웨어 신뢰성 시험을 위한 효율적 시험 환경 구축 방안
소프트웨어공학 소사이어티 논문지
2019 .06
-
소프트웨어 보호를 위한 기술 분석
한국정보기술학회지
2015 .06
-
종속적 결함을 고려한 소프트웨어 신뢰성 모형에 관한 연구
한국신뢰성학회 학술대회논문집
2021 .11
-
위성관제시스템 SW 품질시험 체계
한국항공우주학회 학술발표회 초록집
2015 .11
-
“소프트웨어 안전” 특집을 내면서
정보과학회지
2015 .07
-
구문 오류와 운용 환경을 고려한 소프트웨어 신뢰성 성장 모형
한국신뢰성학회 학술대회논문집
2018 .10
-
소프트웨어 산업 확대에 따른 소프트웨어 新분류체계 개발 방안 연구
대한산업공학회 추계학술대회 논문집
2015 .11
-
비탐침식 소프트웨어 동적시험 자동화 방안 연구
항공우주시스템공학회 학술행사 논문집
2018 .04
-
휘처 공학의 임베디드 소프트웨어 적용을 위한 구조적 휘처 모델
한국정보과학회 학술발표논문집
2021 .12
-
다기능레이더 소프트웨어 신뢰성시험 적용사례 및 결과
전기전자학회논문지
2015 .09
-
Component-based Software Architecture Design Method for Defense Software
Journal of KIISE
2019 .11
-
병행성을 가진 항공기 소프트웨어를 모의실험하기 위한 소프트웨어 프레임워크
항공우주시스템공학회 학술행사 논문집
2019 .05
-
철도시스템 소프트웨어의 정량적 신뢰성 예측평가 도구개발
한국철도학회 논문집
2022 .01
-
국내 무기체계 분야의 소프트웨어 신뢰성 추정 모델 적용 사례
한국산학기술학회 논문지
2020 .06
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0