netail.net

_ [論文]表明のOOPでの利用 ▲

M. Satpathy, N.T. Siebel, D. Rodriguez:Assertions in Object Oriented Software Maintenance: Analysis and a Case Study.Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), pp.124-133, Chicago, September 2004.

オブジェクト指向プログラムで，アサーションがどのように使われているかを調査し，またアサーションがソフトウェアの変更のときにどのように変わるか（リファクタリング時にコピーされるなど）を調べた論文．

基本的には，クラス内の特性として，

・クラス不変表明

・メソッドの事前条件としての入力値の範囲，複数の入力の一貫性，オブジェクトの状態の検査

・事後条件としての，戻り値の範囲，戻り値と引数の関係，オブジェクトの状態（副作用の禁止など含む）の検査

クラス間の関係として，

・派生クラスに対する Liskov の置換原則

・オブジェクト間の相互参照関係のチェック

そのほか，

・バグ調査での利用

・システム間のインタフェースでの入出力値が正しいか

・設計と実装の対応が取れているかなど．

これらを踏まえた上で，リファクタリング作業時に（できれば自動で）適切な assert 文のコピーや移動をしたいらしい．