28、基于形式化规范的软件测试与变异测试理论

基于形式化规范的软件测试与变异测试理论

1. 基于形式化规范的软件测试

在软件测试中，基于形式化规范的测试方法提供了一种通用的方式来推导测试用例。以下是相关的详细内容：
- 状态转换规则 ：
- 当满足 (sWP \stackrel{a}{\longrightarrow} s’WP) 且 (sC \stackrel{a_1,\cdots,a_n}{\longrightarrow} s’C) ，并且 (a \in NonPrio(sWP)) 时，有如下规则：
- 若 (Prio(sWP) \cap ({ a_1, \cdots, a_n } \cup LU ) \neq \varnothing)，则 (sWP || sC \stackrel{a}{\not\longrightarrow})
- 若 (Prio(sWP) \cap ({ a_1, \cdots, a_n } \cup LU ) = \varnothing) 且 (a \in { a_1, \cdots, a_n } \cup LU)，则 (sWP || sC \stackrel{a}{\longrightarrow} s’WP || s’C)
- 若 (Prio(sWP) \cap ({ a_1, \cdots, a_n } \cup LU ) = \varnothing) 且 (a \notin { a_1, \cdots, a_n } \cup LU)，则 (sWP || sC \stackrel{a}{\not\longrightarrow})
- 测试优先级 ：
- 对于给定的 (IOTSwp(LI, L