この例では,設計エラー検出解析を使用して,モデル内の整数オーバーフローエラーを検出する方法を示します。万博1manbetx仿真软件®设计校验™は,結果として整数オーバーフローに至る可能性のあるモデル構造を特定し,シミュレーション中に整数オーバーフローが発生することがないと証明するか,または,整数オーバーフローエラーを示すテストケースを生成するかのいずれかを行います。

モデル内で配列の範囲外へのアクセスエラーを検出

この例は,sldvexCommonCausesOfDeadLogicモデルを使用して,デッドロジックの原因となっている可能性のある個所を分離する方法を示します。デッドロジックの検出では、モデル要素が非アクティブで残される原因となる、モデル内の到達不可能なオブジェクティブを見つけます。