Install Graphviz – Graph Visualization Software

หลังจากตอนที่แล้วได้ลง Spin มาแล้ว แต่ผมเหลือบในเห็นใน List ของ Tools ที่จำเป็นในวิชา Formal Verification เห็นมีลง Graphviz  ด้วย ผมเลยเอามาเขียนอีก Blog แยกดีกว่าครับ

เตรียมตัวก่อนลง

  • Graphviz  - สำหรับบน Windows จะลงตัว Installer (.msi) หรือ .zip
  • แต่ถ้าอยากใช้ผ่าน Command Line ได้ ต้อง Add PATH Variable เองครับ

ลง Graphviz

  • ถ้าเป็น Installer (.msi) ลงตามขั้นตอนเลยครับ จำ Path ที่ Install ไว้นะครับ

  • ถ้าเป็น .zip แตกไฟล์ สามารถใช้ได้เลยครับ จำ Path ที่วางไว้นะครับ

ทำให้ Graphviz ใช้กับ dos command

  • เราต้องเอาไป Graphviz ผูกใน Enviroment PATH
  • คลิกขวาที่ This PC (Window 10 ++) หรือ My Computer (Window XP, 7, 8) เลือก property
  • ไปที่ tab Advance >> Enviroment Variables
  • เพิ่ม Path ที่ผมลงไว้ตอนแรกนะครับ ซึ่งก็คือ C:\Program Files (x86)\Graphviz2.38\bin จากนั้นกด OK

ทดสอบ Graphviz

  • สร้างไฟล์ .dot ขึ้นมา โดยมีข้อมูล ดังนี้
digraph G {
   main -> parse -> execute;
   main -> init;
   main -> cleanup;
   execute -> make_string;
   execute -> printf
   init -> make_string;
   main -> printf;
   execute -> compare;
}
  • ลองเอาไป Run ครับ
#Export dot >> ps (Adobe Photshop)
dot -Tps sampleGraph.dot -o sampleGraph.ps
#Export dot >> png 
dot -Tpng sampleGraph.dot -o sampleGraph.png
  • พบว่ามีไฟล์ ps และ png
  • ลองเปิด png สร้าง Graph ได้ด้วย เจ๋งมากก ^_^

ผูก iSpin

  • เข้า Path ที่ลง Spin อย่างที่ผมลงไว้ คือ C:\FV\Spin\iSpin
  • แก้ไฟล์ ispin.tcl สังเกตุว่าไฟล์ เปิดมาแล้ว
    • ถ้า Set Enviroment PATH - เรียบร้อยแล้ว Config เป็นในกรอบสีแดง ครับ ไม่ต้องแก้ครับ
    • ถ้าไม่ได้ Set Enviroment PATH - Config เป็นในกรอบสีน้ำเงิน ครับ อย่าลืมแก้ Path ให้ตรงกับที่ลง Graphviz  ไ้วครับ

Reference

Discover more from naiwaen@DebuggingSoft

Subscribe to get the latest posts sent to your email.

Tags

Related Posts