화이트박스 자동테스팅 어디까지 왔을까

 

안녕하세요,

코드마인드 입니다.

지난 5월12일부터 3일간 개최된 전자정부 정보보호 솔루션 페어에서 코드마인드 연구소 자동검증팀 노상훈 공학박사가 직접 화이트박스 테스팅에 관한 강연을 하였습니다.

노상훈 팀장은 화이트 박스 테스팅 자동화가 꼭 필요한지, 심볼릭 테스팅 기술은 어떤 원리인지, 완전자동 도구란 어느 수준인가에 대해 약 20분 가량 청중들에게 열띤 강연을 하였습니다.

그는 심볼릭 테스팅에 관한 설명중 기호식 SMT Solver를 통해 자동으로 계산하는것에 대해 자세한 설명을 하였고, 한번의 테스트는 다음 테스트를 위한 테스트 케이스를 제공한다고 덧 붙였습니다.

이번 강연을 정리하자면, 화이트박스 테스팅은 민감한 SW 테스팅에서는 필수요소이며 수작업 테스팅은 코드마인드의 완전자동 SW 테스팅 도구인 코요테를 사용하여 그만할수 있다고 설명했습니다.

코드마인드의 코요테는 자동차 전장 SW 등 임베디드 SW에서 그 효과를 입증하였고, 성공적으로 유닛 테스팅을 수행해 줍니다.

제품/강연 관련하여 질문 있으신 분들은 marketing@codemind.co.kr 로 연락 주시기 바랍니다.

감사합니다.