SREM (Software Requirements Engineering Methodology) Evaluation. Volume 2. Specifications and Technical Data

摘要

In the fall of 1980, the Rome Air Development Center contracted Martin Marietta Denver Aerospace to perform a comprehensive evaluation of the Software Requirements Engineering Methodology (SREM). The objectives of the evaluation were to assess the capabilities of SERM for specifying the software requirements of large, embedded computer systems and to recommend improvements which would enhance its effectiveness. Specific evaluation criteria were developed to judge the effectiveness of the methodology, support tools and user training. The approach included attending a SERM training course and using SERM to specify the software requirements for two Air Force systems. In general, it was found that the SERM was an effective vehicle for specifying and analyzing the software requirements of large embedded computer systems, especially descriptions of real work objects, data requirements and message processing. However, deficiencies were noted in the specification language, particularly in describing parallel and distributed processing requirements, in the friendliness of the user interfaces to the analysis (consistency/completeness) and simulation tools, in the performance of these tools and in the effectiveness of the training. Appropriate improvements to all of the functional deficiencies are recommended.