크레마클럽

분야

분야 전체

소설
소설
에세이 시
에세이 시
- 에세이
- 시/평론
경제 경영
경제 경영
자기계발
자기계발
인문
인문
사회 정치
사회 정치
역사
역사
종교
종교
예술 대중문화
예술 대중문화
자연과학
자연과학
가정 살림
가정 살림
건강 취미 여행
건강 취미 여행
어린이 유아
어린이 유아
청소년
청소년
국어 외국어
국어 외국어
IT 모바일
IT 모바일
대학교재
대학교재
수험서 자격증
수험서 자격증
잡지
잡지
만화
만화
로맨스
로맨스
판타지/무협
판타지/무협
- 판타지/SF
- 퓨전
- 현대물
- 스포츠
- 대체역사
- 무협
무료eBook
무료eBook
- 단행본
- 장르소설
- 만화
- 잡지
- 무료체험판
- 전체

크레마클럽 허브

크레마클럽 가입하기

공유하기

페이스북 공유하기 트위터 공유하기 URL복사

인공지능 소프트웨어 품질 보증을 위한 테스트 기법

예제와 튜토리얼로 익히는 4가지 AI 소프트웨어 테스트 방법

사토 나오토,오가와 히데토,구루마 히로노부,묘진 도모유키 저/황석형 역 | 제이펍 | 2023년 6월 15일 평균 별점9.9 (9) 정보 더 보기/감추기

종이책 리뷰 (6건)
eBook 리뷰 (0건)
종이책 한줄평 (3건)
eBook 한줄평 (0건)
종이책 사락 별점 (0건)
eBook 사락 별점 (0건)

분야: IT 모바일 > IT 전문서

파일정보: PDF(DRM) 26.04MB

지원기기: 크레마 PC(윈도우 - 4K 모니터 미지원) 아이폰 아이패드 안드로이드폰 안드로이드패드 전자책단말기(저사양 기기 사용 불가) PC(Mac)

이용안내: TTS 가능 TTS 안내

가입하고 무료로 읽기

eBook 구매 종이책 구매

인공지능 소프트웨어 품질 보증을 위한 테스트 기법

가입하고 무료로 읽기

이 상품의 태그

#세종도서학술부문선정도서

내서재에 추가 삭제

유전자 스위치

장연규 저
내서재에 추가 삭제

디지털 시민성 교육

박기범 저
내서재에 추가 삭제

Do it! 데이터 과학자를 위한 실전 머신러닝

배기웅 저
내서재에 추가 삭제

황금, 불멸의 아름다움

강인욱 저
내서재에 추가 삭제

나는 뇌를 만들고 싶다

선웅 저
내서재에 추가 삭제

미래 지향 유아교육과 디지털 활용

조성웅 저

책 소개

