1.一種冗余變異體識別方法，其特征在于，包括：

對待測程序源代碼進行程序塊的劃分，根據程序塊劃分結果生成規則文件；

比較變異體與待測程序源代碼，獲取每個變異體的變異位置及變異內容，并根據每個變異體的變異位置和生成的規則文件，確定每個變異體所屬的塊類別；

對待測程序源代碼進行數據流分析，獲取待測程序的數據流信息，結合獲取的待測程序的數據流信息，對獲取的每個變異體的變異內容上的變量進行分析，確定變異體的變異類型；其中，所述數據流信息包括：每個變量的定義-使用鏈；

根據確定的變異體所屬的塊類別和變異體的變異類型，按照預先定義的冗余變異體識別規則，分析待測程序的每條定義-使用鏈，獲取滿足冗余變異體識別規則的變異體并標記為冗余變異體；

其中，給定待測程序源代碼p，變異體m1、m2，測試用例集ts，若對∈ts，都有則變異體m2是相對變異體m1的冗余變異體，記作其中，t表示測試用例；m1(t)、p(t)、m2(t)分別表示測試用例t在變異體m1、待測程序源代碼p、變異體m2上的執行結果；

其中，所述冗余變異體識別規則包括：

若對變量v的一個定義-使用鏈du(v,s1,s2)，當變異算子在變量定義s1處生成變異體集合M_def，變異算子作用在變量使用s2處生成變異體集合M_use，且s1和s2處于同一個基本塊時，M_use是M_def的冗余變異體；

其中，所述冗余變異體識別規則包括：

若對變量v的一個定義-使用鏈du(v,s1,s2)，當變異算子在變量定義s1處生成變異體集合M_def，變異算子作用在變量使用s2處生成變異體集合M_use，且s2所處的基本塊是s1所處基本塊的任意個上層塊的某個順接塊時，M_use是M_def的冗余變異體；

其中，所述冗余變異體識別規則包括：

若待測程序中存在含有變量v的函數調用，S_m→n為函數m調用函數n的調用語句，變量v在函數n的變量使用s2處使用，且在使用前沒有對v的變量定義，則對變量v的一個定義-使用鏈du(v,S_m→n,s2)，當變異算子作用在函數調用語句S_m→n上生成變異體集合M_m→n，變異算子作用在變量使用s2上生成變異體集合M_use，且變量使用s2所處的基本塊沒有上層塊時，M_use是M_m→n的冗余變異體；

其中，所述冗余變異體識別規則包括：

若S_printf表示待測程序中沒有變量的輸出語句，變異算子作用在謂詞表達式φ上生成變異體集合M_φ，變異算子作用在S_printf上生成變異體集合M_printf，則當謂詞表達式φ所處的選擇塊或循環塊是S_printf所處的基本塊的上層塊時，M_printf是M_φ的冗余變異體。