SoD-HCER: Testing Designs and Designing Tests

计算机和信息科学与工程(CEISE)司计算机和网络系统(CNS)设计科学(SoD)计划建议编号：0613793 P/I：Michael D.ErnstPI部门：部门：电气工程和计算机科学机构：麻省理工学院奖：$200,000标题：“SoD-HCER：测试设计和设计测试”本提案涉及软件设计和测试的概念。第一个重点是测试设计，探索从比代码级别更高的设计(模型)自动生成测试的技术。第二个重点是设计测试：将测试视为可以分解和重组的设计，以创建具有改进的属性的新测试，例如更快的执行或更好的覆盖率。这两种技术相互关联但又截然不同，每种技术都将测试与设计相结合，以改进测试过程。这个项目的想法是新的，与解决类似问题的其他方法相比，它们具有重要的优势。初步调查证实了它们的有效性，取得了令人振奋的结果。这笔资金将允许仔细的实验更科学地验证这些想法。拟议工作对研究和实践的潜在影响是深远的。从业者渴望改进他们的软件和测试套件，但他们的资源有限，对正式方法的了解和耐心也有限。这项拟议的工作可以被视为通过将研究思路应用于现实世界问题来弥合实践和理论之间的差距的一种方式。项目经理：Anita J.La SalleDate：

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: