RUI: Amorphous Program Slicing

0305330RUI：无定式程序切割戴夫·宾克莱马里兰州洛约拉学院软件被赋予了越来越多的安全关键系统的责任（例如，对核电站、医疗设备、电子银行和空中交通管制的控制），这就需要生产高完整性的软件（即，能够而且必须被信任可靠地工作的软件）。这个软件日益增长的复杂性需要更多的理解，这可以通过改进的工具支持来实现。本研究的主要目标是通过使用基于语义的软件分析工具来提高程序员的工作效率。这项特别的研究将探讨在基于语义的工具中使用无定形程序切片。一个能够理解和传达程序的语义或意义的工具，为程序员提供独特而有用的信息。程序切片是一种程序分解技术，用于识别程序中语义上有意义的部分。无定形程序切片是程序切片的最新变体，它减少了程序员必须考虑的代码量。实现这些目标需要建立一个非晶切片工具，然后用它进行实验。一个有效的工具将提高程序员的生产力；这样就增加了程序员的理解，减少了软件成本，也许更重要的是，增加了软件的完整性。

0305330RUI: Amorphous Program SlicingDave BinkleyLoyola College in MarylandSoftware is given ever increasing responsibility for safety-critical systems (e.g., the control of nuclear power plants, medical devices, electronic banking, and air traffic control), which necessitates the production of high-integrity software (i.e., software that can and must be trusted to work dependably). The growing complexity of this software requires increased comprehension, which is obtainable through improved tool support.The primary objective of this research is to improve programmer productivity by improving comprehension through the use of semantics-based software analysis tools. This particular research will investigate the use of amorphous program slicing in semantics-based tools. A tool that understands and conveys the semantics, or meaning, of a program, provides unique and useful information to a programmer. Program slicing is a program decomposition technique that identifies semantically meaningful portions of a program. Amorphous program slicing is a recent variant of program slicing that reduces the amount of codea programmer must consider. Achieving these objectives requires building an amorphous slicing tool and then conducting experiments with it. An effective tool will improve programmer productivity; thus increasing programmer understanding, reducing software costs, and, perhaps more importantly, increasing the integrity of software.