ソースコードや設計書等、レビュー(インスペクション)対象の読みやすさを向上する試みがある。On Inspection and Verification of Software with Timing Requirements(IEEE Digital library)という論文では、並列プログラミングのタイミング等、実行タイミングが問題になりやすいソースコードをレビュー(インスペクション)しやすく方法を提案している。 並列して実行されるプロセスのソースコードを実行する時間軸(タイミング)に沿って可視化し、ソースコードを横方向に眺めると、同時に実行されるソースコードをわかりやすくする。たとえば、あるプロセスAでステートメントA1, A2, A3, A4、プロセスBでB1, B2が実行され、A1とB1、A3とB2が同じタイミングで実行される場合、以下のようにソースコードを可視化する。 プロセス
![インスペクタビリティ - 検証容易性:森崎修司の「どうやってはかるの?」:オルタナティブ・ブログ](https://cdn-ak-scissors.b.st-hatena.com/image/square/7f2a4ced7f91e578679d11d5fcc8f34c5d080289/height=288;version=1;width=512/https%3A%2F%2Fblogs.itmedia.co.jp%2Fmt-static%2Fsupport%2Fassets_c%2Fuserpics%2Fuserpic-83-100x100.png)