【摘 要】
：
为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制
【机 构】
：
宇航智能控制技术国家级重点实验室,北京航天自动控制研究所
论文部分内容阅读
为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性;再次采用基路径覆盖、转移对覆盖、条件元覆盖3种覆盖准则相结合方式实现测试用例的自动生成;最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为
其他文献
2010-2012年对苹果叶枯病发病规律研究的结果表明：该病病原菌RhizctoniasolaniKtihn寄主范围广泛，蔷薇科果树都可感染，可通过伤口或直接接触感染；以菌丝和菌核在病枝花芽、叶芽、
陕西泾阳及三原北部山区,近几年来小震活动频繁,相伴而生的地裂缝已对建筑物和农田等造成严重破坏,此种现象已引起人们普遍关注。 1.震群的活动特征泾阳震群和地裂活动区处于渭河断陷盆地北缘的嵯峨山一带(图)。1983年4月至1985年6月共发生小震376次,震级为M_L—0.1—2.9,震群的震源很浅,为2—7公里,大多数集中在6公里左右。整个震群大体上在一个走向北西,倾向南西的震源介面上活动。
导航系统中冗余IMU传统故障检测方法由于数学模型过于复杂,计算量大,存在较大延时、难以实现实时故障检测的现象,而主成分分析法仅仅应用于静态情况下的故障检测与隔离,针对
目的:探讨中医"治未病"理论运用于社区健康管理的效果。方法:对2010年杨家门社区居民健康体检中随机抽出1230人作为干预前组。随后,在社区采用"未病先防,既病防变"的中医"治
检测转基因食品的安全隐患和食源性致病菌的危害是食品安全检测的重要方面。针对PCR基因扩增技术、核酸探针检测技术、免疫学检测技术的特点及其在食品安全检测中的应用进行
当前在区域小气候观测项目中,随着社会发展的需要出现了不同主题的小气候站;典型的代表有农业气象,交通气象,空气质量,湖泊生态监测等;这些小气候站的构成一般包括支架地基、