Test Suite Generation from Extended Finite State Machine by Using Search-based Approach论文.pdf

《Test Suite Generation from Extended Finite State Machine by Using Search-based Approach论文.pdf》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、ＣｌａｓｓｉｆｉｃａｔｉｏｎＮｏＣｏｎｆｉｄｔｉｌｉｔｅｎａｙＵＤＣ！？糸《《又乂？拿ＮＡＮＪＩＮＧＵＮＩＶＥＲＳＩＴＹＯＦＳＣＩＥＮＣＥ＆ＴＥＣＨＮＯＬＯＧＹＭ，ａｓｔ：ｅｒｓＴｈｅｓｉｓＴｅｓｔＳｕｉｔｅＧｅｎｅｒａｔｉｏｎｆｒｏｍＥｘｔｅｎｄｅｄＦｉｎｉｔｅＳｔａｔｅＭａｃｈｉｎｅｂｙＵｓ－ｉｎｇＳｅａｒｃｈＢａｓｅｄＡｐｐｒｏａｃｈＳＡＮＡＲＡＯＳｕｅｒｖｉｓｏｒＤｏｎｍｅｉＬｉｕＡｓｓｏｃｉａｔｅＰｒｏｆｅｓｓｏｒｐｇ＾ＤｅｒｅｅＴｉｔｌｅＭａｓｔｅｒｏｆＥｎｉｎｅｅｒ

2、ｉｎｇｇｇＤｉｓｃｉｐｌｉｎｅＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙｔＴｔＲｅｓｅａｒｃｈＦｉｅｌｄＳｏｆｗａｒｅｅｓｉｎｇＳｕｂｍｉｓｓｉｏｎＤａｔｅ２８＊０２．２０１７＾Ｕｎｉｖｅｒｓａｌｄｅｃｉｍａｌｃｌａｓｓｉｆｉｃａｔｉｏｎ（ＵＤＣ）ＭａｓｔｅｒＤｉｓｓｅｒｔａｔｉｏｎＴｅｓｔＳｕｉｔｅＧｅｎｅｒａ村ｏｎｂｏｍＥｘｔｅｎｄｅｄＦｉｎｉｔｅＳｌ：ａｆ：ｅＭａｃＷｎｅｂＵｓｉｎｙｇＳｅａｒｃｈ－ＢａｓｅｄＡｐｐｒｏａｃｈＢｙＳａｎａＲａｏＳｕｐｅｒｖｉ

3、ｓｅｄｂｙｏｎｍｅｉＬｉｕＤｇＮａｎｉｎＵｎｉｖｅｒｓｉｔｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙｊｇｙＭａｒｃｈ２０１７ｉＭ＾ＤｅｃｌａｒａｔｉｏｎａｓｔｅｒｓＴｈｅｓｉｓＤｅｃｌａｒａｔｉｏｎＩｈｅｒｅｂｄｅｃｌａｒｅｔｈａｔｔｈｉｓｓｕｂｍｉｓｓｉｏｎｉｓｍｏｗｎｗｏｒｋａｎｄｔｈａｔｔｏｔｈｅｂｅｓｔｏｆｍｙｙ，ｙｋｎｏｗｌｅｄｇｅａｎｄｂｅｌｉｅｆｉｔｃｏｎｔａｉｎｓｎｏｍａｔｅｒｉａｌｒｅｖｉｏｕｓｌｌｉｓｈｅｄｏｒｗｒｉｔｔｅｎｂ，ｐｙｐｕｂｙａｎｏｔ

4、ｈｅｒｅｒｓｏｎｏｒｍａｔｅｒｉａｌｗｈｉｃｈｈａｓ化ａｓｕｂ巧ａｎｔｉａｌｅｘｔｅｎｔｂｅｅｎａｃｃｅｔｅｄｆｏｒｐｐ＊化ｅａｗａｒｄｏｆａｎｏ化ｅｒｄｅｇｒｅｅｏｒ（Ｕｐｌｏｍａａｔａｎｙｉｖｅｉｓｉｔｏｒｏｔｈｅｒｉｎｓｔｉｔｕｔｉｏｎｏｆｙｕｎｙｈｉｈｅｒｌｅａｒｎｉｎｅｘｃｅｔｗｈｅｒｅｄｕｅａｃｋｎｏｗｌｅｄｅｎｔｈａｓｂｅｅｎｍａｄｅｉｎｔｈｅｔｅｘｔ．ｇｇ，ｐｇｍ＇。的＇口苗苗Ｓｉｎａｔｕｒｅ：—Ｄａｔｅ：ｇ乂ｕｔｈｏｒｉｚａ村ｏｎＳｔａｔｅｍｅｎｔＩｈｅｒｅ

5、ｂｙａｕｔｈｏｒｉｚｅｄＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｔｏｄｅｐｏｓｉｔｙｇｙｔｈｅｓｏｆｔｃｏａｎｄｈａｒｄｃｏｏｆｔｈｉｓｔｈｅｓｉｓａｎｄｔｏｒｅｌｅａｓｅａｒｔｏｆｏｒｔｈｅｅｎｔｉｒｅｐｙｐｙ，ｐｔｈｅｓｉｓｔ；ｏｏｔｈｅｒｏｒｇａｎｉｚａｔｉｏｎｓｏｒｉｎｄｉｖｉｄｕａｌｓ．Ｔｈｅｓｅｓｏｆｃｏｎｆｉｄｅｎｔｉａｌｉｔｙｍｕｓｔｂｅｈｏｌｄｃｏｎｆｉｄｅｎｔｉａｌａｃｃｏｒｄｉｎｇｔｏｒｅｌｅｖａｎｔｒｅｕｌａｔｉｏｎｓａｎｄｒｏｃ

6、ｅｄｕｒｅｓ．ｇｐ＇／。如１３（７Ｓｉｇｎａｔｕｒｅ：Ｄａｔｅ：〇’ｎｅｅａ－ａｓｅｄＭａｓｔｅｒｓｒｏａｃｈＴｈｅｓｉｓＴｅｓｔ如ｉｔｅＧ畑ｅｒａｔｉｏｎｆｒｏｍＥｘｔｅｎｄｅｄＦｉｎｉｔｅＳｔａｔｅＭａｃｈｉｂｙＵｓｉｎｇＳｒｃｈＢＡｐｐ巧要扩展的有限状态机（ＥＦＳＭｓ）被广泛使用来模拟系统的行为。从ＥＦＳＭｓ通过生成转换路径并提取测巧数据来生成测试用例。然而转换路径可能是不可执行的，从而导致不能执行生成的测巧数据。路径的不可行问题是指通过不可行的及无法满足测试一ＥＦＳＭ模型中覆盖准则的ＥＦＳＭ生成转换路径。在

7、个，由于控制和数据部分的结合，导致路径可能是不可行的。路径的不可行性还可能增加整个测试过程的成本。基于捜索的方法被证明对测试ＥＦＳＭ模型的有效性。本文提出了采用基于捜索的方法从ＥＦＳＭ模型生成测试用例。该技术从ＥＦＳＭ模型生成一组转换路径满足基于需求和约束路径覆盖准则。基于捜索的方法通过使用两种技：１２术（）通过依赖分析来评估转换路径可行性的适应度度量（）对整个测试用例用一个总的适应函数进行评估。本文通过两个简单的案例研究１＾？平估所提出的技术的有效性。研究结果表明所提出技术