インスペクタビリティ - 検証容易性：森崎修司の「どうやってはかるの？」：オルタナティブ・ブログ

ソースコードや設計書等、レビュー（インスペクション）対象の読みやすさを向上する試みがある。On Inspection and Verification of Software with Timing Requirements（IEEE Digital library）という論文では、並列プログラミングのタイミング等、実行タイミングが問題になりやすいソースコードをレビュー（インスペクション）しやすく方法を提案している。 並列して実行されるプロセスのソースコードを実行する時間軸（タイミング）に沿って可視化し、ソースコードを横方向に眺めると、同時に実行されるソースコードをわかりやすくする。たとえば、あるプロセスAでステートメントA1, A2, A3, A4、プロセスBでB1, B2が実行され、A1とB1、A3とB2が同じタイミングで実行される場合、以下のようにソースコードを可視化する。 プロセス

[tinsep19]

Flashの開発環境の秀逸さが際立っちゃうね。