[发明专利]一种生成测试用例的方法及装置

权利要求书

1.一种生成测试用例的方法，其特征在于，该方法包括：

S1，随机生成一个测试用例；

S2，判断所述测试用例是否违反与测试用例集合的似然不变量集合相对应的断言；

S3，当所述测试用例违反断言时，将所述测试用例添加到测试用例集合中，并进行不变量提取，以生成添加了所述测试用例的测试用例集合的似然不变量集合并将其转化为相应的断言。

2.根据权利要求1所述的生成测试用例的方法，其特征在于，所述方法还包括步骤S4：重复执行步骤S1-S3，直到终止测试用例的生成。

3.根据权利要求1所述的生成测试用例的方法，其特征在于，当所述测试用例没有违反所述断言时，执行步骤S1。

4.根据权利要求1所述的生成测试用例的方法，其特征在于，利用Daikon进行不变量提取。

5.根据权利要求1所述的生成测试用例的方法，其特征在于，判断测试用例是否违反所述断言的步骤包括：将所述断言进行插装以形成断言程序，利用所述断言程序判断测试用例是否违反所述断言。

6.一种生成测试用例的装置，其特征在于，包括：

测试用例提供模块，用于随机生成测试用例；

测试用例有效性判断模块，用于判断测试用例是否违反断言；

测试用例添加模块，当所述测试用例违反所述断言时，用于将所述测试用例添加到测试用例集合中；

不变量提取模块，当所述测试用例违反所述断言时，用于进行不变量提取，以生成添加了所述测试用例的测试用例集合的似然不变量集合；

断言生成模块，用于将所述似然不变量集合转化为相应的断言。

7.根据权利要求6所述的生成测试用例的装置，其特征在于，测试用例有效性判断模块包括：插装子模块，用于将断言进行插装以形成断言程序；判断子模块，用于利用所述断言程序判断测试用例是否违反所述断言。

8.根据权利要求6所述的生成测试用例的装置，其特征在于，所述断言生成模块包括：不变量提取及解析子模块，用于从似然不变量集合中提取不变量信息，并对不变量信息进行解析；生成模块，用于根据解析后的不变量信息，生成与似然不变量集合相对应的断言。