NSF-CNPq Collaborative Reserach to Develop, Validate, and Package Analysis Techniques for Software Defect Detection

9900307 Basili， victor这项研究的重点是开发用于缺陷检测的软件文档分析技术。更具体地说，突变测试和文档阅读技术将被裁剪，以检测巴西和美国学术界和工业界的软件正式规范和源代码中的缺陷。这一系列的软件分析技术将在控制实验中进行经验验证，并封装在可定制和可重用的软件工程实验室包中。这项工作的目标是：(1)创建能够成功地用于软件规范和代码中的缺陷检测的软件分析技术，并开发可以在不同的环境和文化设置中持续改进这些技术的经验方法；(2)开发可用于比较学术和工业环境中不同软件缺陷检测技术的评估方法；(3)扩展软件分析技术基础，创建新的实验室包，可以被其他软件工程研究人员根据自己的环境和文化需求进行调整和重用

9900307 Basili, VictorThis research focus on developing techniques to analyze software documents for defect detection. More especifically, mutation testing and document reading techniques will be tailored to detect defects in software formal specifications and source code at Brazilian and American academia and industries. This family of software analysis technologies will be empirically validated in controlled experiments, and packaged in tailorable and reusable software engineering laboratory packages. The goals of this work are: (1) to create software analysis technologies that can be successfully used for defect detection in software specifications and code, and develop empirical methods that can be followed to continually improve those techniques in different environments and cultural settings; (2) to develop evaluation methods that can be used to compare diverse software defect detection technologies in academic and industrial settings; (3) to expand the software analysis technology base, creating new laboratory packages that can be adapted and reused by other software engineering researchers, based upon their own environmental and cultural needs