SSACC:一种基于软件科学法的Ada并发复杂性度量

本文致力于将软件科学法应用于Ada程序的并发复杂性度量,描述其方法和基于这种方法的相应工具SSACC。文中为Ada并发程序提出了一个面向度量的操作元-操作符模型,将任务和入口作为操作元,将程序中的并发动作作为对任务施加的操作。SSACC是Ada并发复杂性度量工具MACC的一部分。

SSAC,一个基于软件科学法的Ada程序复杂性度量工具

SSAC是一个基于软件科学法的Ada程序复杂性度量工具,其主要特征是能同时分别度量程序的顺序复杂性和并发复杂性。文中描述了Ada程序中并发操作符和并发操作元的定义和识别。同时提出在Ada程序复杂性综合度量中,并发复杂性的加权思想。

程序复杂性度量

本文力图阐明程序复杂性度量的有关定义、研究内容、技术和方法,并探讨它用软件产品的质量、交付的时间和费用的关系以及它在软件开发中的作用。

Scientific Software Installation Testing Using a Plan-Do-Check-Act Methodology： A Case Study

The scientific software installation testing has a main goal： Evaluate if the software meets its requirements and specifications. In this paper, the scientific software installation in six machines is evaluated. The software installation was tested using a PDCA （Plan-Do-Check-Act） approach in 3 machines and were compared with other 3 machines which were installed exclusively based in the installer experience. The software installed on the machines using a PDCA approach for testing, lead to the expected results. Scientific software installation should be tested during the installation and not as a final test. A methodology based on PDCA is recommended for testing scientific software.