出版社内容情報
【解説】
プログラムを好みの形に料理するプログラムスライシング技術を説明した後,ソフトウェアのテスト,デバッグ,改造,統合などへの応用を解説。
【目次】
スタティックスライス・ダイシング・ダイナミックスライシング・その技術のテストへの応用,デバッグへの応用他
目次
第1章 静的プログラムスライシング技術
第2章 動的プログラムスライシング技術
第3章 プログラムスライシング技術のテストへの応用
第4章 プログラムスライシング技術のデバッグへの応用
第5章 手続き型言語におけるアルゴリズミックデバッギング
第6章 クリティカルスライス
第7章 分割検証アルゴリズム
第8章 任意のエラーに対するバグ究明
第9章 プログラムスライシング技術のソフトウェア改造への応用
第10章 プログラムスライシング技術のソフトウェア自動統合への応用