考察モデル検査を用いたテストスイート生成の基本的なアイデアは，望まれるシステムの性質に否定をつけてモデル検査を適用すると，反例として出てくるものは望まれるシステムの性質を検査するためのテストスイートになっているというものである．こうした望…

A trap property is the negation of the original (desired) property for systems. It plays important notion in a techniques of test-cases generation using model checking. The techniques of test-cases generation using model checking consists …