论文部分内容阅读
为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题，提出了约功能的概念，对输入变量按照实时特性和取值特性进行了分类，探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法，建立了描述输入变量的模型，并给出一个实例，展示分析输入变量的方法。
面向RT软件测试数据自动生成的输入变量分析
【摘 要】
：
为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题，提出了约功能的概念，对输入变量按照实时特性和取值特性进行了分类，探讨了利用随机过程描述具有随机
【机 构】
：
北京航空航天大学工程系统工程系
【出 处】
：
北京航空航天大学学报
【发表日期】
：
2000年6期
其他文献
9月18日，厦门市湖里区举行义务教育均衡发展公民、办小学结对协议签约仪式。根据地理位置相近原则，湖里区教育局将17所民办小学就近“指配”给17所公办小学。结对互助将从学校
去西班牙，去马德里，如果你没有尝以下几样美食，我会为你感到遗憾的。 西班牙火腿 西班牙的火腿驰名世界。一打开这照片，我仿佛就闻到了扑鼻的香味，开始咽口水了。通常在西班牙这是TAPAS（一小碟一小碟各种小菜）中的价格比较贵的一种，切得非常薄，几乎像珠宝一样晶莹透亮，散发着诱人的香味。当地人就着外硬里软的法国面包吃。在美国，吃客们放一二片红红的火腿在哈密瓜、青瓜或者乳酪上，作为招待宾客的餐前点心，
2011年12月，我随大连市教育视察团到日本进行为期一周的考察和学习。一路行走，我用心观察，用心聆听，目睹了日本优美的环境、有序的交通，感受着他们成熟的管理制度、高度的敬业精神
学校特色发展既然是一个过程，就必然会有起点、行动和结果。所以，对学校特色发展的评价既要看过程，也要看结果，将过程评价与结果评价结合起来。具体而言，起点评价应重点关注学校特
也许，最热爱鱼的民族，就是侗族了。 侗族是少数民族，相传源于古代的越人，现主要分布在广西、湖南和贵州，以农业为主，兼营林木，擅长种植水稻，形成了稻田养鱼的有机共生农业模式。 鱼，被侗族认为是水稻的保护神， 甚至把鱼当作禾魂来敬。在侗族地区，处处可见鱼的影响，形成了独特的鱼图腾和鱼文化。 在侗族的饮食文化之中，把鱼腌起来吃，是一种神奇的吃法。 春天三月，在蒙蒙细雨之中，布谷鸟殷切地叫唤声一声
主要研究灵巧手和物体滚动接触时运动规划，首先，介绍了空间物体曲面的表示，在此基础上建立了两刚体点接触时的运动学方程，并由点接触的运动学方程和滚动接触的约束条件得到了两刚
有人说“酒是穿肠毒药”，此语虽道出了酒之危害，却也不尽然。“沉酒无度，醉以为常者，致疾败行，丧邦亡家，陨身亡命”，倒也确实，但少饮者却未必如此。据李时珍《本草纲目》记载，“酒，天之美禄也……少饮则和血行气，壮精御寒，消愁遣兴。”《本草新编》中也说：“酒，味苦，甘、辛、气大热，有毒。无经不达，能引经药，势尤便捷，通行一身之表，高中下皆可至也，少饮有节，节脾护肝，驻颜色，荣肌肤，通血脉。”此外，一些外
与Ｇｏｌｄｓｔｅｉｎ假设一致的刚性尾涡是螺旋桨升力线计算中的常用模型，适于轻负荷工况，但在较大负荷工况时则有一定的误差。与Ｔｈｅｏｄｏｒｓｅｎ假设一致的半刚性尾涡将Ｇｏｌｄｓｔｅｉｎ尾涡推广至较大负荷工况。对Ｔｈｅｏｄｏｅｓｅｎ尾涡模型应用
从福州市教育局给市人大代表的建议答复中获悉．福州市今后新建中小学校舍教室将为每个学生设置一个专用的小型储物柜，为学生沉重的书包“减负”。据福州市教育局介绍。新发布的