• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Stimulus response requirements specification notation: An empirically evaluated requirements specification notation.
【24h】

Stimulus response requirements specification notation: An empirically evaluated requirements specification notation.

机译：刺激响应需求规范符号：一种通过经验评估的需求规范符号。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This research has focussed on the development of a formal requirements specification notation that is suitable for the specification of large scale systems with complex data and logical requirements. Examples of such systems include air traffic control systems and automated on-line library systems. The motivation for defining the stimulus response requirements specification (SRRS) notation is to provide a notation that is readable (like natural language) and yet at the same time is amenable to automated tool support. Automated tool support such as parsers, typecheckers, analysis tools, and translators are extremely valuable in the effort to make the requirements specification phase of software development better, faster, and cheaper. The quality of the requirements specification may be improved as authors use the tool support to identify and remove defects in the specification before a peer review. The improvement in the quality of the specifications allows a peer inspection to take place in less time. The improvement in quality and the reduced inspection time means that the requirements specifications cost less to create. Additional quality, time, and cost improvements may be made by automating the generation of test specifications for the system level testing phase in the software development lifecycle.; The SRRS notation is evaluated in a controlled experiment to determine the costs and benefits of using the notation with its tool support in comparison to a similar, semi-formal notation. The experimental results show a significant reduction in defects detected in a peer review (81%) and a significant reduction in the amount of time to write, review, and correct a specification (39%). The costs include an increase in the training time: the subjects need two days of training, however, instead of one day.; The problem of defining a requirements specification notation that is suitable for describing systems with intricate data and logical conditions is complex. The decomposition of the problem led to a divide and conquer approach that solves the problem. The result is a set of two notations. The first notation (SRRS) is tailored for specifying requirements. The second notation is a core, or foundation, notation that is tailored to manage the data and logical condition complexity. The second notation is called the data specification (DSPEC) notation. As a core notation, DSPEC may be re-used with other notations that are well suited for other phases of the lifecycle. For example, a system level test specification notation could be defined that re-used the DSPEC notation.; The process of developing the formal SRRS notation is also presented in this work. The process begins with a notation that is currently being used at Raytheon Canada Systems Ltd. called Thread-Capability. The notation is evaluated and updated to create the semi-formal SRRS. The semi-formal notation is evaluated in industry in a case study and the notation is formalized by defining it syntax and semantics. A generalized process for formalizing an existing notation is included so that the work may be re-used.
机译：这项研究的重点是开发一种正式的需求规范表示法，该规范适用于具有复杂数据和逻辑需求的大型系统的规范。这样的系统的例子包括空中交通管制系统和自动在线图书馆系统。定义刺激响应需求规范（SRRS）表示法的动机是提供一种可读的（如自然语言）表示法，同时又适合自动化工具支持。诸如解析器，类型检查器，分析工具和翻译器之类的自动化工具支持在使软件开发的需求规范阶段变得更好，更快和更便宜的过程中非常有价值。由于在同行评审之前，作者使用工具支持来识别和消除规范中的缺陷，因此可以改善需求规范的质量。规范质量的提高使同行检查的时间更少了。质量的提高和检查时间的减少意味着需求规格说明的创建成本降低了。通过自动为软件开发生命周期中的系统级测试阶段生成测试规范，可以提高质量，时间和成本。 SRRS表示法在受控实验中进行了评估，以确定与类似的半正式表示法相比，使用带有工具支持的表示法的成本和收益。实验结果表明，在同行评审中发现的缺陷显着减少（81％），在编写，评审和更正规范时所需的时间显着减少（39％）。费用包括培训时间的增加：受试者需要两天的培训，而不是一天。定义适用于描述具有复杂数据和逻辑条件的系统的需求规范表示法的问题很复杂。问题的分解导致解决问题的分而治之方法。结果是两个符号的集合。第一种符号（SRRS）是为指定要求而量身定制的。第二种表示法是为管理数据和逻辑条件复杂性而量身定制的核心或基础表示法。第二种表示法称为数据规范（DSPEC）表示法。作为一种核心符号，DSPEC可以与非常适合生命周期其他阶段的其他符号重用。例如，可以定义重新使用DSPEC表示法的系统级测试规范表示法。这项工作还介绍了开发正式SRRS表示法的过程。该过程以雷神加拿大系统有限公司当前使用的一种称为“线程功能”的表示法开始。评估并更新该符号以创建半正式的SRRS。在案例研究中，对半正式符号进行了评估，并通过定义语法和语义对其进行了形式化。包括用于形式化现有符号的通用过程，以便可以重复使用该作品。

著录项

  • 作者

    Cooper, Kendra M. L.;

  • 作者单位

    The University of British Columbia (Canada).;

  • 授予单位 The University of British Columbia (Canada).;
  • 学科 Computer Science.
  • 学位 Ph.D.
  • 年度 2001
  • 页码 352 p.
  • 总页数 352
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 自动化技术、计算机技术;
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号