UML在软件可靠性测试数据自动生成中的运用

来源 :北京航空航天大学学报 | 被引量 : 0次 | 上传用户:jwz1270
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根据这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.
其他文献
摘要:互联网的急速发展使得每个行业的运行模式发生了巨大的变化。在这样的环境下,手机应用程序的宣传从以前的传统媒体宣传到如今的互联网为载体进行宣传,经历了重大改革。该文阐述如何建设开放式移动应用交流平台,主要功能有:用户的注册和登录,用户上传或下载手机应用,用户对应用进行评论,管理员发布新闻和招聘信息。该平台主要面向智能手机应用开发者和智能手机用户,宗旨是方便开发者发布自己开发的手机应用,通过其他用
摘要:在中职院校计算机实训室当中应用的个人计算机,在使用了一定的时间之后容易出现故障率高、损耗率大的问题,这对于实训室管理工作的开展及教学效率的提升都产生了严重制约。云桌面系统通过使用虚拟化技术,能够为用户提供各种硬件和软件资源,满足实训室管理和数据安全的需求。本文主要分析了目前由传统个人计算机组成实训室中存在的问题,以及云桌面技术在中职计算机实训室管理中的应用。  关键词:云桌面技术;中职;计算
十字梁实验系统是一个高阶非线性系统,也是一个典型的多输入输出系统.本文给出了十字梁鲁棒输出跟踪的二阶滑模控制器.二阶滑模控制削弱了传统滑模控制的抖振问题,还对系统存
舱外载人机动装置的姿态控制为非线性时变,并且带有不确定参数的系统控制问题,传统的控制理论难以处理该问题.为了验证自适应控制方法对该问题的处理以及该方法在工程上的实
以一架具有飞行控制系统的飞机为对象,开展了伺服弹性(结构模态耦合)试验研究,旨在揭示该飞机的伺服弹性稳定性本质.同时,阐述了结构模态耦合试验的方法和原理,给出了典型状
新型精确制导导弹为了获得更大的机动性、敏捷性和更高的命中精度,大多采用了推力矢量控制或反作用推力控制.讨论了敏捷性导弹的动力学特性及数学建模,并针对一类反作用推力