JUnit 4.8 の新機能 Categories とは - A Memorandum
2009年12月に JUnit 4.8 がリリースされました。このリリースではテストケースにカテゴリを付与することで、実施するテストを選択できるようになっています。カテゴリのために以下の2つのクラスが追加されています。 org.junit.experimental.categories.Categories org.junit.experimental.categories.Category Categories とは Categories は、テストスイートによるテストケースの実行指定を細かく制御できる仕組みです。テスト対象のメソッドやクラスをカテゴリにてマークすることで、テストスイートから実行する対象を細かく制御できるようになります。 Categories の使い方 カテゴリを使用するには、インターフェース、またはスーパークラスにてカテゴリのマーカーを作成します。例えばテストケース毎に
富士通研究所がNASAのJavaプログラム検証ツールを拡張、数万行のWebアプリの自動検証に成功 | OSDN Magazine
富士通研究所（本社：川崎市）と同社の米国法人は2010年1月12日、オープンソースのJavaプログラム検証ツール「Java PathFinder」を拡張し、文字列型データの自動検証に対応させる技術を開発したと発表した。従来の手作業のテストに比べて検証の網羅性を大幅に向上できるという。 「Java PathFinder」は、ソフトウェアが正しく開発されたかを確認するプログラムの検証ツールで、米航空宇宙局（NASA）が開発した。火星探査機の制御システムの検証などに使われ、2005年にオープンソース化された。与えられたJavaプログラムのソースコードに対して具体的なテストデータを与えなくても、入力データのさまざまなバリエーションによって引き起こされる動作を自動的に実行する機能（シンボリック実行モード）を備える。 しかし、これまで同機能には数値型のデータしか扱えないという制限があり、業務アプリケー
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IBM Developer
