SoD-HCER: Testing Designs and Designing Tests

计算机和信息科学与工程局（CISE）计算机和网络系统（CNS）设计科学（SoD）计划提案编号：0613793 P/I：Michael D. ErnstPI部门：部门名称：电气工程和计算机科学机构：马萨诸塞州理工学院奖：20万美元标题：“SoD-HCER：测试设计和设计测试“本提案涉及软件设计和测试的概念。第一个重点是测试设计，探索从比代码更高级的设计（模型）自动生成测试的技术。第二个重点是设计测试：将测试视为可以分解和重组的设计，以创建具有更快执行或更好覆盖率等改进属性的新测试。这两种技术是相关但不同的，每种技术都将测试与设计相结合，以改进测试过程。这个项目的想法是新的，他们有重要的优势，比其他方法解决类似的问题。初步调查证实了它们的有用性，并取得了可喜的成果。这笔资金将允许进行仔细的实验，以更科学地验证这些想法。拟议工作对研究和实践的潜在影响是深远的。从业者渴望改进他们的软件和测试套件，但是他们的资源有限，对形式化方法的知识和耐心也有限。拟议的工作可以被视为一种方式，弥合差距之间的差距，实践和理论的研究思路，以现实世界的问题。项目经理：Anita J. La Salle日期：

Directorate for Computer and Information Science and Engineering (CISE)Division Computer and Network Systems (CNS)Science of Design (SoD) ProgramProposal Number: 0613793 P/I: Michael D. ErnstPI's Department: Department: Electrical Engineering and Computer Science Institution: Massachusetts Institute of Technology Award: $200,000 Title: "SoD-HCER: Testing Designs and Designing Tests"This proposal addresses concepts of software design and testing. The first thrust is on testing designs, exploring techniques for automatically generating tests from designs (models) that are higher-level than the code. The second thrust is on designing tests: on viewing tests as designs that can be decomposed and recomposed to create new tests with improved properties such as faster execution or better coverage. These two are related but distinct techniques, each integrates testing with a view of design in order to improve the testing process. This project's ideas are new and they have important advantages over other approaches that solve similar problems. Preliminary investigations validated their usefulness with promising results. The funding will permit careful experiments to more scientifically validate the ideas. The potential implications of the proposed work on research and practice are profound. Practitioners are eager to improve their software and their test suites, but they have limited resources and limited knowledge of and patience with formal methods. The proposed work can be viewed as one way of bridging the gap between practice and theory by applying research ideas to real-world problems. Program Manager: Anita J. La SalleDate: