InfoQ ホームページ Verification に関するすべてのコンテンツ
ニュース
RSSフィード-
実車を使用したリモートソフトウェアの実証と妥当性確認の実装
Bosch は、シミュレートされた車ではなく、実際の車を使って自動回帰テストとユーザテストを行っている。目的は、テストエンジニアとユーザの両方の観点で、ソフトウェアを可能な限り迅速にテストすることだ。車にはリモートでアクセスが可能で、チームメンバは乗車せずに行うことができる。
-
依存型言語Idrisが1.0に
アルファ相当になったことを報告して数ヵ月、Idrisの作者で英国セント・アンドルーズ大学のコンピュータサイエンス講師であるEdwin Brady氏が、Idris 1.0のリリースを発表した。
-
Idrisが間もなくバージョン1.0に
依存型(dependent type)ベース言語のIdrisが間もなくバージョン0.99に到達する。Idrisチームによると，1.00のアルファ版として見ることができるものだ。Idris 1.0のリリースは2017年2月頃と予想される。
-
FacebookとTwitterがApple tvOS用SDKをリリース，オンボーディングとアナリティクスをサポート
FacebookとTwitterがApple tvOS用のSDKをリリースした。オンボーディングとユーザ認証，アナリティクスのサポートを提供する。
-
European Space Agency と Leroの提携
2011年8月18日にアナウンスされたように、Irish Software Engineering Research Center (Lero)は、European Space Agency (ESA)と研究プロジェクトために、30万ユーロの契約を結んだ。研究活動の目標は、将来の宇宙飛行のためのソリューション フレームワークを提供することである。