U.S.-China Cooperative Research: A Theory and Methodology for Testing Concurrent Software Systems

小行星9731620 该奖项支持北达科他州州立大学何旭东领导的研究小组和中国南京大学朱虹领导的研究小组之间关于测试并发软件系统的合作研究。 何教授是并发系统形式化方法的专家，朱教授是软件测试理论的专家。 该项目的目标是开发一个理论，用于测试并发软件系统的一般和开发一种方法，专门用于测试层次谓词转换网。 中方的支持将由国家自然科学基金委员会提供。

9731620 He This award supports initiation of collaborative research on testing concurrent software systems between the research group led by Xudong He at North Dakota State University and the research group led by Hong Zhu at Nanjing University in China. Professor He is an expert on formal methods for concurrent systems and Professor Zhu is an expert on software testing theory. The goals of the project are to develop a theory for testing concurrent software systems in general and to develop a methodology specifically for testing Hierarchical Predicate Transition nets. Support on the Chinese side will be provided by the National Natural Science Foundation of China.