基于构图覆盖的软件需求检测方法

来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户：yanghao_haohao

【摘要】

：

以需求描述模型RTRSM为基础,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型,提出了构图覆盖的动态检测方法,并给出了其具体算法.该方法能

【作者】

：

王敏毋国庆朱立松舒风笛

【机构】

：

武汉大学,武汉大学

【出处】

：

小型微型计算机系统

【发表日期】

：

2003年11期

【关键词】

：

嵌入式实时软件系统需求规格说明动态执行模型构图 embedded realtime software systems requirements spec

【基金项目】

：

国家自然科学基金，高等学校博士学科点专项科研项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

以需求描述模型RTRSM为基础,通过建立抽象的、能将控制流和数据流等有机地结合到一起的实时软件的动态执行模型,提出了构图覆盖的动态检测方法,并给出了其具体算法.该方法能检测嵌入式实时软件系统动态执行步中各并行成分及其相互间的执行情况,而且也可为分析员提供一些有用的检测信息以提高分析和检测软件需求的效率.

其他文献

围手术期低体温的护理

期刊

围手术期低体温护理

用户级多任务的两种实现方法

在分析了系统级多任务需要哪些硬件支持的基础上,提出了进程扩展型虚拟机和指令解释器型虚拟机的概念,给出这两种虚拟机如何模拟支持多任务的硬件机制的方法,以及在虚拟机上

期刊

用户级多任务系统级多任务虚拟机进程扩展型虚拟机指令解释器型虚拟机Userlevel multitask systemlevel multitask

多发性骨化性纤维瘤1例

骨化性纤维瘤系起源于骨组织的良性骨肿瘤，我院于1999-10-11临床中曾遇1例，现报道如下。患者，男，45岁，下颌部包块7～8年，逐年增大。近半年更加明显。下牙大部分松动、脱落，下颌活动受

期刊

心电图多发性骨化性纤维瘤X线诊断