データフローに着目して Web アプリケーションのテストケースを作ればいいんじゃないの、という提案。2000 年なのでちょっと古い。サーバ側プログラムもクライアント側プログラムも全部フローグラフ化して、どの範囲でテストすれば判断する。Web アプリケーションをオブジェクトの集合、オブジェクトを関数の集合としてモデル化して、着目した要素のテストを単一関数内か関数群かオブジェクト内かオブジェクト群かアプリケーション全体かいずれの範囲内で行うかフローグラフから決める。例を見ればそんなものかとも思うけど、テストケース（テストパス）をどうやって決めるかという部分が述べられてなくて、うまいのかうまくないのか結局よくわからない。

author="Chien-Hung Liu and Kung, D.C. and Pei Hsia and Chih-Tung Hsu",
title="{Object-Based Data Flow Testing of Web Applications}",
booktitle="APAQS'00",
publisher="IEEE Computer Society",
pages="7--16",
year="2000"

コメント追加

投稿者 kw : 2008/05/27 0:21:48 JST #

Java プログラムを対象に参照の immutability を Javari の型システムに基づいて推論するアルゴリズムを考えて Javarifier というツールに実装しました、という論文。

author="Jaime Quinonez and Matthew S. Tschantz and Michael D. Ernst",
title="{Inference of reference immutability}",
booktitle="ECOOP 2008",
publisher="Springer",
volume="5142",
series="LNCS",
pages="616--641",
year="2008"

コメント追加

投稿者 kw : 2008/05/16 0:28:01 JST #