지은이 소개 x옮긴이 소개 xi옮긴이 머리말 xii추천의 글 xiii베타리더 후기 xiv이 책에 대하여 xviCHAPTER 0 AI 소프트웨어와 테스트 10.1 AI 소프트웨어 테스트의 필요성 1__0.1.1 AI의 보급에 따른 과제 1__0.1.2 AI 기술의 핵심 ‘머신러닝’ 30.2 귀찮은 문제 = 과제와 해결 방법에 관련된 모순 4__0.2.1 머신러닝의 장점에 내포된 문제점 4__0.2.2 이 책의 주제와 대상 독자 5CHAPTER 1 AI의 이해 71.1 AI의 종류 7__1.1.1 강한 AI와 약한 AI 7__1.1.2 규칙 기반 AI와 머신러닝 8__1.1.3 지도 학습 9__1.1.4 지도 학습으로 해결할 수 있는 문제들 9__1.1.5 비지도 학습 10__1.1.6 강화 학습 10__1.1.7 휴리스틱스와 메타휴리스틱스 111.2 AI 소프트웨어 12__1.2.1 머신러닝과 AI 소프트웨어 12__1.2.2 AI 모델 12__1.2.3 학습과 훈련 및 평가 13__1.2.4 훈련 결과에 대한 평가와 AI 소프트웨어 테스트 15__1.2.5 AI 소프트웨어와 AI 시스템의 관계 16__[칼럼] AI의 진화 발전 사례: 일본식 장기인 쇼기 프로그램 161.3 지도 학습의 체계 18__1.3.1 학습 완료 모델에 기반한 추론 18__1.3.2 훈련용 입력 데이터와 훈련용 정답 데이터 18__1.3.3 훈련 완료 모델의 평가 19__1.3.4 학습 완료 모델의 테스트 20__[칼럼] 머신러닝의 수학적 해석 211.4 AI의 개발 공정 24__1.4.1 AI 개발 공정의 특징: 시행착오의 반복 24__1.4.2 AI 컴포넌트 개발 공정 26__1.5 AI 모델의 구체적인 사례 27__1.5.1 심층 신경망 27__1.5.2 앙상블 트리 30__1.5.3 분류 문제 33__1.5.4 회귀 문제 371.6 요약 39CHAPTER 2 AI 소프트웨어 테스트 412.1 기존의 소프트웨어와 AI 소프트웨어의 차이점 41__[칼럼] 수학적 귀납법과 과학적 접근법 432.2 기존의 소프트웨어 테스트 43__2.2.1 입장료 계산 문제의 예 44__2.2.2 동치 클래스와 경곗값을 이용한 테스트 45__[칼럼] 생일 계산 46__[칼럼] 동치 클래스와 경곗값의 수학적 표현 472.3 기존 테스트 기법의 적용 가능성 48__2.3.1 동치 클래스 기법의 적용 가능성 48__2.3.2 머신러닝의 특성 502.4 AI 소프트웨어 테스트 기법 52__2.4.1 메타모픽 테스트 기법의 개요 53__2.4.2 뉴런 커버리지 테스트 기법의 개요 54__2.4.3 최대 안전 반경 테스트 기법의 개요 55__2.4.4 커버리지 검증 기법의 개요 55__[칼럼] AI의 품질 57CHAPTER 3 튜토리얼 준비 593.1 실행 환경 설정 59__3.1.1 파이썬 설치 59__3.1.2 외부 라이브러리 설치 62__[칼럼] pip를 이용한 외부 라이브러리 설치 633.2 테스트 도구 다운로드 65__3.2.1 참조 파일 다운로드 65__3.2.2 기타 파일 다운로드 663.3 학습에 사용할 데이터셋 68__3.3.1 MNIST 데이터셋 68__3.3.2 HouseSales 데이터셋 693.4 AI 모델의 학습 69__3.4.1 MNIST 데이터셋 기반의 DNN 모델의 학습 70__[칼럼] DNN 모델의 저장 방법 72__3.4.2 HouseSales 데이터셋 기반의 DNN 모델의 학습 74__3.4.3 HouseSales 데이터셋 기반의 XGBoost 모델 학습 763.5 학습 완료 모델의 실행 확인 77__3.5.1 숫자 이미지 식별을 위한 DNN 모델의 실행 확인 77__3.5.2 주택 가격 예측을 위한 DNN 모델 실행 확인 79__3.5.3 주택 가격 예측을 위한 XGBoost 모델 실행 확인 80CHAPTER 4 메타모픽 테스트 기법 814.1 메타모픽 테스트 기법이란? 81__4.1.1 테스트 오라클의 문제점 81__4.1.2 메타모픽 관계 84__[칼럼] 수식을 이용한 메타모픽 테스트 기법의 정의 85__4.1.3 AI 소프트웨어에 적용 87__4.1.4 메타모픽 테스트 기법으로 알 수 있는 사항 89__[칼럼] 테스트 성공인 경우에 알 수 있는 사실들 91__4.1.5 기존의 테스트 기법과의 차이점 94__4.1.6 메타모픽 테스트 기법의 활용 96__[칼럼] 테스트 성공인 경우에 알 수 있는 사실들(Part 2) 994.2 튜토리얼 100__4.2.1 메타모픽 테스트 기법의 실행 101__4.2.2 데이터 가공 방법 변경 109__4.2.3 데이터 가공 횟수의 변경 1114.3 요약 112CHAPTER 5 뉴런 커버리지 테스트 기법 1135.1 기존의 커버리지와 뉴런 커버리지 113__5.1.1 기존 소프트웨어에 대한 커버리지 113__[칼럼] 명령 커버리지·분기 커버리지·조건 커버리지 114__5.1.2 DNN 모델에 커버리지 적용 116__5.1.3 뉴런의 활성 상태 1175.2 뉴런 커버리지를 이용한 테스트 122__5.2.1 뉴런 커버리지를 향상시키는 데이터 122__5.2.2 테스트용 입력 데이터 작성 방법 122__[칼럼] 편미분과 기울기 124__5.2.3 가이드라인을 기반으로 가공 방법 선택 129__[칼럼] 벡터와 내적 131__5.2.4 가공 데이터를 사용한 테스트 실행 1345.3 튜토리얼 135__5.3.1 뉴런 커버리지 테스트의 실행 135__5.3.2 활성화를 판정하는 경곗값 변경 139__5.3.3 뉴런 커버리지 테스트의 반복 실행 143CHAPTER 6 최대 안전 반경 테스트 기법 1456.1 최대 안전 반경의 이해 145__6.1.1 강건성 145__6.1.2 적대적 데이터 147__6.1.3 최대 안전 반경 150__[칼럼] 다양한 ‘거리’ 1526.2 최대 안전 반경 계산 방법 153__6.2.1 최대 안전 반경의 근삿값 153__6.2.2 계산 방법의 개요 154__6.2.3 안전 반경의 판정 156__6.2.4 하계와 상계의 계산 방법 158__6.2.5 하계와 상계의 단계적 계산 방법 161__[칼럼] 시그모이드 함수에 대한 하계 함수와 상계 함수의 정의 1666.3 튜토리얼 172__6.3.1 DNN 모델의 변환 172__6.3.2 CNN-Cert의 실행 174__6.3.3 타깃 분류 그룹핑의 변경 185CHAPTER 7 커버리지 검증 기법 1877.1 커버리지 검증 187__7.1.1 커버리지 검증의 목적 187__7.1.2 커버리지 검증의 체계 190__[칼럼] 인간의 추론과 AI의 추론 190__[칼럼] 검증을 수월하게 수행하기 위한 식 변형 193__[칼럼] SAT Solver와 SMT Solver의 동작 1947.2 XGBoost 모델의 커버리지 검증 195__7.2.1 예제 모델의 커버리지 검증 195__[칼럼] 전제조건과 검증 특성 202__[칼럼] 커버리지 검증을 단시간 내에 수행하는 방법 206__7.2.2 학습 완료 모델에서 논리식으로의 변환 207__7.2.3 커버리지 검증 도구의 구조 2117.3 검증 특성을 만족하지 않는 입력 데이터 범위의 탐색 217__7.3.1 예제 모델의 조건 비적합 범위의 검색 217__7.3.2 조건 비적합 범위 탐색 도구의 구조 2227.4 DNN 모델의 커버리지 검증 225__7.4.1 예제 모델의 커버리지 검증 225__7.4.2 학습 완료 모델로부터 논리식으로의 변환 234__7.4.3 커버리지 검증 도구의 구조 2387.5 요약 241APPENDIX A 각종 파일의 표기법 243A.1 XGBoost 입출력 데이터 정의 파일의 표기법 243A.2 DNN 입출력 데이터 정의 파일의 표기법 244A.3 검증 조건 파일의 표기법 245맺음말 247찾아보기 249

