RUI: Amorphous Program Slicing

0305330RUI：无定形程序切片马里兰的Dave Binkley Loyola学院在安全关键系统(例如，核电站、医疗设备、电子银行和空中交通管制的控制)方面承担着越来越多的责任，这就需要生产高度完整性的软件(即，能够而且必须被信任可靠工作的软件)。该软件日益增长的复杂性要求提高理解能力，这可以通过改进工具支持来实现。本研究的主要目标是通过使用基于语义的软件分析工具来提高理解能力，从而提高程序员的工作效率。这项特别的研究将调查无定形程序切片在基于语义的工具中的使用。理解和传达程序的语义或含义的工具，为程序员提供独特而有用的信息。程序切片是一种程序分解技术，它识别程序中有语义意义的部分。无定形程序切片是程序切片的最新变体，它减少了程序员必须考虑的代码量。要实现这些目标，需要建造一种无定形切片工具，然后用它进行实验。一个有效的工具将提高程序员的工作效率；从而增加程序员的理解，降低软件成本，也许更重要的是，提高软件的完整性。

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.