【摘 要】
:
在航空航天领域,大量安全关键的实时软件系统承担着数据采集、处理和分析任务,如何模拟各种故障数据,对实时软件系统进行充分测试一直是工程实践中的现实难题。本文根据实时
【机 构】
:
Jiuquan Satellate Launch Center of China, Gansu 732750
论文部分内容阅读
在航空航天领域,大量安全关键的实时软件系统承担着数据采集、处理和分析任务,如何模拟各种故障数据,对实时软件系统进行充分测试一直是工程实践中的现实难题。本文根据实时软件系统输入数据源特征,定义了报文变异和数据变异两大类共14种输入数据变异算子,提出了一种基于变异的实时软件系统故障数据模拟架构,能够在系统、子系统、采集单元和传感器等多个层次上应用各种变异算子,系统地模拟生成故障数据,为软件测试提供各种组合的复杂故障数据源。应用结果表明,该方法利于发现实时软件系统中各种异常数据可能造成的软件问题,从而有效提高软件测试的充分性。
其他文献
随着互联网和漏洞利用技术的发展,堆缓冲区溢出漏洞越来越受到人们的重视。本文对DLmalloc的数据结构和核心算法进行了仔细分析,然后通过堆缓冲区漏洞利用实验,归纳总结了两
文中将IOCO一致性测试理论与着色Petri网(Colored Petri Nets,CPN)进行优势融合,提出一种基于CPN模型的IOCO一致性测试生成新方法。首先,定义了面向一致性测试的CPN模型(
农场通知她丈夫去场部处理善后事宜,见了尸体,她丈夫说,没事没事,这不怪你们。她在西安家里的时候,大家在一搭儿玩,练习过上吊,如果姿势正确的话死不了。这次她是想吓唬你们
不让古人是谓有志,不让今人是谓无量。有才而性缓,定属大才。有智而气和,斯为大智。以恕己之心恕人则全交。以责人之心责己则寡过。在事者,当置身利害之外。建言者,当设身利
在水温20~25℃条件下,采用静水试验法研究了聚维酮碘、溴氯海因、氯化钠和高锰酸钾等4种常用水产药物对西杂鲟幼鱼(平均体长11.40 cm,平均体质量10.10 g)的急性毒性.结果显示,
软件故障诊断过程中代价最昂贵和最耗时的活动之一就是软件故障定位。为了辅助测试人员进行软件故障的定位,在设计分层思想的指导下,本文在分析软件及其各个模块以及模块中
测试环境作为软件测试的载体和平台,是软件测试工作的主要支撑和重要保证。测试环境设计作为测试设计的一项重要内容,对于测试技术和方法的选择、后续测试执行工作及测试结
现有服务组合中在选择Web服务时使用的是服务供应商提供的静态Qos属性,而不是服务运行时表现出的真实值,这将影响到服务选择的质量.针对这一问题,本文提出一种基于卡尔曼预
目的探讨剖宫产手术中子宫肌瘤剔除术的可行性。方法回顾性分析笔者所在医院2009-2012年剖宫产术中子宫肌瘤剔除术的临床资料,进行单纯性剖宫产与剖宫产手术中合并子宫肌瘤剔
传统的文档审查通常采用基于检查单的审查方法,该方法主要存在以下两个问题,一是检查单中记录的缺陷类型不全,容易导致审查时缺陷的遗漏;二是检查单中某些问题类型与文档间缺