펼쳐보기접어보기

상세 이미지

저자 소개 (5명)

저 : 사토 나오토 (佐藤直人)

관심작가 알림신청

2005년 히타치 제작소에 입사한 주임연구원이자 공학박사다. 전문 분야는 소프트웨어 테스트, 정형 기법 등이다. 취미는 독서이지만 최근 구독형 동영상 서비스에 밀리고 있다. 루어 낚시에도 관심이 있으나 이 책의 집필 시기에는 아직 한 마리도 낚지 못했다. 2005년 히타치 제작소에 입사한 주임연구원이자 공학박사다. 전문 분야는 소프트웨어 테스트, 정형 기법 등이다. 취미는 독서이지만 최근 구독형 동영상 서비스에 밀리고 있다. 루어 낚시에도 관심이 있으나 이 책의 집필 시기에는 아직 한 마리도 낚지 못했다.

저 : 오가와 히데토 (小川秀人)

관심작가 알림신청

1996년 히타치 제작소에 입사한 관리연구원이자 공학박사다. AI 제품 품질 보증 컨소시엄(QA4AI) 운영 부위원장 겸 로고 디자인 담당이며, 머신러닝 품질 관리 검사위원회(AIQM) 위원이다. 전문 분야는 소프트웨어 공학이고, 《AIビジネス?略(AI 비즈니스 전략)》(情報機構, 2020)을 공동 저술했다. 취미는 사용하지도 않는 그림 도구 수집과 저렴한 제품으로 밤하늘 촬영하기다. 1996년 히타치 제작소에 입사한 관리연구원이자 공학박사다. AI 제품 품질 보증 컨소시엄(QA4AI) 운영 부위원장 겸 로고 디자인 담당이며, 머신러닝 품질 관리 검사위원회(AIQM) 위원이다. 전문 분야는 소프트웨어 공학이고, 《AIビジネス?略(AI 비즈니스 전략)》(情報機構, 2020)을 공동 저술했다. 취미는 사용하지도 않는 그림 도구 수집과 저렴한 제품으로 밤하늘 촬영하기다.

