smt
-
화이트박스 자동테스팅 어디까지 왔을까Tech 2021. 5. 26. 14:48
안녕하세요, 코드마인드 입니다. 지난 5월12일부터 3일간 개최된 전자정부 정보보호 솔루션 페어에서 코드마인드 연구소 자동검증팀 노상훈 공학박사가 직접 화이트박스 테스팅에 관한 강연을 하였습니다. 노상훈 팀장은 화이트 박스 테스팅 자동화가 꼭 필요한지, 심볼릭 테스팅 기술은 어떤 원리인지, 완전자동 도구란 어느 수준인가에 대해 약 20분 가량 청중들에게 열띤 강연을 하였습니다. 그는 심볼릭 테스팅에 관한 설명중 기호식 SMT Solver를 통해 자동으로 계산하는것에 대해 자세한 설명을 하였고, 한번의 테스트는 다음 테스트를 위한 테스트 케이스를 제공한다고 덧 붙였습니다. 이번 강연을 정리하자면, 화이트박스 테스팅은 민감한 SW 테스팅에서는 필수요소이며 수작업 테스팅은 코드마인드의 완전자동 SW 테스팅 도..