"Finding bugs without running or even looking at code" by Jay Parlar
0:00 · Watch on YouTube
코드를 실행하거나 읽지 않고도 Alloy 같은 모델 체커에 시스템을 형식적으로 작성함으로써 깊은 설계 버그를 찾을 수 있으며, 이는 인스턴스를 빠짐없이 생성하고 정확성 속성을 검사하여 미처 테스트할 생각도 못한 결함을 드러냅니다.
0:00 · Watch on YouTube
코드를 실행하거나 읽지 않고도 Alloy 같은 모델 체커에 시스템을 형식적으로 작성함으로써 깊은 설계 버그를 찾을 수 있으며, 이는 인스턴스를 빠짐없이 생성하고 정확성 속성을 검사하여 미처 테스트할 생각도 못한 결함을 드러냅니다.