Welcome to ISLisp


ISLisp 検証システム

ISLISP検証システムは、あるISLISP処理系がISLISP規格に準拠していることを検証するシステムである。 本検証システムは、ISLISP規格の解釈を規定し、 ISLISP言語仕様書を補足する観点から開発した。


本検証システムは、以下の特徴を持っている。
  • 検証システムが持っている検証データにより、自動的に動作確認が可能  
  • エラーが発生する場合でも、ISLISP規格で規定する 正しいエラーが発生しているかどうかを確認可能   

  • ISLISP検証システムの構成

    ISLisp検証システムは、下図に示すようにISLisp検証システムと検証データから構成される。 検証システムは、検証対象のISLISP 処理系に対して、検証データのフォームを与え、評価されたフォームの 結果と検証データの規定する値とを比較することによって、ISLISP 言語仕様への合致性を検証する。 検証データは、ISLISP 言語仕様の補足及び解釈の統一を目的として作成され、現在 16000 項目のデータから 構成される。