Skip to main content

소프트웨어 테스팅 무료 정기 세미나: 정적 검증

경기 성남시 분당구 판교역로 225-18, 이룸빌딩 7층 Qt Group

10:00 Feb 6, 2025 (10:00 )

[소프트웨어 테스팅 무료 정기 세미나]

Axivion을 활용한 소프트웨어 정적/아키텍처 검증 (Architecture Verification)

 

  • 교육목표: 소프트웨어 정적/아키텍처 검증 목적과 검증 항목을 학습하고, 정적/아키텍처 분석을 실습
  • 교육일자: 2025년 2월 6일 (목요일) 10:00 - 16:00
  • 교육대상: 소프트웨어 아키텍트, 소프트웨어 개발자, 소프트웨어 정적 검증 관련자
  • 교육비: 무료

 

<아젠다>

1. Axivion 설치

  • Axivion 설치
  • WebUI 설정

2. Axivion 기본 사용법

  • 정적검증 프로젝트 설정 및 실행
  • WebUI
  • 로컬환경에서 분석
  • 위반 코드에 대한 Justification
  • 결과 확인

3. 소프트웨어 아키텍처 분석

  • Source Code 구조 이해
  • Source Code로부터 소프트웨어 아키텍처 설계
  • 소프트웨어 아키텍처 검증