自然言語要件をテスト可能な仕様に変換して、より証拠に基づいたインテリジェントな支援開発を実現します。
要件を仕様に書き込む
コードを記述する前に、役割、権限、アセットの転送、および主要な不変条件を明確にします。候補コードは、プロジェクトのコンテキストから分離されないように、コンパイラー、依存関係、およびターゲット環境にバインドする必要があります。
テストでフィードバックを生成しましょう
単体テスト、属性テスト、ファズテスト、静的分析はそれぞれ異なる問題をカバーします。障害パスと修正の推奨事項を残りの問題とともにエンジニアに渡すと、レビュー可能な反復を完了するのに役立ちます。
エンジニアリング責任を維持する
インテリジェントなアシスタント ツールは、情報を整理し、問題を特定するのに役立ちます。導入の最終決定には、必要に応じてエンジニアリング レビュー、テスト証拠、および独立した監査を組み込む必要があります。
