#testing
2 件
ros
開発中ロボットの実行時検証 — 正しさでなく 4 層で見る
仕様が固まっていないコードの watchdog は「正しさ」を検証できない。普遍的不変条件・宣言済み contract・sim 真値 diff・golden run 回帰の 4 層に分解する
ros2verificationwatchdogsim
tools
編集→配置→実行→観察の自動ループの一般名
開発中の「編集・配置・実行・監視・記録・次の変更」を自動で回す構成に対応する既存用語。inner dev loop、SIL/HIL、runtime monitoring、experiment tracking、OFAT、autonomous experimentation
toolsdevopsterminology