18、计算智能技术与敏捷软件开发实践

计算智能技术与敏捷软件开发实践

1. 计算智能技术在消息传递应用测试中的应用

在消息传递应用测试领域，有一些关键的计算智能技术值得关注。

1.1 事件匹配条件编码

CON𝓈
𝓇 对将具有发送动作的事件 𝓈 与具有接收动作的事件 𝓇 进行匹配所需的条件进行编码。这些条件包括：
- 事件 𝓈 必须先于事件 𝓇 发生（O𝓈 < O𝓇）。
- 对于每个事件 𝓃（𝓃∈ 𝒮𝓇 ⋀ 𝓃≠ 𝓈），要么 𝓃 在 𝓈 之前发生，要么 𝓇 在 𝓃 之前发生（(⋀ 𝓃∈𝒮
((O < O ) (O < O ))）。

根据公式 10.19，当匹配条件满足（CON𝓈
Ti,x），并且 𝓈 与 𝒫i,x 中任何事件匹配所需的所有条件都不可满足时，Ti,x 的接收动作将与事件 𝓈 匹配。

例如，Frecv 中对应于事件 T4,4 的部分是公式 10.21 - 10.23 的析取。这些公式分别将事件 T4,4 的接收动作与事件 T1,3、T2,9 和 T3,3 的发送动作进行匹配，并编码了必要条件，且这三个公式中只有一个会被满足。

(T4U2 = T1Msg1 ∧ (𝒪1,3 < 𝒪4,4 ∧ (((𝒪3,3 < 𝒪1,3) ∨ (𝒪4,4 < 𝒪3,3)) 
∧ (𝒪2,9 < 𝒪1,3) ∨ (𝒪4,4 < 𝒪2,9)))) 
(10.21)
(T4U2 = T2Z1 ∧ (𝒪2,9 < 𝒪4,4 ∧ ((