91吃瓜网

アカデミックプログラム | 静的解析ツールのコベリテ

コベリティの开発ツールのプラットフォームは现在も拡大を続けていますが、その基础的な技术は、1998年から2002年にかけて米国カリフォルニア州パロアルト市にあるスタンフォード大学のコンピュータシステム研究所で开発されました。スタンフォードの研究者グループは、オープンソース?プロジェクトの何千という致命的欠陥を検出する能力を备えた初のシステムを2003年に発表して间もなく、このソフトウェアの商品化に乗り出し、现在のコベリティを设立しました。

こういった设立の経纬からも、弊社は、アカデミックなコミュニティに深く根ざしています。また、教育机関での研究が当社の製品や市场にもたらす価値を深く理解しており、次世代のエンジニアたちに大きな期待を寄せています。だからこそコベリティはアカデミック?ソフトウェア?プログラムを通じて、全国の大学が授业の一环あるいは非営利の学术研究というアカデミックな场でソフトウェア?コードの开発、解析、构筑、テストを行うにあたり、当社の优れたソースコード解析ソフトウェアを利用できるようにしているのです。

现在のプログラム参加大学のリストはこちらをクリックしてください。

参加资格があるのは?

  • プログラムに応募できるのは、北米、西ヨーロッパ、または日本にある、学位授与を行う认可のされた学术机関であり、ソースコードの开発または解析に関连したカリキュラム、もしくは研究を行っていることが条件です。
  • 政府出资による研究、开発センター、政府の学术机関が运営する研究所または施设は応募できません。
  • 当プログラムが第一に焦点を当てているのは、コンピュータ工学およびコンピュータサイエンスという学科です。その他の大学研究所、センター、机関の参加については、适宜検讨となります。
     

プログラムへの参加费用は?

プログラムへの参加费用(「会费」)は1年间につき240ドルです。これにより、参加学术机関(「参加団体」)には下记のものが提供されます。

(1) 最新バージョンのソフトウェア?ライセンス(ノードロック)を最高5件(研究目的)。

(2) 最新バージョンのソフトウェアのユーザー?ライセンスを最高20件(授業用)。
 

利用可能なソフトウェア製品は?

このプログラムでは现在、が利用可能です。
 

応募方法は?

アカデミック?ソフトウェア?プログラムによるコベリティのソフトウェアの注文手顺については、下记の説明を参考にしてください。

  1. に必要事項を記入します。Primary Technical Liaison(主要テクニカル窓口)として、コベリティのソフトウェアのインストールと保守の責任者を指定してください。
  2. Academic Product License Agreement(「APLA」)を再検討してくださいというメッセージが表示される場合があります。APLAには参加団体の名称、所在地、連絡先が記入され、参加者の正式な代表者から承認を受けている必要があります。APLAの電子コピーは、参加者がAPLAを受領した際に提出したEメールアドレスに送付されます。
  3. お支払方法を选択してください。クレジットカードでのお支払いの场合は、カード情报をオンラインで送信してください。または、プログラム実施年の残余の会费全额に対する発注书をAcademicProgram@coverity.comに送付していただき、请求书をお受け取りになってからお支払いいただくこともできます。
  4. 础笔尝础が受理され、の必要项目がすべて记入されており、さらにプログラムの方针に沿っていれば、ソフトウェアおよびライセンスキーのダウンロード方法を説明した贰メールが送られてきます。
  5. 会费のお支払いは、プログラム参加より前に行ってください。次年度以降の年会费については、各プログラム年の6月30日までに纳めてください。
     

年会费の更新方法は?

  1. に必要事項を記入します。「License Selection」の下にある「Renewal」欄へのチェックと、APLA Reference Numberを記入してあることをご確認ください。APLA Reference Numberはダウンロードの案内とともにメールで送付されます。
  2. お支払方法を选択してください。クレジットカードでのお支払いの场合は、カード情报をオンラインで送信してください。または、プログラム実施年の残余の1年分会费全额に対する発注书をAcademicProgram@coverity.comに送付していただき、请求书をお受け取りになってからお支払いいただくこともできます。
  3. &苍产蝉辫;の必要项目がすべて记入されており、さらにプログラムの方针に沿っていれば、ライセンスキーのダウンロード方法を説明した贰メールが送られてきます。
  4. 年会费は、プログラムへの参加が开始された有効日を起点として、毎年6月30日までに纳めてください。