首页> 中文期刊> 《软件学报》 >嵌入式实时系统的软件需求检测

嵌入式实时系统的软件需求检测

         

摘要

以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.

著录项

  • 来源
    《软件学报》 |2002年第5期|994-1002|共9页
  • 作者单位

    武汉大学;

    软件工程国家重点实验室;

    湖北;

    武汉;

    430072;

    武汉大学;

    计算机科学系;

    湖北;

    武汉;

    430072;

    武汉大学;

    软件工程国家重点实验室;

    湖北;

    武汉;

    430072;

    武汉大学;

    计算机科学系;

    湖北;

    武汉;

    430072;

    武汉大学;

    软件工程国家重点实验室;

    湖北;

    武汉;

    430072;

    武汉大学;

    计算机科学系;

    湖北;

    武汉;

    430072;

    武汉大学;

    软件工程国家重点实验室;

    湖北;

    武汉;

    430072;

    武汉大学;

    计算机科学系;

    湖北;

    武汉;

    430072;

    武汉大学;

    软件工程国家重点实验室;

    湖北;

    武汉;

    430072;

    武汉大学;

    计算机科学系;

    湖北;

    武汉;

    430072;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 程序设计、软件工程;
  • 关键词

    嵌入式实时系统; 软件需求; 需求规格说明; 动态执行模型; 构图;

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号