状態のあるコードに対するテストの自動生成 - 西尾泰和のはてなダイアリー

BLUE*アルゴリズムを実装してみたので、せっかくだからテストの自動生成をやってみた。 今回テスト対象にするコードの仕様は 開く、閉じる、書き込む、の3つの操作ができる 開いてないのに書き込んだり閉じたりしたらエラーになる というもの そしてこちらがそれの「バグのある実装」： class Target(object): # bad impl. def __init__(self): self.opened = False self.closed = False def open(self): self.opened = True def write(self): if not self.opened: raise RuntimeError if self.closed: raise RuntimeError def close(self): if not self.opened: rais

[ruicc]

おお

[satzz]

3/13

[dagjmpd]

状態のあるコードに対するテストの自動生成 - 西尾泰和のはてなダイアリー (id:nishiohirokazu / @nishio)

[yujiorama]

DFA の自動推定

[hitode909]

おもしろい

[s-tomo]

開いた状態のまま終了するとリソースが....(そこ論点ちがう)

[t-wada]

BLUE*アルゴリズムの実装によるテストの自動生成。興味深い。

[Ehren]

面白いー