Property |
Value |
dbo:abstract
|
- コベリティ (Coverity) は、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。 もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた。日本でも2005年に代理店を通じて販売を開始し、2007年12月から日本支社を設立し直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し、現在は同社が開発・販売している。 2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた。 Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。 また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である。 (ja)
- コベリティ (Coverity) は、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。 もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた。日本でも2005年に代理店を通じて販売を開始し、2007年12月から日本支社を設立し直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し、現在は同社が開発・販売している。 2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた。 Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。 また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である。 (ja)
|
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 3039 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-ja:wikiPageUsesTemplate
| |
prop-ja:公式サイト
| |
prop-ja:名称
|
- Coverity (ja)
- Coverity (ja)
|
prop-ja:種別
| |
prop-ja:開発元
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- コベリティ (Coverity) は、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。 もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた。日本でも2005年に代理店を通じて販売を開始し、2007年12月から日本支社を設立し直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し、現在は同社が開発・販売している。 2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた。 Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。 また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である。 (ja)
- コベリティ (Coverity) は、シノプシスが開発・販売しているソフトウェア開発において静的コード解析を行うソフトウェアである。ソフトウェア開発の品質・生産性向上を目的としている。 もともとはスタンフォード大学の研究室からスピンアウトして2002年に設立、2003年に創業したCoverity, Inc.が開発し販売していた。日本でも2005年に代理店を通じて販売を開始し、2007年12月から日本支社を設立し直販していた。2014年2月19日にSynopsys, Inc.がCoverity, Inc.を買収し、現在は同社が開発・販売している。 2012年時点で、アメリカの組込み静的解析ツール市場において、35.8%と最大のシェアを誇っていた。 Coverityは、ビルドのプロセスを監視しコールグラフ、制御フローグラフなどの中間モデルを生成した上で、実行可能なパスを網羅的にチェックするというアプローチを採用している。NULLポインタの間接参照や、リソースリーク、デッドロックなどの発生条件が複雑で、関数間をまたがるようなランタイムエラーを検出することが可能である。また、その解析技術にはSATソルバが実装されている。 また、他の静的コード解析ツールと比較して、誤検知率が低いことも特徴である。 (ja)
|
rdfs:label
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:homepage
| |
foaf:isPrimaryTopicOf
| |
foaf:name
|
- Coverity (ja)
- Coverity (ja)
|
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |