0

我正在使用 EA 对一些 c 组件进行建模。我知道 EA 不能有效地与 C 语言一起使用,但我试图尽可能地坚持每个元素的预期用途。

我的问题...我正在使用一个类和使用此类中的操作的函数对 C 文件进行建模。我的函数需要在它们开始之前接收一些值并在它们完成之前发送一些其他值,我可以使用操作的 Pre 和 Post-Coditions 在模型中表示这个还是不适合这个地方?如果不是,我应该如何以正确的方式在模型中表示这一点

4

1 回答 1

0

我不认为这是前置/后置条件的一部分。相反,您需要一个接口来与某些对象模型对话。正如我所看到的,您的主要组件是用 C 编写的,它只使用了一些 OO 的东西。在这种情况下,您需要一个可以在 C 代码中使用的适配器。这可能包括 a send(module, operation, parameters...),反之亦然 a receive(module, values...),它将与 OO 的东西进行同步。由于需要澄清许多限制,因此该答案不会详细说明。

于 2018-06-22T11:04:21.017 回答