综合平台编程器项目的远程存储
Vous ne pouvez pas sélectionner plus de 25 sujets Les noms de sujets doivent commencer par une lettre ou un nombre, peuvent contenir des tirets ('-') et peuvent comporter jusqu'à 35 caractères.
 
 
 
 

324 lignes
13 KiB

  1. #include "domain/project_storage.h"
  2. #include "infrastructure/json_project_storage.h"
  3. #include "services/project_service.h"
  4. #include <QFile>
  5. #include <QTemporaryDir>
  6. #include <exception>
  7. #include <iostream>
  8. #include <stdexcept>
  9. #include <string>
  10. namespace {
  11. void require(bool condition, const std::string &message)
  12. {
  13. if (!condition)
  14. {
  15. throw std::runtime_error(message);
  16. }
  17. }
  18. Project makeExampleProject()
  19. {
  20. // 构造覆盖 HMI 控件和梯形图串并联结构的完整 JSON 往返样本
  21. HmiControl start_button;
  22. start_button.id = "start-button";
  23. start_button.type = HmiControlType::Button;
  24. start_button.bounds = {10, 20, 120, 48};
  25. start_button.text = "Start";
  26. start_button.binding = RegisterAddress{RegisterArea::M, 0};
  27. start_button.properties.emplace("color", "green");
  28. HmiControl running_indicator;
  29. running_indicator.id = "running-indicator";
  30. running_indicator.type = HmiControlType::Indicator;
  31. running_indicator.bounds = {150, 20, 64, 64};
  32. running_indicator.text = "Running";
  33. running_indicator.binding = RegisterAddress{RegisterArea::M, 1};
  34. running_indicator.properties.emplace("activeColor", "#24a148");
  35. HmiControl temperature_display;
  36. temperature_display.id = "temperature-display";
  37. temperature_display.type = HmiControlType::NumericDisplay;
  38. temperature_display.bounds = {10, 90, 120, 40};
  39. temperature_display.text = "Temperature";
  40. temperature_display.binding = RegisterAddress{RegisterArea::D, 2};
  41. temperature_display.properties.emplace("format", "decimal");
  42. HmiControl target_input;
  43. target_input.id = "target-input";
  44. target_input.type = HmiControlType::NumericInput;
  45. target_input.bounds = {150, 90, 120, 40};
  46. target_input.text = "Target";
  47. target_input.binding = RegisterAddress{RegisterArea::D, 3};
  48. target_input.properties.emplace("minimum", "-100");
  49. HmiPage page;
  50. page.id = "main-page";
  51. page.name = "Main";
  52. page.controls.push_back(start_button);
  53. page.controls.push_back(running_indicator);
  54. page.controls.push_back(temperature_display);
  55. page.controls.push_back(target_input);
  56. LogicNode contact;
  57. contact.id = "start-contact";
  58. contact.config = ContactNodeConfig{
  59. RegisterAddress{RegisterArea::M, 0},
  60. ContactMode::NormallyOpen};
  61. LogicNode compare;
  62. compare.id = "temperature-check";
  63. compare.config = CompareNodeConfig{
  64. RegisterAddress{RegisterArea::D, 2},
  65. ComparisonOperator::GreaterThanOrEqual,
  66. static_cast<std::int16_t>(100)};
  67. LogicNode hold_contact;
  68. hold_contact.id = "hold-contact";
  69. hold_contact.config = ContactNodeConfig{
  70. RegisterAddress{RegisterArea::M, 1},
  71. ContactMode::NormallyOpen};
  72. LogicNode coil;
  73. coil.id = "run-coil";
  74. coil.config = CoilNodeConfig{
  75. RegisterAddress{RegisterArea::M, 1},
  76. CoilMode::Set};
  77. ControlLogic logic;
  78. logic.id = "start-logic";
  79. logic.name = "Start logic";
  80. logic.enabled = false;
  81. LadderRung rung;
  82. rung.id = "rung-1";
  83. rung.name = "Network 1";
  84. ConditionExpression parallel;
  85. parallel.id = "parallel-start";
  86. parallel.kind = ConditionExpressionKind::Parallel;
  87. parallel.children = {
  88. ConditionExpression::fromNode(contact),
  89. ConditionExpression::fromNode(hold_contact)};
  90. ConditionExpression series;
  91. series.id = "series-root";
  92. series.kind = ConditionExpressionKind::Series;
  93. series.children = {
  94. std::move(parallel),
  95. ConditionExpression::fromNode(compare)};
  96. rung.condition = std::move(series);
  97. rung.output = coil;
  98. logic.rungs.push_back(rung);
  99. Project project;
  100. project.metadata = {"example-project", "Example project", "1.0"};
  101. project.hmiPages.push_back(page);
  102. project.controlLogics.push_back(logic);
  103. project.dataPoints = {
  104. {RegisterAddress{RegisterArea::M, 0}, "StartCommand", "启动命令"},
  105. {RegisterAddress{RegisterArea::D, 2}, "Temperature", "当前温度"}};
  106. return project;
  107. }
  108. void writeText(const QString &path, const QByteArray &content)
  109. {
  110. // 直接写入故障样本文件,以验证加载失败时的保护行为
  111. QFile file(path);
  112. require(file.open(QIODevice::WriteOnly), "test file must be writable");
  113. require(file.write(content) == content.size(), "test file must be written completely");
  114. }
  115. QByteArray readBytes(const QString &path)
  116. {
  117. QFile file(path);
  118. require(file.open(QIODevice::ReadOnly), "saved project must be readable");
  119. return file.readAll();
  120. }
  121. void testEmptyProjectRoundTrip()
  122. {
  123. // 空工程是合法工程,保存再加载后不应凭空产生页面或逻辑
  124. QTemporaryDir directory;
  125. require(directory.isValid(), "temporary directory must be valid");
  126. JsonProjectStorage storage;
  127. ProjectService service(storage);
  128. require(service.createNewProject("Empty project").succeeded,
  129. "empty project creation must succeed");
  130. const QString path = directory.filePath("empty.json");
  131. require(service.saveAs(path.toStdString()).succeeded,
  132. "empty project save must succeed");
  133. require(!service.isModified(), "saved project must not be marked modified");
  134. require(service.load(path.toStdString()).succeeded,
  135. "empty project load must succeed");
  136. require(service.project().metadata.name == "Empty project",
  137. "empty project name must survive round trip");
  138. require(service.project().hmiPages.empty(), "empty project must have no HMI pages");
  139. require(service.project().controlLogics.empty(),
  140. "empty project must have no control logics");
  141. }
  142. void testExampleProjectRoundTrip()
  143. {
  144. // 验证各层嵌套字段往返后保持不变且序列化结果稳定
  145. QTemporaryDir directory;
  146. require(directory.isValid(), "temporary directory must be valid");
  147. JsonProjectStorage storage;
  148. ProjectService service(storage);
  149. service.editProject() = makeExampleProject();
  150. const QString first_path = directory.filePath("example.json");
  151. const QString second_path = directory.filePath("example-copy.json");
  152. require(service.saveAs(first_path.toStdString()).succeeded,
  153. "example project save must succeed");
  154. const QByteArray saved_json = readBytes(first_path);
  155. require(saved_json.contains("\"rungs\"")
  156. && saved_json.contains("\"condition\"")
  157. && saved_json.contains("\"children\"")
  158. && saved_json.contains("\"dataPoints\"")
  159. && saved_json.contains("\"output\""),
  160. "saved project must use structured ladder expressions and data points");
  161. require(!saved_json.contains("\"stages\"")
  162. && !saved_json.contains("\"branches\""),
  163. "current project format must not contain the removed stage model");
  164. require(!saved_json.contains("\"position\"")
  165. && !saved_json.contains("\"connections\""),
  166. "saved ladder logic must not contain free-graph fields");
  167. require(service.load(first_path.toStdString()).succeeded,
  168. "example project load must succeed");
  169. const Project &project = service.project();
  170. require(project.metadata.id == "example-project", "project id must survive round trip");
  171. require(project.hmiPages.size() == 1, "HMI page count must survive round trip");
  172. require(project.hmiPages.front().controls.size() == 4,
  173. "all basic HMI controls must survive round trip");
  174. require(project.hmiPages.front().controls.front().binding->area()
  175. == RegisterArea::M,
  176. "HMI M binding must survive round trip");
  177. require(project.hmiPages.front().controls.front().properties.at("color") == "green",
  178. "HMI properties must survive round trip");
  179. require(project.hmiPages.front().controls.at(1).type == HmiControlType::Indicator,
  180. "indicator control type must survive round trip");
  181. require(project.hmiPages.front().controls.at(2).binding->area() == RegisterArea::D,
  182. "numeric display D binding must survive round trip");
  183. require(project.hmiPages.front().controls.at(3).bounds.x == 150,
  184. "numeric input bounds must survive round trip");
  185. require(project.controlLogics.size() == 1,
  186. "control logic count must survive round trip");
  187. require(!project.controlLogics.front().enabled,
  188. "control logic enabled state must survive round trip");
  189. const LadderRung &rung = project.controlLogics.front().rungs.front();
  190. require(rung.condition.has_value()
  191. && rung.condition->kind == ConditionExpressionKind::Series,
  192. "series root expression must survive round trip");
  193. require(rung.condition->children.front().kind
  194. == ConditionExpressionKind::Parallel
  195. && rung.condition->children.front().children.size() == 2U,
  196. "parallel expression branches must survive round trip");
  197. require(rung.output.has_value(),
  198. "ladder output must survive round trip");
  199. const auto &compare = std::get<CompareNodeConfig>(
  200. rung.condition->children.at(1).node->config);
  201. require(compare.address.index() == 2 && compare.value == 100,
  202. "comparison configuration must survive round trip");
  203. require(project.dataPoints.size() == 2
  204. && project.dataPoints.front().name == "StartCommand",
  205. "data points must survive round trip");
  206. require(service.saveAs(second_path.toStdString()).succeeded,
  207. "save as must succeed after load");
  208. require(readBytes(first_path) == readBytes(second_path),
  209. "save and save as must produce stable JSON");
  210. }
  211. void testInvalidFiles()
  212. {
  213. // 非法文件必须被拒绝,并且不得覆盖服务中当前工程
  214. QTemporaryDir directory;
  215. require(directory.isValid(), "temporary directory must be valid");
  216. JsonProjectStorage storage;
  217. ProjectService service(storage);
  218. service.editProject().metadata.name = "Current project";
  219. const QString invalid_json = directory.filePath("invalid-json.json");
  220. const QString missing_field = directory.filePath("missing-field.json");
  221. const QString unsupported_version = directory.filePath("unsupported-version.json");
  222. writeText(invalid_json, "{");
  223. auto result = service.load(invalid_json.toStdString());
  224. require(!result.succeeded
  225. && result.storageError == ProjectStorageError::InvalidJson,
  226. "invalid JSON must be rejected");
  227. require(service.project().metadata.name == "Current project",
  228. "invalid load must keep current project");
  229. writeText(missing_field, R"({"formatVersion":"1.0"})");
  230. result = service.load(missing_field.toStdString());
  231. require(!result.succeeded
  232. && result.storageError == ProjectStorageError::MissingField,
  233. "missing fields must be rejected");
  234. writeText(unsupported_version, R"({"formatVersion":"2.0"})");
  235. result = service.load(unsupported_version.toStdString());
  236. require(!result.succeeded
  237. && result.storageError == ProjectStorageError::UnsupportedVersion,
  238. "unsupported versions must be rejected");
  239. }
  240. void testServiceStateAndSaveErrors()
  241. {
  242. // 保存路径和修改标记只在成功持久化后更新
  243. QTemporaryDir directory;
  244. require(directory.isValid(), "temporary directory must be valid");
  245. JsonProjectStorage storage;
  246. ProjectService service(storage);
  247. require(service.save().error == ProjectServiceError::FilePathRequired,
  248. "save without a current path must be rejected");
  249. require(service.createNewProject(" ").error
  250. == ProjectServiceError::InvalidProjectName,
  251. "blank project names must be rejected");
  252. const QString path = directory.filePath("state.json");
  253. service.editProject().metadata.name = "State project";
  254. require(service.saveAs(path.toStdString()).succeeded,
  255. "state project save must succeed");
  256. service.editProject().metadata.name = "Changed project";
  257. require(service.isModified(), "editing the project must mark it modified");
  258. require(service.save().succeeded, "save must use the current file path");
  259. require(!service.isModified(), "successful save must clear modified state");
  260. const QString failed_path = directory.filePath("missing/subdir/state.json");
  261. require(!service.saveAs(failed_path.toStdString()).succeeded,
  262. "save to an unavailable path must fail");
  263. require(service.currentFilePath() == path.toStdString(),
  264. "failed save as must keep the previous current path");
  265. }
  266. } // namespace
  267. int main()
  268. {
  269. try
  270. {
  271. // 工程服务和 JSON 存储在同一测试进程中验证完整闭环
  272. testEmptyProjectRoundTrip();
  273. testExampleProjectRoundTrip();
  274. testInvalidFiles();
  275. testServiceStateAndSaveErrors();
  276. }
  277. catch (const std::exception &error)
  278. {
  279. std::cerr << "project management tests failed: " << error.what() << '\n';
  280. return 1;
  281. }
  282. std::cout << "project management tests passed\n";
  283. return 0;
  284. }