• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2018 IEEE Intl Conf on Parallel amp; Distributed Processing with Applications, Ubiquitous Computing amp; Communications, Big Data amp; Cloud Computing, Social Computing amp; Networking, Sustainable Computing amp; Communications >A Data Related Behaviors Automatic Detection Method for Parallel Software Testing
【24h】

A Data Related Behaviors Automatic Detection Method for Parallel Software Testing

机译：一种用于并行软件测试的数据相关行为自动检测方法

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Concurrent software testing is particularly challenging because such systems have a miraculous number of possible executions. Colored Petri Net (CPN) is suitable for parallel description and path analysis and selection, so concurrent system testing can be conducted by means of CPN model. However, CPN has state explosion problem, which makes test coverage difficult to achieve. In this paper, the purpose of a test is described by specifying the group of behaviors to be tested. It is believed that the test coverage can be achieved by covering all paths formed by tested behaviors and data dependent behaviors, and the data irrelevant behaviors will not affect the occurrence of the behaviors to be tested. Therefore, this paper proposes a method for automatic detection of data related behaviors related to the tested behavior, which can automatically detect related behaviors according to the transfer relationship of data in the model. The ultimate purpose of this method is to prepare for the serialization of unrelated behaviors, thereby reducing the state space and improving the test efficiency. In order to realize the method of automatically detecting the data related behaviors, the related data of the behavior to be tested is obtained first. Then, by using the recursive method, the behavior that affects the related data is determined as the data related behavior of the tested behavior. At last, a practical example is presented to verify the effectiveness of the method.
机译：并行软件测试尤其具有挑战性，因为此类系统具有大量可能的执行方式。有色Petri网（CPN）适用于并行描述以及路径分析和选择，因此可以通过CPN模型进行并发系统测试。但是，CPN存在状态爆炸问题，这使得测试覆盖率难以实现。在本文中，通过指定要测试的行为组来描述测试的目的。相信可以通过覆盖由测试行为和数据相关行为形成的所有路径来实现测试覆盖，并且与数据无关的行为不会影响要测试行为的发生。因此，本文提出了一种自动检测与被测行为有关的数据相关行为的方法，该方法可以根据模型中数据的传递关系自动检测相关行为。该方法的最终目的是为无关行为的序列化做准备，从而减少状态空间并提高测试效率。为了实现自动检测数据相关行为的方法，首先要获取待测行为的相关数据。然后，通过使用递归方法，将影响相关数据的行为确定为测试行为的数据相关行为。最后，通过实例验证了该方法的有效性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号