课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
这个CAREER奖支持软件检查方法的经验评估的研究和指导。 软件检查是一个广泛使用的,但非常昂贵的验证过程。 初步研究表明,这一过程的许多假设是不正确的,因此,本研究涉及以下三个系列的实验。 (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
  • 依托单位:
海外基金