【摘要】 <正> 1 前言软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS)。对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要。但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂。为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE具的需求工程正不断向着需求工程自动化的方向发展。更多还原

【Abstract】 The paper presents the embedded real-time software-oriented requirements engineering environment -SREE, which has been developed by us recently. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements specifications. The paper first explains the principles of the executable specification language RTRSM and illustrates it with an example. Subsequently, through comparison with Statemate, the paper introduces the main functions of SREE, illustrates the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, the characteristics of SREE and our future research are discussed.更多还原