A New Approach for Distributed Symbolic Software Testing

机译：分布式符号软件测试的新方法

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper presents a new parallel algorithm for backward symbolic execution. We use a program modeling allowing an easy distributed symbolic execution and a scalable program testing. A program is divided into several parts assigned to different nodes. A particular node: the Coordinator allocates tasks to workers and collects final results.

机译：本文提出了一种新的并行算法，用于后向符号执行。我们使用程序建模，可以轻松地进行分布式符号执行和可伸缩的程序测试。程序分为分配给不同节点的几个部分。一个特定的节点：协调器将任务分配给工作人员并收集最终结果。

著录项

来源
《International conference on computational science and its applications》|2013年|487-497|共11页
会议地点
作者
Nassima Aleb; Samir Kechid;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Program Testing; Path coverage testing; Parallelization; Symbolic Execution; Backward Analysis;

机译：程序测试;路径覆盖测试;并行化;符号执行;向后分析;

相似文献

外文文献
中文文献
专利

1. A new approach in development of distributed framework for automated software testing using agents [J] . P. Dhavachelvan, G.V. Uma, V.S.K. Venkatachalapathy Knowledge-Based Systems . 2006,第4期

机译：开发使用代理程序进行自动化软件测试的分布式框架的新方法
2. Evolution of Agent-Oriented Distributed Model for Software Testing:A Layered Approach [J] . Maryam Madani, Shadpour Mallakpour The international arab journal of information technology . 2005,第2期

机译：面向代理的软件测试分布式模型的演变：分层方法
3. An Integrated Approach of Software Development and Test Processes to Distributed Teams [J] . Gislaine Camila Lapasini Leal, Ana Paula Chaves, Elisa Hatsue Moriya Huzita, Journal of Universal Computer Science . 2012,第19期

机译：面向分布式团队的软件开发和测试过程的集成方法
4. A New Approach for Distributed Symbolic Software Testing [C] . Nassima Aleb, Samir Kechid International Workshop on Biomathematics, Bioinformatics and Biostatistics . 2013

机译：分布式符号软件测试的新方法
5. Symbolic execution for testing complex software. [D] . Cadar, Cristian. 2009

机译：用于执行复杂软件的符号执行。
6. Software Application Profile: RVPedigree: a suite of family-based rare variant association tests for normally and non-normally distributed quantitative traits [O] . Karim Oualkacha, Lajmi Lakhal-Chaieb, Celia MT Greenwood -1

机译：软件应用程序简介：RVPedigree：一套基于族的稀有变异关联测试用于正态和非正态分布的定量性状
7. An approach to testing distributed software systems [O] . Ulrich, Andreas W., Chanson, Samuel T. 1996

机译：一种测试分布式软件系统的方法

A New Approach for Distributed Symbolic Software Testing

摘要

著录项

相似文献

相关主题

期刊订阅