지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2018.11
- 수록면
- 712 - 715 (4page)
이용수
초록· 키워드
오류제보하기
This research defined a Concolic Unit Testing method and developed an automatic tool to test complex vehicle control unit SW effectively. As a result of applying to IBU, the test cases generated automatically by the Concolic Unit Testing method covered more than 73% of Branch Coverage.
목차
Abstract
1. 서론
2. Concolic 단위 테스트
3. 실험
4. 결론
References
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
-
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Journal of KIISE
2019 .09
-
반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상
한국정보과학회 학술발표논문집
2019 .06
-
국방 무기 체계 SW 품질 향상을 위한 Concolic 테스팅 기술
한국정보과학회 학술발표논문집
2018 .12
-
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
-
Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구
한국정보과학회 학술발표논문집
2018 .12
-
Concolic 테스팅을 활용한 차량 전장 소프트웨어의 유닛 테스트
한국자동차공학회 춘계학술대회
2021 .06
-
Bounded Search Strategies of Concolic Testing for Effective and Efficient Structural Coverage Achievement
Journal of KIISE
2021 .02
-
Bitfield 심볼릭 지원을 통한 Concolic 테스팅 효과 향상
한국정보과학회 학술발표논문집
2018 .06
-
A Study on Improvement of Scoring in Programming Practice Questions Using Concolic Testing Technique
Journal of KIISE
2019 .11
-
Smart Contract Weakness Analyzer Based on Concolic Testing
Journal of KIISE
2021 .06
-
Transformation Method for a State Machine to Increase Code Coverage
Journal of KIISE
2016 .09
-
OS-in-the-Loop Concolic Testing for Multitask Embedded Software
Journal of KIISE
2023 .02
-
SW 신뢰성시험 자동화를 통한 시험시간 단축 및 인적오류 감소 방안
한국컴퓨터정보학회논문지
2015 .10
-
무기체계 성능개량사업 SW 신뢰성 시험 효율적 검증 방안 연구
한국산학기술학회 논문지
2022 .07
-
단위 테스팅을 자동화하기 위한 관리 도구들 간의 연동 프로그램 설계
한국정보과학회 학술발표논문집
2020 .12
-
공개 SW 연구개발 방식을 활용한 SW 연구개발 체계 고도화 방안
한국통신학회 학술대회논문집
2019 .06
-
SW가치확산을 위한 SW교육 설계
한국정보통신학회 여성 ICT 학술대회 논문집
2021 .08
-
자동 유닛 테스팅을 활용한 효과적인 지속적 자동 테스팅 시스템
한국정보과학회 학술발표논문집
2020 .12
-
SW 동적시험 환경을 이용한 요구사항 기반의 위성관제시스템 SW 커버리지 분석
한국항공우주학회 학술발표회 초록집
2017 .11
이 논문의 저자 정보
이 논문과 함께 이용한 논문
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
백준기
,
이동주
,
김윤호
한국자동차공학회 춘계학술대회
2019
.05
Model-Based Design and DSP Code Generation using Simulink® for Power Electronics Applications
Jung-Muk (Michael) Choe
,
Luis A
,
nedo
외 8명
ICPE(ISPE)논문집
2019
.05
Structured Behavioral Feature기반 임베디드 SW 아키텍처 설계 방법의 추적성 검증
이정태
,
정소영
한국컴퓨터정보학회 학술발표논문집
2017
.07
모델기반 소프트웨어의 품질향상을 위한 모델수정 자동가이드 방법 및 도구 개발
나동진
,
신승환
한국자동차공학회 추계학술대회 및 전시회
2014
.11
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2019-556-000205412