PVS-StudioおよびGOST。 KOMPAS-Expertアプリケーションはどのようにして図面をチェックしましたか

最近、KOMPAS-3Dで開発された図面およびモデルのエラーを検索するための新しいKOMPAS-Expertアプリケーションをリリースしました。 そのアイデアは、PVS-Studioコードアナライザーでした。 プログラマーとエンジニア向けの製品で一般的なこと、および設計エラーの分類方法については、Oleg Volkov氏は述べています。



かつて、Viva64に触発されてC ++コードをテストしました(現在、この美しい製品はPVS-Studioと呼ばれています)。 論理/非論理、コンストラクタ/デストラクタ、変数比較などのさまざまなルールでコード分析を実行します。 KOMPAS-3Dに同様のイデオロギーを適用するというアイデアがありました。出力で、特定のルールを使用して結果(図面または3Dモデル)を確認します。 さらに、他のCADでも同様のチェックが実装されています。



一般に、IT開発インフラストラクチャは、エンジニアリング設計よりもはるかに確立されています。 コードの受け渡し方法、検証方法、バージョン管理方法、実行するタイミングとチェック(SWEBOOKが役立つ)について詳しく説明します。 このアプローチをCADの設計者の作業に適用してみませんか?



かつてはコンピューターが大きく、労働時間が高かったため、プログラマーの間ではコードを書く段階でミスをしないことが慣習であったため、初めて合格しました。 ここで再度コンパイルします。大量のエラーが生成され、修正され、再度実行されます。 だからデザイナーの仕事で-初めて完璧な絵を取得しようとしないでください。 署名を取得する前に、確認、修正、再確認してください。 図面の設計についてではなく、製品について考える必要があります。「エキスパート」が役立ちます。



考えられるすべてのエラー(ドキュメントの欠陥)を知識の領域に分割し、特定のチェックを「添付」し始めました。 現在、プロジェクトは140以上のチェックを行っています。



設計ドキュメントの標準(GOST / ESKD)



最初に実装されたのは設計チェックでした。 「エキスパート」の作業を開始し、競合他社が現在持っているソリューションを自然に検討しました。 基本的に、同様のシステムは、デザインスタイル(ラインスタイル、レイヤーの名前と色、矢印の種類、フォントスタイルなど)の標準チェックを実行します。 私たちのアプリケーションでは、KOMPAS-3Dは常にその近接性によって区別されていたため、さらに標準に進んで確認することにしました。 アプリケーション開発者は、この伝統をサポートし、ESKD標準に基づいた本格的なチェックを行うことにしました。



