【JaSST】富士ゼロックス，MDDへのモデル検査の適用事例を発表富士ゼロックスは，2007年1月30日から開催されたカンファレンス「ソフトウェアテストシンポジウム 2007（JaSST’07）」において，UMLを使ったモデル駆動開発（MDD）に，モデル検査（model checking）技術を適用した事例を発表した。同社は，複合機の組み込みソフトウエア開発に，MDDの一種である「Executable UML（xUML）」を使っている。モデル検査を行うには，モデル検査ツール専用の言語でモデルを作成・入力する必要があるが，同社はUMLモデルからモデル検査用のモデルを自動生成するツールを独自に開発，開発プロセスのより上流の段階でバグを見つけられるようにした。同社はこのプロセスを「Early Bird」と呼んでいる。 富士ゼロックスは，2006年9月に開催された「第25回 ソフトウェア品質シンポジウム」にて，複合機の組み込みソフトウエアへのモデル検査の適用事例
