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

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