课题基金 / 基金详情

CAREER: Empirical Investigations of Software Inspections

CAREER: Empirical Investigations of Software Inspections
职业:软件检查的实证研究
批准号:
9501354
负责人:
Adam Porter
金额:
$12.53万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-07-01 至 1999-06-30

项目摘要

项目成果

Adam Porter的其他基金

相似基金

相关文献

中文摘要
翻译
该职业奖支持在软件检查方法的经验评估方面的研究和指导。软件检查是一种广泛使用但非常昂贵的验证过程。初步研究表明,这一过程背后的许多假设都是不正确的,因此,本研究涉及以下三个实验家族。(1)比较缺陷检测技术。本实验比较了系统检查技术与标准的特别方法和核对表方法的成本效益。它的假设是,系统检查技术比目前使用的非系统检查技术更有效。(2)成本效益研究。这个实验是在一个实际开发项目上进行的,目的是比较几种不同的检查方法在最小检查间隔和最大有效性之间的权衡。它的假设是,最近提出的几种方法显著增加了区间,但在有效性方面只提供了轻微的改善。(3)检验录入标准。这项实验试图确定文物的质量是否会影响检查的有效性。它的假设是,对于缺陷密度非常高或非常低的伪像,传统的检查不是有效的。这项研究还在编写加强研究生和本科生教学的材料。这包括一个为期4周的教学模块,作为研究生软件工程课程的一部分,学生在该模块中执行实验、收集和分析数据并测试假设。一门本科软件开发课程正在开发中,所有学生共同开发一个大规模的应用程序,为真正有真正需求的客户服务。
英文摘要
This CAREER award supports research and instruction in the empirical evaluation of software inspection methods. Software inspection is a widely used, but very expensive validation process. Initial research has demonstrated that many of the assumptions underlying this process are incorrect and, therefore, this research involves the following three families of experiments. (1) Comparing defect detection techniques. This experiment compares the cost-effectiveness of systematic inspection techniques with that of the standard Ad Hoc and Checklist approaches. Its hypothesis is that systematic inspection techniques are more effective that the nonsystematic ones currently being used. (2) Cost-benefit studies. This experiment is conducted on a live development project to compare the tradeoffs between minimum inspection interval and maximum effectiveness for several different inspection approaches. Its hypothesis is that several recently proposed methods significantly increase interval, but provide only a slight improvement in effectiveness. (3) Inspection entry criteria. This experiment attempts to establish whether or not an artifact's quality affects inspection effectiveness. Its hypothesis is that traditional inspections are not effective for artifacts with very high or very low defect density. This research is also producing materials that enhance both graduate and undergraduate teaching. This includes a 4-week teaching module in which students perform experiments, collect and analyze data, and test hypotheses as part of a graduate software engineering course. An undergraduate software development course is being developed in which all students work together to develop one large-scale application, for real customers with real needs.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: An Automated Full-Lifecycle Approach for Improving the Development and Use of Static Analysis
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
  • 批准号:
    1446365
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $37.61万
  • 财政年份:
    2015
  • 负责人:
    Adam Porter
  • 依托单位:
CPA-SEL: Testing Systems with Large and Complex Test Spaces: Techniques, Tools and Empirical Studies
Creating Clines to Study Dispersal and Adaptation
  • 批准号:
    0235787
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2003
  • 负责人:
    Adam Porter
  • 依托单位:
海外基金