バグのないコードを作るにはオープンソースツールが役立つ、Microsoft Researchが紹介 - @IT

tsukuru.prelol.com

Microsoft Researchはバグのないコードの迅速な作成を支援する目的で取り組んでいる4つのオープンソースプロジェクトの概要を紹介した。並列プログラムのバグを検出したり、クラウド向けにREST APIのファジングを助けたりするプロジェクトだ。

この記事は会員限定です。会員登録（無料）すると全てご覧いただけます。

　Microsoft Researchは2021年5月26日（米国時間）、開発者がバグのないコードを迅速に作成できるよう支援する4つのオープンソースプロジェクトを公式ブログで紹介した。開発者向けカンファレンス「Microsoft Build」（2021年5月25〜27日に開催）で発表したプロジェクトだ。

　Microsoft Researchは「開発者にとって、エラーのないコードを迅速に書かなければならないというプレッシャーが、これまで以上に高まっている。われわれが使用する技術や、構築するソリューションはますます複雑になっており、バグは見つけにくくなり、修正に長い時間がかかるようになっている」との認識を示す。

　今回発表したプロジェクトは、「さまざまな方法によって開発者の作業を自動化することで、バグの発見と修正を容易にし、コードの正確性を高め、エラーの発生を防止する」と述べている。