問題タブ [equivalence-classes]

こんにちは、私はソフトウェア テスト モジュールを受講していて、もうすぐ始まる最終試験に向けて勉強しようとしていますが、そのいくつかについて理解するのに少し問題があります。昨年尋ねられた質問は

大規模な活動家組織は、会議を呼び出す目的で電子メール システムにアドオンを使用しています。その権限を与えられたメンバーは、会議を呼び出すために、件名に次のデータを含む電子メールを送信するだけで済みます。

日付 +

期間 +

ロケーション +

1{議題}4

日付は dd/MMM/yy の形式で、期間は 1 時間から 4 時間までの整数である必要があります。(開始時刻は常に同じであると仮定します。) 場所は次のいずれかである必要があります。

リムリック、ゴールウェイ、コーク、ダブリン - 大文字と小文字は区別されません。議題項目はそれぞれ 12 文字以内のアルファベットである必要がありますが、議題は空白であってはなりません。同等クラスと境界値分析を使用して、このシステムのテスト ケースを設計する必要があります。設計は次のように文書化する必要があります。

(i) 作成する等価クラスごとに、そのクラス番号、その説明、有効/無効かどうかを指定し、具体的な例を提供する必要があります

たとえば、dd/MMM/yy の日付のクラスをどのように作成しますか? 同等クラスの説明もよろしくお願いします!!

最初にキーワードを検索し、次に別のカテゴリの別のフィルターを選択して検索を絞り込む高度な検索機能があります。これらは複数選択チェック ボックスです。

例: 「車」を探しているとします。これを検索ボックスに入力して Enter キーを押すと、幅広い結果が得られます。ここで、検索を絞り込む必要があります。たとえば、メーカー カテゴリの下で「ホンダ」と「トヨタ」のチェック ボックスをオンにします。次に、国カテゴリで「米国」を選択すると、米国の下にあるすべての州が一覧表示されます。次に「ワシントン」を選択できます ワシントンの都市などに絞り込むことができます....

そのため、考えられるすべてのフィルター選択の結果をテストすることは非常に困難です。そこで、ECP 設計パターンをこのテストに適用できるかどうか疑問に思っていました。テストを最適化するにはどうすればよいですか? どの例も非常に役立ちます。

owl:equivalentClass のドメインと範囲は、答えを見つけることができなかったいくつかの疑問を提起します。

まず、OWL 自体では、owl:equivalentClass のドメインと範囲が rdfs:Class に設定されます。このドメインと範囲は、仕様 ( http://www.w3.org/TR/owl-ref/#equivalentClass-def ) で指定されている定義と多少衝突しているように見えます。

「そのようなクラス公理[つまり、owl:equivalentClass]の意味は、関係する2つのクラス記述が同じクラス拡張を持っているということです(つまり、両方のクラス拡張がまったく同じ個体のセットを含んでいます)。」

これは、rdfs:Class ではなく owl:Class のより具体的なドメインと範囲を示唆しています (インスタンスではなく個人が言及されていることを考慮して)。

Jena の推論エンジンを使用して、OWL 推論規則に次の興味深い要素が含まれていることに気付きました。 other は互いに owl:equivalentClass でなければなりません。

したがって、基本的に、ここではドメインと範囲が owl:Class に制限されていますが、これは理解できるようです。ただし、そのドメインと範囲がそのように狭められる場合、(2) のルールも、owl:equivalentClass 関係を伴うために、両方のリソースが owl:Class 型である必要があることを示すように限定されるべきではありませんか? 結局のところ、rdfs:subClassOf 関係は rdfs:Classes で完全にうまく機能します。互いのサブクラスであるクラスが rdfs:Classes である場合、(1) で owl:equivalentClass の定義が絞り込まれている場合、ルールは rdfs:Classes が実際には owl:Classes であることをすぐに暗示するべきではありません。

owl:equivalentClass の正しい解釈が何であるかについての答えを知っている人はいますか?

前もって感謝します！

解決方法がわからない問題がいくつかあります。同値関係は、再帰的、対称的、反対称的、および推移的なプロパティに対応する関係セットであることを知っています。

1) アルファベット Σ = {a,b} を考えます。同値関係 RI がちょうど 1 つの同値類をもつ言語 L は?

2) L をアルファベット上の言語 (必ずしも正規ではない) とする。空文字列 [ε] を含む同値類が {ε} でない場合、それは無限であることを示してください。

3) L = {x ∈ Σ: |na(x) = nb(x)} と記述されるアルファベット Σ = {a,b} 上の言語 L を考えます。na(x) = a'sin x の数を思い出してください。

(1) na(x) - nb(x) = na(y) - nb(y) ならば xRIy であることを示せ。

(2) na(x) - nb(x) = na(y) - nb(y) でない場合、x と y は L 識別可能であることを示します。

(3) RI の等価クラスをすべて記述してください。