1

の間の値をcomp_value取得します1 .. 100。さらに、period(同じ範囲の) 入力変数があります。comp_values:[1..period]との 2 つの範囲をカバーする必要があり[period+1 .. 100]ます。このようなもの：

cover some_event_e is {
        item period using no_collect;
        item comp_val using no_collect,
            ranges = {
                range([1..period], "Smaller_than_period");
                range([period+1..100], "Bigger_than_period");
            };
    };

(範囲内に変数を書き込むことができないため、コードはコンパイル エラーを引き起こします)。カバレッジを収集する方法はありますか？ご協力ありがとうございました。

4

1 に答える 1

2

範囲は定数でなければなりません。

しかし、私があなたの意図を正しく理解していれば、次のような新しい項目を定義できます

cover some_event_e is {
  item smaller_or_equal_than_period: bool = (comp_val in [1..period]) using 
    ignore = (not smaller_or_equal_than_period);
  item greater_than_period: bool = (comp_val in [(min(100,period+1)..100]) using
    ignore = (not greater_than_period); 
};

期間が常に [1..100] であると仮定します。

于 2014-11-17T08:52:55.710 に答える