【摘 要】
：
有限状态机（Finite State Machine,简称FSM）模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实
论文部分内容阅读
有限状态机（Finite State Machine,简称FSM）模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与用户的需求一致,测试的目标就是检查被测实现是否与模型一致.给出了FSM的代数表示及其相关的测试理论,利用正则表达式的结构表示测试路径（抽象测试用例）,使测试分析变得更简单并利于形式推导.对任何抽象级的FSM,都可以从中产生满足确定测试准则的测试用例,它们是抽象的,对应不同的抽象级别,适合不同层次上的测试.最后还对FSM中完全路径的条数展开了分析,这便于考察
其他文献
我国目前规划种类繁多,规划间的矛盾由来已久.本文分析了城市规划,土地利用规划,生态环境保护规划等多种规划的文本成果和图件成果间差异,总结了规划自身特征冲突情况.对促进
2011年03月21日至4月20日,国家计算机网络入侵防范中心发布漏洞总条目为360条,漏洞总数比上月增加了5.26%.其中威胁级别为“紧急”的有51条,“高”的有60条,“中”的有205条,
中国红木文化源远流长,红木家具和其他的红木工艺品共同组成了中国的红木文化艺术,其中红木家具作为一个重要的组成部分,最终变成了名优器物流传下来.随着社会的发展和经济的
豫南粳稻的开发应用始自 5 0年代。曾先后多次立项攻关 ,但多侧重于优良品种的选择 ,收效不大。近年来 ,随着粮食供求关系的根本改变和人们生活水平的提高 ,优质米消费增加 ,
内蒙古克什克腾旗的达里湖是由火山喷发形成的高原堰塞湖，也是内蒙古著名的天鹅湖。达里湖是一个封闭的内陆咸水湖，由于补给量小于蒸发量，湖水碱性越来越大，ph值高达9.7，所以湖里
城市是人类文明的一个重要标志,是人类基于自然环境而创造的便于生产生活的集中化场所,与村落不同,城市往往有着明确的规划与设计,对于区域的使用范畴也有明确的规划.古往今