diff --git a/doc/deterministic_testing.md b/doc/deterministic_testing.md index 81f0ce4..894ed2c 100644 --- a/doc/deterministic_testing.md +++ b/doc/deterministic_testing.md @@ -2,11 +2,11 @@ When running deterministic testing, the message channel would be taken over by the *deterministic player*. -![deterministic testing](../doc/figure/dtm_testing.jpg) +![deterministic testing](../doc/figure/dtm_testing.svg) The figure below illustrates how the *deterministic player* reorders the actions based on predefined orders. -![reorder_action](../doc/figure/reorder_actions.png) +![reorder_action](../doc/figure/reorder_actions.svg) The physical system will align with the logical model, ensuring consistency. Our framework incorporates various macros to facilitate the implementation of *anchor actions* diff --git a/doc/figure/architecture.png b/doc/figure/architecture.png deleted file mode 100644 index 7b7edce..0000000 Binary files a/doc/figure/architecture.png and /dev/null differ diff --git a/doc/figure/design_to_impl.png b/doc/figure/design_to_impl.png deleted file mode 100644 index 2ca6e67..0000000 Binary files a/doc/figure/design_to_impl.png and /dev/null differ diff --git a/doc/figure/dtm_testing.jpg b/doc/figure/dtm_testing.jpg deleted file mode 100644 index 3b91610..0000000 Binary files a/doc/figure/dtm_testing.jpg and /dev/null differ diff --git a/doc/figure/dtm_testing.svg b/doc/figure/dtm_testing.svg new file mode 100644 index 0000000..0d30ba9 --- /dev/null +++ b/doc/figure/dtm_testing.svg @@ -0,0 +1,375 @@ + + + + + + + + + + + + + + + + + + 页-1 + + + + 工作表.1000 + + 工作表.1001 + + + + + + + 矩形.54 + Player Server + + + + + + + + Player Server + + 工作表.1003 + + 工作表.1004 + + + + + + + 工作表.1005 + + + + + + + 工作表.1006 + + + + + + + 工作表.1007 + + + + + + + + + 工作表.1024 + + 工作表.1017 + + + + + + + 矩形.54 + Tested Server + + + + + + + + Tested Server + + 工作表.1019 + + 工作表.1020 + + + + + + + 工作表.1021 + + + + + + + 工作表.1022 + + + + + + + 工作表.1023 + + + + + + + + + 工作表.1025 + + 工作表.1026 + + + + + + + 矩形.54 + Tested Server + + + + + + + + Tested Server + + 工作表.1028 + + 工作表.1029 + + + + + + + 工作表.1030 + + + + + + + 工作表.1031 + + + + + + + 工作表.1032 + + + + + + + + + 动态连接线.1033 + + + + 动态连接线.1034 + msg + + + + + msg + + 动态连接线.1044 + msg + + + + + msg + + 工作表.1045 + + 工作表.1046 + + + + + + + 矩形.54 + Tested Server + + + + + + + + Tested Server + + 工作表.1048 + + 工作表.1049 + + + + + + + 工作表.1050 + + + + + + + 工作表.1051 + + + + + + + 工作表.1052 + + + + + + + + + 工作表.1053 + + 工作表.1054 + + + + + + + 矩形.54 + Tested Server + + + + + + + + Tested Server + + 工作表.1056 + + 工作表.1057 + + + + + + + 工作表.1058 + + + + + + + 工作表.1059 + + + + + + + 工作表.1060 + + + + + + + + + 动态连接线.1061 + + + + 动态连接线.1062 + + + + 动态连接线.4000 + msg + + + + + msg + + 工作表.4001 + Normal Processing + + + + Normal Processing + + 工作表.4002 + Deterministic Testing + + + + Deterministic Testing + + diff --git a/doc/figure/gen_trace.jpg b/doc/figure/gen_trace.jpg deleted file mode 100644 index c8b4569..0000000 Binary files a/doc/figure/gen_trace.jpg and /dev/null differ diff --git a/doc/figure/keyframe.jpg b/doc/figure/keyframe.jpg deleted file mode 100644 index b267324..0000000 Binary files a/doc/figure/keyframe.jpg and /dev/null differ diff --git a/doc/figure/reorder_actions.png b/doc/figure/reorder_actions.png deleted file mode 100644 index 3e054e2..0000000 Binary files a/doc/figure/reorder_actions.png and /dev/null differ diff --git a/doc/figure/reorder_actions.svg b/doc/figure/reorder_actions.svg new file mode 100644 index 0000000..fdc2071 --- /dev/null +++ b/doc/figure/reorder_actions.svg @@ -0,0 +1 @@ +Tested NodeTested NodeDerterministic PlayerrequestrequestnotifyresponsenotifyactivatenotifyresponsenotifyColor Of Active LifelineDescription actions in the trace  system behavior is enforced to be consistent with the trace \ No newline at end of file diff --git a/doc/figure/verifying.png b/doc/figure/verifying.png deleted file mode 100644 index 754ba4b..0000000 Binary files a/doc/figure/verifying.png and /dev/null differ diff --git a/doc/figure/workflow.png b/doc/figure/workflow.png deleted file mode 100644 index 7c5b197..0000000 Binary files a/doc/figure/workflow.png and /dev/null differ