zhengxuan.zhang
70 lines
2.4 KiB
C#
70 lines
2.4 KiB
C#
// Feature: cnc-run-execution, Property 11: 节点执行状态转换正确性
|
|
// Validates: Requirements 6.1, 6.2
|
|
|
|
using System;
|
|
using FsCheck;
|
|
using FsCheck.Fluent;
|
|
using FsCheck.Xunit;
|
|
using XplorePlane.Models;
|
|
using XplorePlane.ViewModels.Cnc;
|
|
using Xunit;
|
|
|
|
namespace XplorePlane.Tests.ViewModels
|
|
{
|
|
public class CncNodeViewModelTests
|
|
{
|
|
[Fact]
|
|
public void SavePosition_SaveImage_CanBeUpdated()
|
|
{
|
|
var node = new SavePositionNode(Guid.NewGuid(), 0, "Pos_0", MotionState.Default, SaveImage: false);
|
|
var vm = new CncNodeViewModel(node, (_, __) => { });
|
|
|
|
vm.SaveImage = true;
|
|
|
|
var updatedNode = Assert.IsType<SavePositionNode>(vm.Model);
|
|
Assert.True(vm.SaveImage);
|
|
Assert.True(updatedNode.SaveImage);
|
|
}
|
|
|
|
[Property(MaxTest = 100)]
|
|
public Property ExecutionState_TransitionsProduceCorrectBoolProperties()
|
|
{
|
|
var gen =
|
|
from xm in ArbMap.Default.GeneratorFor<double>()
|
|
from ym in ArbMap.Default.GeneratorFor<double>()
|
|
select new ReferencePointNode(
|
|
Guid.NewGuid(), 0, "TestNode",
|
|
xm, ym, 0, 0, 0, 0, false, 0, 0);
|
|
|
|
return Prop.ForAll(
|
|
gen.ToArbitrary(),
|
|
node =>
|
|
{
|
|
var vm = new CncNodeViewModel(node, (_, __) => { });
|
|
|
|
vm.ExecutionState = NodeExecutionState.Running;
|
|
bool runningOk = vm.IsRunningNode
|
|
&& !vm.IsSucceededNode
|
|
&& !vm.IsFailedNode;
|
|
|
|
vm.ExecutionState = NodeExecutionState.Succeeded;
|
|
bool succeededOk = !vm.IsRunningNode
|
|
&& vm.IsSucceededNode
|
|
&& !vm.IsFailedNode;
|
|
|
|
vm.ExecutionState = NodeExecutionState.Failed;
|
|
bool failedOk = !vm.IsRunningNode
|
|
&& !vm.IsSucceededNode
|
|
&& vm.IsFailedNode;
|
|
|
|
vm.ExecutionState = NodeExecutionState.Idle;
|
|
bool idleOk = !vm.IsRunningNode
|
|
&& !vm.IsSucceededNode
|
|
&& !vm.IsFailedNode;
|
|
|
|
return runningOk && succeededOk && failedOk && idleOk;
|
|
});
|
|
}
|
|
}
|
|
}
|