BrainBuilder.Build() 此前只做正向校验——边指向的态是否已声明(RequireState 的同款关切);反向从不检查。一个已声明却没有任何出边的非终态,会让敌人进去 就永久停在那里,且全程零报错。计划里点名的风险点是 BossFragments.PhaseTransition: 它按设计不自带出边,出口全靠调用方补挂,漏一条就把 Boss 锁死。 做法:AiState 加 IsTerminal,StateBuilder 加 .Terminal() 显式标记, AiStateFragments.Terminal() 自带该标记;Build() 对「非终态且无出口」抛异常。 「有出口」的判定比计划原话严一档,两点都是照 AiRuntime 的实际行为定的: - 自转换不算——Switch 对 Target == 当前态直接 return false,根本出不去; - 全局转换不算——全局事件边要外部推信号才触发,不是自主出口。把它算作出口, 等于让「只有死了才出得去」的死角通过校验,而那恰是本校验要暴露的东西。 校验放在 Build() 而非各生产入口:生产的完整图装配点是 AiScript.GetOrBuildGraph 与 AiRecipeSO 两处,放 Build() 能让将来新增的入口默认受保护。代价是模块单测 需要一条别的路——单个 IUnawareModule / IEngagementModule 按设计只声明自己的态, 升级边由 PerceptionSkeleton 事后挂,单独构建时的死角是正常中间态而非缺陷。 为此加 BuildPartial():跳过本项校验,其余照旧。 测试侧按语义分两类处理,没有一刀切: - 概念上确实是终态的(Dead)标 .Terminal(),保留 Build() 的全量校验; - 隔离验证单个模块/片段的部分图改用 BuildPartial(); - AiScriptTests / AiDefinitionRegistryTests 的夹具经 GetOrBuildGraph 走生产 Build(),给桩汇态补了回边——这两条本就该验完整图。 - 断言 Build() 因别的原因抛异常的用例原样保留。 PerceptionSkeleton 与嘲风图建的都是完整图,无需改动即通过——这本身就是覆盖。 验证:编译 0 错;EditMode 269/269(264 + 新增 5)。 加校验后曾有 49 条既有测试变红,全部为上述两类夹具,逐条按语义修正后转绿。 变异验证:注释掉 ChaoFengAi 里 PhaseTx 的 txDone 出边后,ChaoFengAiTests 8 条全部变红,报错精确点名 'PhaseTransition';还原后复验 269/269。 本改动之前,同样的删除是零报错的——Boss 会静默锁死在过渡态, 这正是本校验存在的理由。 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
119 lines
3.8 KiB
C#
119 lines
3.8 KiB
C#
using NUnit.Framework;
|
|
using BaseGames.AI;
|
|
|
|
namespace BaseGames.Tests.EditMode.AI
|
|
{
|
|
public class BrainBuilderTests
|
|
{
|
|
static AiGraph BuildSample()
|
|
{
|
|
var b = new BrainBuilder();
|
|
b.Entry("Patrol");
|
|
b.Global().To("Dead").OnEvent(AiSignal.Died);
|
|
b.State("Patrol")
|
|
.To("Chase").When(c => c.Sensor.SeesPlayer(), "SeesPlayer");
|
|
b.State("Chase")
|
|
.To("Patrol").When(c => c.Sensor.LostFor(2f), "LostFor(2s)");
|
|
b.State("Dead").Terminal();
|
|
return b.Build();
|
|
}
|
|
|
|
[Test]
|
|
public void Build_SetsEntryState()
|
|
{
|
|
Assert.AreEqual("Patrol", BuildSample().EntryState);
|
|
}
|
|
|
|
[Test]
|
|
public void Build_RegistersAllStates()
|
|
{
|
|
var g = BuildSample();
|
|
CollectionAssert.AreEquivalent(
|
|
new[] { "Patrol", "Chase", "Dead" },
|
|
System.Linq.Enumerable.ToList(g.StateNames));
|
|
}
|
|
|
|
[Test]
|
|
public void Build_UsesExplicitConditionLabel()
|
|
{
|
|
var g = BuildSample();
|
|
var t = g.GetState("Patrol").Transitions[0];
|
|
Assert.AreEqual("SeesPlayer", t.Label);
|
|
}
|
|
|
|
[Test]
|
|
public void Build_UnlabeledCondition_FallsBackToCond()
|
|
{
|
|
var b = new BrainBuilder();
|
|
b.Entry("A");
|
|
b.State("A").To("B").When(c => true);
|
|
b.State("B");
|
|
var g = b.BuildPartial(); // B 是桩汇态,本例只验标签回退
|
|
Assert.AreEqual("cond", g.GetState("A").Transitions[0].Label);
|
|
}
|
|
|
|
[Test]
|
|
public void Build_GlobalTransitionsAreSeparate()
|
|
{
|
|
var g = BuildSample();
|
|
Assert.AreEqual(1, g.GlobalTransitions.Count);
|
|
Assert.AreEqual("Dead", g.GlobalTransitions[0].Target);
|
|
Assert.AreEqual(AiSignal.Died, g.GlobalTransitions[0].Event);
|
|
}
|
|
|
|
[Test]
|
|
public void Build_UnknownTransitionTarget_Throws()
|
|
{
|
|
var b = new BrainBuilder();
|
|
b.Entry("A");
|
|
b.State("A").To("Nonexistent").When(c => true);
|
|
Assert.Throws<System.InvalidOperationException>(() => b.Build());
|
|
}
|
|
|
|
[Test]
|
|
public void RequireState_Throws_WhenStateNotDeclared()
|
|
{
|
|
var b = new BrainBuilder();
|
|
var ex = Assert.Throws<System.InvalidOperationException>(() => b.RequireState("Ghost"));
|
|
StringAssert.Contains("Ghost", ex.Message);
|
|
}
|
|
|
|
[Test]
|
|
public void RequireState_Passes_WhenStateDeclared()
|
|
{
|
|
var b = new BrainBuilder();
|
|
b.State("Real");
|
|
Assert.DoesNotThrow(() => b.RequireState("Real"));
|
|
}
|
|
|
|
[Test]
|
|
public void DeclareState_Throws_OnDuplicateName()
|
|
{
|
|
var b = new BrainBuilder();
|
|
b.DeclareState("Dup");
|
|
var ex = Assert.Throws<System.InvalidOperationException>(() => b.DeclareState("Dup"));
|
|
StringAssert.Contains("Dup", ex.Message);
|
|
}
|
|
|
|
[Test]
|
|
public void DeclareState_ReturnsUsableBuilder_OnFirstDeclare()
|
|
{
|
|
var b = new BrainBuilder();
|
|
b.Entry("A");
|
|
b.DeclareState("A").To("B").When(c => true, "go");
|
|
b.DeclareState("B");
|
|
Assert.DoesNotThrow(() => b.BuildPartial()); // 只验 builder 可用,B 是桩汇态
|
|
}
|
|
|
|
[Test]
|
|
public void State_StaysLenient_ForAttachingToDeclaredState()
|
|
{
|
|
// State() 仍是"有则取"——骨架要给模块已声明的态挂升级边,靠的就是这个。
|
|
var b = new BrainBuilder();
|
|
b.Entry("A");
|
|
b.DeclareState("A");
|
|
Assert.DoesNotThrow(() => b.State("A").To("A").When(c => false, "noop"));
|
|
}
|
|
}
|
|
}
|