我正在使用 EA 对一些 c 组件进行建模。我知道 EA 不能有效地与 C 语言一起使用,但我试图尽可能地坚持每个元素的预期用途。
我的问题...我正在使用一个类和使用此类中的操作的函数对 C 文件进行建模。我的函数需要在它们开始之前接收一些值并在它们完成之前发送一些其他值,我可以使用操作的 Pre 和 Post-Coditions 在模型中表示这个还是不适合这个地方?如果不是,我应该如何以正确的方式在模型中表示这一点
我正在使用 EA 对一些 c 组件进行建模。我知道 EA 不能有效地与 C 语言一起使用,但我试图尽可能地坚持每个元素的预期用途。
我的问题...我正在使用一个类和使用此类中的操作的函数对 C 文件进行建模。我的函数需要在它们开始之前接收一些值并在它们完成之前发送一些其他值,我可以使用操作的 Pre 和 Post-Coditions 在模型中表示这个还是不适合这个地方?如果不是,我应该如何以正确的方式在模型中表示这一点