2010-02-08 9 views

답변

1

gen_fsm의 다음 상태는 정적 소스 분석이 일반적인 경우 찾을 수없는 계산 된 값일 수 있습니다.

물론입니다. 형식 주석을 사용하면 가능하지만 명시 적으로 상태 전환을 적어서 .dot 파일을 생성 할 수 있습니다.

2

이 포럼 게시물 ("나는 링크 gen_fsm (또는 다른 얼랑 FSM)과 점 (은 GraphVIZ) 파일보다 몇 가지 도구를 시도하고 싶다.")은 귀하에게 유용 할 수 있습니다

http://www.trapexit.org/forum/viewtopic.php?p=44468

+0

Internet Archive (https://web.archive.org/web/20111105111111/http://www.trapexit.org/forum/viewtopic.php?p=44468) 덕분에 언급 된 도구를 찾을 수있었습니다. https://github.com/lavrin/graph_draw 및 http://erlang.org/pipermail/erlang-questions/2001-October/003717.html을 참조하십시오. 나는 그들이 어떤 용도로 사용되는지 여부는 아직 확실하지 않다. – erszcz

2

Erlang 프로그램의 소스 코드를 분석하고자 할 때, 프로그램 자체의 의존성 분석에 우연히 관심이 있는지 궁금하게 생각합니다. (작성중인 FSM 만 분석하면 되겠지만 이중 확인하고 싶습니다.)

그렇다면 Erlang의 Xref - 교차 참조 도구가 중요 할 수 있습니다.

저는 새 사용자이기 때문에 다른 하이퍼 링크를 게시 할 수 없지만 "erlang xref graphviz"를 검색하면 Ulf W가 Xref를 GraphViz에 연결하는 방법을 설명하는 erlang.org에 대한 게시물을 찾을 수 있습니다.