組件測試中復(fù)雜數(shù)據(jù)類型的測試用例自動生成方法研究.pdf

1、隨著軟件工程的發(fā)展，基于組件的開發(fā)已經(jīng)成為目前軟件開發(fā)的主流模式。組件的可靠性和安全性直接影響整個系統(tǒng)的穩(wěn)定性。組件的封裝特性使得基于組件的測試具有較大的難度。在基于組件的開發(fā)中復(fù)雜數(shù)據(jù)類型已經(jīng)得到廣泛應(yīng)用，如數(shù)組、指針及結(jié)構(gòu)等類型。這些復(fù)雜數(shù)據(jù)類型參數(shù)的約束關(guān)系錯綜復(fù)雜，采用一般的測試用例生成方法難以生成有效的測試用例集合。因此，有必要深入研究組件中復(fù)雜數(shù)據(jù)類型參數(shù)的測試用例生成方法與技術(shù)。
　　 復(fù)雜數(shù)據(jù)類型參數(shù)的約束可以分

2、為單個成員的約束及成員間的組合約束。單個成員約束指每一成員有取值范圍的限制和特殊取值的指定。成員間組合約束指成員必須滿足某種特定的組合邏輯關(guān)系。對這些約束的定義及解析是測試用例生成過程的關(guān)鍵。
　　 復(fù)雜數(shù)據(jù)類型參數(shù)的測試用例生成由若干步驟實(shí)現(xiàn)。首先通過解析形式化的組件接口信息，抽取參數(shù)各成員的取值約束及成員間的組合約束。按照參數(shù)各成員的取值約束產(chǎn)生各成員的取值列表。然后按組合約束指定的覆蓋粒度對成員的取值列表進(jìn)行組合覆蓋，產(chǎn)生