特定の標準への準拠の検証は、この標準の規範を規定しています。 文書に標準に関連する要素がある場合、それらの適合性がチェックされます。たとえば、寸法、スタイル、最大偏差の設定、資格、粗さの設定、溶接記号などです。 規格への参照は、検査の参照として提供されます。 TechExpertのWebサイト(http://www.cntd.ru/)と連携しています。このWebサイトには、GOST標準の基本的な基盤が配置されています。 ユーザーがKOMPAS-Expertによって表示されるエラーを確認したい場合、特定の標準、つまりチェックが実行された特定のアイテムに切り替えることができます。







デザインチェックでは、テキスト分析の知的化に関する多くの作業が行われています。 設計文書には、技術的な要件が存在する必要があります。 GOSTは、リストする際に特定の順序を推奨します。最初に材料のデータ、次に寸法、表面品質、コーティング、製品のセットアップ、そして特別な動作条件になります。 技術要件の編集の正確性を確認しました。 技術要件で検索されるキーワードのセットがあります。 カバレッジによるキーワードが材料よりも早いことが判明した場合、エラー警告が発行されます。



企業のドキュメント標準



企業は、レイヤーテンプレート、一般的な企業スタイル(AuotCADで構造図を使用したことがある人が理解できる)の、事務処理に関する独自の基準を提示できます。

ユーザーは、利用可能なツールと機器に基づいて、GOSTが推奨する要件を絞り込むこともできます。 これは、サイズとその公差、スレッド、粗さパラメーター(マシンパークで許可されていない場合)、およびドキュメントを印刷するためのシート形式(通常の大きなプロッターがない場合)の両方に適用されます。 このような標準の「ナローイング」は、ユーザー自身がKOMPAS-Expertで設定できます。



利用規約KOMPAS-3D



これは、標準コントロールでは表示されないエラーのクラスであり、「紙」をチェックします。 文書が外見的に基準を満たしている場合でも、ツールの不適切な使用は、デザイナー自身と彼から文書を受け取る専門家の仕事を複雑にします。

これらのルールの1つは、Centerlineスタイルのセグメントではなく、Centerlineオブジェクトです。 パラメーター化を使用すると、オブジェクトはすぐに正しくパラメーター化され、モデルに正しく適合します。 セグメントはこれらのプロパティを持たず、スケッチにパラメトリックモデルをロードするため、ユーザーの作業が複雑になります。



ちなみに、KOMPAS-3Dの古いバージョンには「軸線」オブジェクトはありませんでした。 したがって、そのような強制エラーの重複を避けるために、アーカイブから取得した図面を確認することは理にかなっています。



他の同様のルールは、注釈オブジェクトでの結合性の使用、テキストの自動ソートの組み込み、必要な場合のテキストハイパーリンクの使用です。

まあ、あなたが自分が専門家であると考えるなら、専門的にツールを使用してください。



データ保護



ほとんどすべての企業は、「監視する」ことを主なタスクとする特別なトレーニングを受けています(一部の場所では「特別部門」に集められ、「機関」の代表者です)。 そのため、KOMPAS-Expertは、彼らの専門的な関心のある分野の人々から遠ざかる手助けをします。



意図しない情報漏えいを防ぐために、削除されていない「ドラフト」、隠しオブジェクト、企業の閉じたリソースへのリンクのチェックが提供されます。

たとえば、潜在的な間違いは、ファイル名Cのドキュメントからビューを挿入することです。\\ AAA Department \ BBB Project \ product drawing No.XXXX.cdw(「プロジェクト構造」がありますか?)。





非表示のコンポーネントが検出されました



ずさんなデザインと速いスピードのデザイン



それはすべてプログラマのようなものです。主な問題は、コピーと貼り付けの使用です。 さらに悪いことに、エラーを含む図面からコピーアンドペーストします。 原則として、その著者であるThe Great Guru、および彼のすべての問題に関する能力は疑いの余地がなく、「デフォルトで」彼によって発行されたドキュメントのエラーはチェックされません。



別の問題-彼らはほとんど「手」で描く:サイズではなく、バインディングなしなどで、この「スケッチ」を図面として引き渡す。 ただし、輪郭は収集されず、寸法は再構築されず、引出線は外れます。 しかし、時間通りに「降伏」しました。



技術制御



この方向で、私たちはちょうど動き始めています。 特に、3Dモデルで技術的なチェックを行い、設計を作成する段階で、製造上の潜在的な問題を特定したいと考えています。 このためには、生産の技術を知る必要があります。 たとえば、部品を鋳造で作成する場合、壁の厚さを分析する必要があります。



仕組み



そして実際には、製品がどのように見え、どのように機能するか。 ユーザーの場合、「エキスパート」はWebアプリケーションとして実装されます。 KOMPAS-3Dとは独立して動作しますが、職場での存在が必要です。 開始後、ツールバーと結果ウィンドウを含むページがロードされます。



このドキュメントは、KOMPAS-3Dの「2ウィンドウ」モード(または、より良い場合は2つのモニター)で作業するプロセスですぐに確認できます。 または、ファイルのリストまたはプロジェクトの作業フォルダーを指定して、スキャンを開始します。 8コアプロセッサでは、200のドキュメントのチェックに3〜5分かかります。





検証結果



結果は、グループに分けられたエラーのリストとして表示されます。 特定のエラーを選択すると、検証済みのドキュメントがKOMPAS-3Dで開き、このエラーが検出された場所/オブジェクトが表示されます。 「エキスパート」の推奨に同意すると、ユーザーはすぐに修正を行うことができます。



おわりに



1.アプリケーションのリリース直後に、「統計の取得-確認されたドキュメントの数、特定されたエラーの数」のリクエストを受け取り始めました。 理論的には、エキスパートはそのような評価を行うことができますが、私たちはそれを懲罰的なツールにすることを意図的に拒否し、規範管理での使用を推奨しません。 設計者に、エラーのないドキュメントの確認、修正、提供を許可します。



2. KOMPAS-Expertを使用しても、技術文書をチェックする他の手法/方法がキャンセルされることはありませんか? 企業に存在する(または計画されている)。 さらに、メインの碑文に「Checked」という碑文がある不思議なグラフがあります。 しかし、次回については。



Oleg Volkov、Ascon Applications Division、Programming Divisionのヘッド。



All Articles