| 摘要 |
【課題】アプリケーション画面の検証において、少数かつ適切な検証対象を特定する。【解決手段】複数のコールバック関数の呼出順序毎の画面の各々を示す階層化文書の各々に含まれ、かつコールバック関数により更新される要素の各々に、階層化文書を同値性に基づいて分類するための分類基準を規定するフラグであって、同一階層かつ同一種別の要素間の比較の際に、要素が持つ複数の子要素の順序の同値性を比較するか否かを示す順序同値性フラグ、及び要素の内包文字列の同値性を比較するか否かを示す文字列同値性フラグを設定し、フラグの設定の組み合わせ毎に、複数の分類基準を作成し、複数の分類基準の各々にしたがって、複数のコールバック関数の呼出順序毎の階層化文書の各々を分類した場合の分類数が、複数のコールバック関数の呼出順序に制約がないとした場合の基準分類数以上、かつ基準分類数に近くなる分類基準を特定する。【選択図】図１ |
