一种新的分析和检查需求模型

一种新的分析和检查需求模型 A FORMAL MODEL FOR ANALYZING THE SCR STYLE REQUIREMENTS SPECIFICATIONS 徐煜 Xu Yu 1 2 3 first-author 毋国庆 Wu Guoqing 1 2 3 刘翔 Liu Xiang 1 2 3 陈莘萌 1 2 3 武汉大学软件工程国家重点实验室 武汉大学软件工程国家重点实验室 State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China) Chen Xinmeng State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China) Chen Xinmeng 武汉大学计算机科学与技术学院 武汉大学计算机科学与技术学院 武汉大学软件工程国家重点实验室武汉大学计算机科学与技术学院 武汉大学软件工程国家重点实验室武汉大学计算机科学与技术学院 由于ＳＣＲ（ＳｏｆｔｗａｒｅＣｏｓｔＲｅｄｕｃｔｉｏｎ）是较实用的定义软件系统需求的方法，以此方法为基础，提出一个形式化的分析和检查需求的模型．此分析和检查模型主要根据综合知识表示模型的一些基本原理，使用状态转换规则、语义计算规则和属性来形式化地描述ＳＣＲ中表格符号的语义，并通过执行规则来自动分析由ＳＣＲ定义的需求．为便于理解，给出了一个简单的实例来介绍如何分析和检查基于ＳＣＲ的需求的一致性和完整性． Based on SCR（Software Cost Reduction）, this paper presents a formal model analyzing SCR style requirements. This model mainly apply state translation rules, semantic computing rules and attributes to define formal sementics of a tabular notation in the SCR requirements method, and may automatically analyze requirements specifications to be specified by the SCR method. Combining with a simple example, this paper introduces how to analyze consistency and completeness of requirements specifications. 状态转换规则 语义计算规则 属性 软件需求 state transition rules semantic computing rules attributes requirements specification TP311 国家自然科学基金(61672102) 1998-03-01 2021-04-01 3