четверг, 21 мая 2009 г.

Извлечение программной документации для NuSMV

NuSMV - это один из современных верификаторов, поддерживающих символьную верификацию на основе BDD и SAT. При желании разобраться, как он устроен очень полезно иметь программную документацию. В этом проекте программная документация генерируется perl-скриптом без использования специализированных утилит. Для того, чтобы сгенерировать документацию, необходимо в корневом каталоге проекта выполнить:


helpers/extract_doc .


Генерируется документация в HTML наподобие Javadoc, содержащая объявления типов, функций, а также их краткое описание

Комментариев нет: