DSO.ai
もっと詳しく知る →
アカデミックプログラム | 静的解析ツールのコベリテ
コベリティの開発ツールのプラットフォームは現在も拡大を続けていますが、その基礎的な技術は、1998年から2002年にかけて米国カリフォルニア州パロアルト市にあるスタンフォード大学のコンピュータシステム研究所で開発されました。スタンフォードの研究者グループは、オープンソース・プロジェクトの何千という致命的欠陥を検出する能力を備えた初のシステムを2003年に発表して間もなく、このソフトウェアの商品化に乗り出し、現在のコベリティを設立しました。
こういった設立の経緯からも、弊社は、アカデミックなコミュニティに深く根ざしています。また、教育機関での研究が当社の製品や市場にもたらす価値を深く理解しており、次世代のエンジニアたちに大きな期待を寄せています。だからこそコベリティはアカデミック・ソフトウェア・プログラムを通じて、全国の大学が授業の一環あるいは非営利の学術研究というアカデミックな場でソフトウェア・コードの開発、解析、構築、テストを行うにあたり、当社の優れたソースコード解析ソフトウェアを利用できるようにしているのです。
現在のプログラム参加大学のリストはこちらをクリックしてください。
参加資格があるのは？
- プログラムに応募できるのは、北米、西ヨーロッパ、または日本にある、学位授与を行う認可のされた学術機関であり、ソースコードの開発または解析に関連したカリキュラム、もしくは研究を行っていることが条件です。
- 政府出資による研究、開発センター、政府の学術機関が運営する研究所または施設は応募できません。
- 当プログラムが第一に焦点を当てているのは、コンピュータ工学およびコンピュータサイエンスという学科です。その他の大学研究所、センター、機関の参加については、適宜検討となります。
プログラムへの参加費用は？
プログラムへの参加費用（「会費」）は1年間につき240ドルです。これにより、参加学術機関（「参加団体」）には下記のものが提供されます。
(1) 最新バージョンのソフトウェア・ライセンス（ノードロック）を最高5件（研究目的）。
(2) 最新バージョンのソフトウェアのユーザー・ライセンスを最高20件（授業用）。
利用可能なソフトウェア製品は？
このプログラムでは現在、Coverity Quality Advisorが利用可能です。
応募方法は？
アカデミック・ソフトウェア・プログラムによるコベリティのソフトウェアの注文手順については、下記の説明を参考にしてください。
- Academic Software Order Form （英語）に必要事項を記入します。Primary Technical Liaison（主要テクニカル窓口）として、コベリティのソフトウェアのインストールと保守の責任者を指定してください。
- Academic Product License Agreement（「APLA」）を再検討してくださいというメッセージが表示される場合があります。APLAには参加団体の名称、所在地、連絡先が記入され、参加者の正式な代表者から承認を受けている必要があります。APLAの電子コピーは、参加者がAPLAを受領した際に提出したEメールアドレスに送付されます。
- お支払方法を選択してください。クレジットカードでのお支払いの場合は、カード情報をオンラインで送信してください。または、プログラム実施年の残余の会費全額に対する発注書をAcademicProgram@coverity.comに送付していただき、請求書をお受け取りになってからお支払いいただくこともできます。
- APLAが受理され、Academic Software Order Form （英語）の必要項目がすべて記入されており、さらにプログラムの方針に沿っていれば、ソフトウェアおよびライセンスキーのダウンロード方法を説明したEメールが送られてきます。
- 会費のお支払いは、プログラム参加より前に行ってください。次年度以降の年会費については、各プログラム年の6月30日までに納めてください。
年会費の更新方法は？
- Academic Software Order Form （英語）に必要事項を記入します。「License Selection」の下にある「Renewal」欄へのチェックと、APLA Reference Numberを記入してあることをご確認ください。APLA Reference Numberはダウンロードの案内とともにメールで送付されます。
- お支払方法を選択してください。クレジットカードでのお支払いの場合は、カード情報をオンラインで送信してください。または、プログラム実施年の残余の1年分会費全額に対する発注書をAcademicProgram@coverity.comに送付していただき、請求書をお受け取りになってからお支払いいただくこともできます。
- Academic Software Order Form （英語） の必要項目がすべて記入されており、さらにプログラムの方針に沿っていれば、ライセンスキーのダウンロード方法を説明したEメールが送られてきます。
- 年会費は、プログラムへの参加が開始された有効日を起点として、毎年6月30日までに納めてください。