저 : 구루마 히로노부 (來間啓伸)

관심작가 알림신청

특임교수를 지냈다. 전문 분야는 소프트웨어 공학과 정형 기법이다. 저서로는 《Bメソッドによる形式仕?記述(B 메서드에 의한 정형 기법)》(2007), 《Event-B Refinement》(이상 近代科?社, 2015) 등이 있다. 취미는 추리소설 읽기와 산속 온천 탐방이며, 최근에는 플라이 낚시를 익히고 있다. 특임교수를 지냈다. 전문 분야는 소프트웨어 공학과 정형 기법이다. 저서로는 《Bメソッドによる形式仕?記述(B 메서드에 의한 정형 기법)》(2007), 《Event-B Refinement》(이상 近代科?社, 2015) 등이 있다. 취미는 추리소설 읽기와 산속 온천 탐방이며, 최근에는 플라이 낚시를 익히고 있다.

저 : 묘진 도모유키 (明神智之)

관심작가 알림신청

2006년 히타치 제작소에 입사한 주임연구원이다. 전문 분야는 임베디드 시스템과 소프트웨어 공학이다. 취미는 여행지에서 만난 고양이 사진 촬영이다. 2006년 히타치 제작소에 입사한 주임연구원이다. 전문 분야는 임베디드 시스템과 소프트웨어 공학이다. 취미는 여행지에서 만난 고양이 사진 촬영이다.

역 : 황석형

관심작가 알림신청

일본 오사카대학교 대학원(정보공학과)에서 공부하고, 1997년부터 선문대학교 컴퓨터공학과 교수로 재직 중이다. 저자의 대학원 선배이자, 20년지기 친구로 이 책을 한국어로 옮기고, 한국의 프로프래밍 교육 현황 등에 대한 내용을 집필했다. 국방대학교 외래강사, 충남테크노파크 겸임교수, 아일랜드국립대학 객원연 구원 등을 역임하며 프로그래밍 연구를 계속하고 있다. 일본 오사카대학교 대학원(정보공학과)에서 공부하고, 1997년부터 선문대학교 컴퓨터공학과 교수로 재직 중이다. 저자의 대학원 선배이자, 20년지기 친구로 이 책을 한국어로 옮기고, 한국의 프로프래밍 교육 현황 등에 대한 내용을 집필했다. 국방대학교 외래강사, 충남테크노파크 겸임교수, 아일랜드국립대학 객원연 구원 등을 역임하며 프로그래밍 연구를 계속하고 있다.

더보기접어보기