소프트4소프트가 모델기반 설계(MBD) 기반 화이트박스 경로 테스팅 도구를 출시했다. 
https://www.etnews.com/20230428000026

Java 소프트웨어 개발에 있어 모델기반 설계(Model-Based Design, MBD)의 중요성이 점점 높아지고 있다. 특정 알고리즘 코드를 작성하여 코드기반으로 특정 기능을 검증하는 전통적인 블랙박스 테스트(Black-box Test) 방식과 달리, 알고리즘 코드의 논리적 구조인 실행 경로를 화이트박스 테스팅(White-box Testing)하여 MBD의 확장된 제어흐름그래프(Control-flow Graph, CFG) 기반 테스트 실행 전/후의 경로를 검증할 수 있는 화이트박스 경로 테스팅(White-box Path Testing) 자동화 도구를 국내외 최초로 개발했다.

이러한 화이트박스 경로 테스팅의 테스트 생성 자동화는 테스트 케이스를 수작업으로 작성하는 블랙박스 테스트 보다 소프트웨어 테스팅 시간을 획기적으로 (약 10~100배) 절감함과 더불어 임베디드 소프트웨어의 신뢰성을 빠르고 쉽게 확보할 수 있다.