RUI: Amorphous Program Slicing

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

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.