CPA-SEL: Testing Systems with Large and Complex Test Spaces: Techniques, Tools and Empirical Studies

题目：CPA-SEL：具有大型和复杂测试空间的测试系统：技术、工具和实证研究今天的软件系统通常是围绕巨大和复杂结构的设计、构造和使用空间隐性组织的。这项研究集中于定义、创建和分析将开发空间与软件开发项目的结果测试空间联系起来的显式模型。该研究将创建并评估一个具有大型复杂测试空间的测试系统的新框架(1)明确建模系统的测试空间，(2)创建复杂的算法，在测试空间中积极采样点，(3)协调测试过程，在强大的虚拟计算资源网格上并行测试这些点，以及(4)合并和分析增量结果，以提高其有效性和效率的方式引导测试过程。通过使开发人员能够制定和应用强大的测试算法，并通过生成丰富的数据源，可以分析并反馈到项目中，从而推动正在进行的开发决策，这项研究具有改变软件开发的潜力。

Proposal Number P0811284TITLE: CPA-SEL: Testing Systems with Large and Complex Test Spaces: Techniques, Tools and Empirical StudiesPI: Adam PorterToday's software systems are often implicitly organized around enormous and complexly-structured design, construction, and usage spaces. This research focuses on defining, creating, and analyzing explicit models that link development spaces to the resulting test spaces underlying software development projects. The research will create and evaluate a new framework for testing systems with large and complex test spaces that (1) explicitly models a system's test space(s), (2) creates sophisticated algorithms that aggressively sample points in the test space, (3) coordinates the test process to test those points in parallel across a powerful virtual grid of computing resources, and (4) merges and analyzes incremental results to steer test processes in ways that improve its effectiveness and efficiency. This research has the potential to transform software development by enabling developers to formulate and apply powerful testing algorithms and by generating rich sources of data that could be analyzed and fed back to projects to drive ongoing development decisions.