SHOEISHA iD

※旧SEメンバーシップ会員の方は、同じ登録情報(メールアドレス&パスワード)でログインいただけます

CodeZine(コードジン) ProductZine

CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。

AI時代のソフトウェアテスト技法活用法

状態遷移表はなぜ必要か?「制約」から見える原因結果グラフ法の真価と、論理関係との境界線

AI時代のソフトウェアテスト技法活用法 後編

 前回の記事では、AIとテスト設計技法を組み合わせることで、レビューポイントを絞り込み、その手間を大きく減らす考え方をご紹介しました。原因結果グラフ法はテスト数を劇的に減らせる強力な技法ですが、実務で使いこなす鍵は「制約」の扱いにあります。後編となる本稿では、状態遷移図があるのになぜテスト技術者は状態遷移表も作成するのかという素朴な疑問を出発点に、原因結果グラフ法における「論理関係」と「制約関係」の役割分担を解説します。One制約・MASK制約といった代表的な制約を身近なGUIの例とともに整理し、AIに制約を含むグラフを描かせる実践的な手順もご紹介します。論理とアーキテクチャの境界を見極めることが、AI時代のコードのスパゲッティ化を防ぐ鍵になります。

※印刷用ページ表示機能はメンバーのみが利用可能です(登録無料)。

この記事は参考になりましたか?

AI時代のソフトウェアテスト技法活用法連載記事一覧
この記事の著者

林 祥一(オーティファイ株式会社)(ハヤシ ショウイチ)

 NTTソフトウェア、富士ゼロックスのシステム技術研究所等を経て、2025年に現職のオーティファイ株式会社に入社。オブジェクト指向言語拡張によるマルチエージェントシステムやCSCWの研究などを起点に、ITアーキテクト兼商品企画を中心にキャリアを築く。エンタープライズ領域における研究、商品企画、ビジネス分析、要求開発、設計、開発、プロモーション、ソリューション営業のほぼ全工程に従事。2010年にソフトウェアテスト技...

※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です

この記事は参考になりましたか?

この記事をシェア

CodeZine(コードジン)
https://codezine.jp/article/detail/28939 2026/08/25 09:00

イベント

CodeZine編集部では、現場で活躍するデベロッパーをスターにするためのカンファレンス「Developers Summit」や、エンジニアの生きざまをブーストするためのイベント「Developers Boost」など、さまざまなカンファレンスを企画・運営しています。

新規会員登録無料のご案内

  • ・全ての過去記事が閲覧できます
  • ・会員限定メルマガを受信できます

メールバックナンバー