English : Japanese : Contact : Sitemap
정적&동적분석  
C, C++, C#  
Java(JSP)  
Python, R, JavaScript, Flex  
Mobile(iOS, Android)  
ABAP  
Function Point  
Static Analysis Dashboard  
License Type  
정적&동적분석

C, C++, C# 경로 테스팅/GUI 테스팅 자동화 도구

 C/C++/C# 화이트박스 경로 테스팅 자동화 도구(Automated White-box Path Testing Tool)는 테스트 케이스인 실행 경로(Feasible Path)의 테스트 생성을 자동 추출하여, 컴파일러 빌드 과정 없이 실제 개발 환경과 동일한 빅뱅 기법으로 소프트웨어 테스트의 자동화를 지원합니다.
 또한, 기능 테스트 또는 경계 값 테스트와 같은 블랙박스 테스팅(Black-box Testing)에서 발견할 수 없는 결함 및 버그를 실행 전/후의 경로 검증으로 식별합니다.

경로 테스팅 자동화 도구는 코드 기반으로 단위 테스트부터 시스템 테스트까지 통합 제공합니다.
 (1) 단위/통합 테스트: Requirement-Based Path Test, Path-based Fault Injection Test
 (2) 시스템 테스트: GUI-Based Coverage Test
화이트박스 경로 테스팅의 주요 기능
  • 화이트박스 경로 테스팅 자동화(Automated White-box Path Testing)
       -프로그램의 내부 구조에 초점을 둔 how의 관점으로 실행 경로 테스트(Feasible Path Test)
       -개발 환경과 동일한 테스트 빌드 환경인 빅뱅 기법을 통한 경로 테스트 자동화
       -호스트(Host) 또는 임베디드 타겟 테스팅(Embedded Target Testing)
       -회귀 테스트(Regression Test) 및 결함 주입 테스트(Fault Injection Test) 통합 지원
  • 경로 테스트 케이스(Path Test Case) 및 경로 인스트루멘테이션(Path Instrumentation) 설계
       -각 함수별 테스트 케이스인 실행 경로 (Feasible Path) 자동 생성 (max<= 조건문)
       -각 실행 경로의 경로 도메인(Path Domain)과 테스트 데이터(Input Value) 자동 추출
       -테스트 실행은 Call Graph Domain으로 테스트 프로그램 실행 (higher coverage)
  • 빅뱅(big-bang) 기반 모든 C/C++ 컴파일러 제품군 지원
       -ARM, Borland, Cosmic, GNU, Green Hills, Intel, IAR, Keil, Microsoft, QNX, Wind River 등
  • 국내외 소프트웨어 테스트 요구사항 지원
       -(방사청 무기체계 SW 동적시험) 코드 실행률
       -ISO 26262(Automotive), DO 178(Aerospace), IEC 61508(Industrial), EN 50128(Railway), IEC 62304(Medical) 등
  • 테스트 도메인 분석
       -논리 흐름 분석: Boolean Table, Call Graph, Control/Data Flow Graph
       -전역 변수 분석: Global Variable Reference Graph
       -코드 복잡도 분석: Cyclomatic Complexity, Structuring(Call) Level

    GUI 기반 커버리지 테스팅의 주요 기능
  • 소스코드 기반 GUI 소프트웨어 테스팅 자동화(GUI-based Coverage Testing)
       -Windows, Web, Mobile 소프트웨어의 GUI 상에서 Record & Play로 각 Client/Server Application의 실시간 코드 커버리지 검증/확인
       -GUI 기반 임베디드 SW 실행환경에서 각 Client/Server 시스템의 System Testing 수행
       -고객서비스 환경인 GUI 서비스 실행환경에서 각 Client/Server시스템의 System Testing수행
  • 기능적 및 비기능적 시스템 요구사항 검증/확인
       -시스템 요구사항 검증/확인: GUI 입력에 따른 올바른 프로그램 로직의 기능 확인
       -사용자 인터페이스 검증/확인: GUI 입력에 따른 사용자 인터페이스(UI) 동작 확인
       -시스템 인터페이스 검증/확인: GUI 입력에 따른 시스템 인터페이스 동작 확인
       -시스템 수행 시간 확인: GUI 입력에 따른 시스템 처리 성능 확인
  • 기능적 및 비기능적 시스템 시나리오 확인
       -기능적 시나리오: Functionality, Visual Design, Security, Compatibility, Compliance
       -비기능적 시나리오: Performance

    코드 커버리지 분석 및 MBD(Model-Based Design) 기반 경로 검증
  • 코드 커버리지 분석
       -단위 커버리지: Statement, Branch, MC/DC, Path Coverage
       -통합 커버리지: Function, Call Coverage
       -요구사항 커버리지: Traceability(Forward), Consistency Coverage
       -코드 커버리지 분석: 소스 코드 상에서 실행된 커버리지의 유형 및 영역 식별
  • 확장된 Control Flow Graph(CFG)의 MBD 기반 테스트 실행 전/후의 경로 검증
       -테스트된 Statement/Branch, MC/DC의 실행 전/후의 비교로 "Program Logic" 검증
       -확장된 Control Flow Graph의 Model-Based Design(MBD)기반 "Program Bug"의 코드 위치/경로 식별

    화이트박스 경로 테스팅의 자동화 효과
  • 테스트 데이터 자동 추출로 빠르게 코드 커버리지 달성
  • 수작업 블랙박스 테스트보다 약 100배 이상 소프트웨어 테스트 시간 단축
       -Test Generation: Manual(Suppose one test case takes 10 minutes to complete the full testing) vs. Automation
  • 소프트웨어 테스팅의 자동화로 노력, 시간, 비용 절감

    주요 고객
  • 자동차의 ISO 26262 & HKMC ES95411의 임베디드 소프트웨어 테스팅 도구
  • 무기체계 소프트웨어 동적 시험 도구
  • 국책연구과제
  • 본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
    Tel 02-553-9464
    Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.