【摘 要】
：
研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试
【基金项目】
：
航空科学基金（20100753008）
论文部分内容阅读
研究了基于FSM模型的测试用例自动生成算法来验证实现的FSM与规格FSM的一致性。基于状态机分解的思想提出了新的用例生成方法,DC-方法。相对其他通用方法而言,它不必依据测试树中所有的子路径集合,从而使得用例集减少,同时减少每次重置到初始态的次数,测试序列的长度也有所减少,节省了测试时间,提高了效率,并且具有良好的扩展性,可以方便应用于包含数据流的测试,只需在搜索到所有的DU-Path后直接经过运算就能得出测试用例。并给出了生成用例方法的正确性证明。
其他文献
通过对142名非英语专业大二学生和尼泊尔学生问卷的分析和个别访谈,研究两国学生在非母语环境下外语口语学习策略运用的异同.中国学生学习策略使用频度较低.尼泊尔学生对各种
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
疼痛是机体受到损伤时发生的一种不愉快的感受和情绪体验,并伴随现有的或潜在的组织损伤,提示个体的防御功能或人的整体性受到侵害,导致患者产生焦虑、烦躁、失眠、情绪低落
通过理论分析车轮谐波磨耗对轮轨接触蠕滑特性的影响,得到谐波磨耗车轮的名义滚动圆半径与谐波阶数和车轮圆周不圆顺幅值（波深）的关系;以CRH2型高速动车组为例,使用多体动力学
大学生的社会化受到多方面的影响，社会经济、政治的重大和变革，社会生活的急剧变化，都在客观上对大学生社会化，包括大学生的政治态度，人格理想、道德素质、自主意识以及心理状态的
对玉米秸秆进行了理化及生物预处理方法的研究，结果表明：采用生物处理结合纤维素酶处理后的玉米秸秆基质，在不添加碳源时，刺孢小克银汉霉的油脂合成有明显的提高。但是，单一的理化
当今儿童少年主体意识的发展和价值观念新取向以及教育改革的深化,需要高度重视养成教育。在养成教育的过程中,分别给学生制定出系列性的养成规范,使学生的奋斗目标更明确。