Analysis and Testing of Concurrent Object-Oriented Software

并发面向对象软件的分析与测试

• 批准号: 9901004
• 负责人: Mladen Vouk
• 金额: $ 12.66万
• 依托单位: North Carolina State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-09-01 至 2003-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9901004&HistoricalAwards=false
• 关键词: Analysis; Testing; Concurrent; Object; Oriented

9901004 Kuo-Chung Tai North Carolina State University Title: Analysis and Testing of Concurrent Object-Oriented SoftwareDue to the popularity of object-oriented technology and network applications, the use of concurrent object-oriented programs is increasing rapidly. The goal of the project is to develop cost-effective techniques for analyzing and testing concurrent object-oriented programs. The research focuses on the following problems: analysis and testing of a class that contains data shared by multiple processes, analysis and testing of a set of classes that define processes communicating with each other, and incremental analysis and testing of a concurrent object-oriented program. The results of the research can be used to improve the reliability of concurrent object-oriented programs and to reduce the high cost of validating concurrent object-orientedprograms.

9901004 戴国忠 北卡罗来纳州州立大学题目：并发面向对象软件的分析与测试由于面向对象技术和网络应用的普及，并发面向对象程序的使用正在迅速增加。该项目的目标是开发用于分析和测试并发面向对象程序的成本有效的技术。研究的重点是以下几个问题：分析和测试的类，其中包含的数据由多个进程共享，分析和测试的一组类，定义了进程之间的相互通信，和增量分析和测试的并发面向对象程序。研究结果可用于提高并发面向对象程序的可靠性，降低并发面向对象程序验证的高代价。