Analyzing state CDL testing programs