暂无评论
引入布尔差分的思想，对被测电路函数的BDD结构进行判断生成测试向量。本方案较传统的以图进行搜索的ATPG方法有效地减少了时空开销，并将布尔差分的理论方法应用于实际。实验表明，本方案可以有效地进行测试生
3、基于协作图生成集成测试用例的方法3.1研究假定为了有针对性地解决从协作图生成测试用例的问题,本文作出如下假定和要求:(1)假定协作图描述的协作与用例图描述的规约是一致的。模型本身的验证是通过非形式
一个基于UML协作图的集成测试用例生成方法王林章(南京大学计算机科学与技术系,南京市汉口路22号419信箱,210093,南京)摘要:UML协作图描述了系统的一个协作中参与对象之间的结构关系和交互行为
为提高软件特别是复杂软件的测试用例的设计效率和充分性,提出了一种基于序列图和状态图关联关系生成测试用例的方法。与一般的基于单一UML图生成测试用例的方面相比,该方法结合了UML序列图和状态图,首先通过
一种基于扩展WSDL的Web服务测试用例自动化生成方法,郑蓉蓉,,软件测试是保证Web 服务质量的重要技术手段。测试数据生成是Web 服务测试的重要内容。由于现有的WSDL缺乏明确的参数语义描述,造成
本文档介绍一种有限元网格自动生成方法，让你对对网格的生成有一个本质的认识，希望使你对网格划分技术有一个提高。本书提供免费下载
asp静态网页生成方法asp静态网页生成方法asp静态网页生成方法只是简单的生成；提供一个方法！！！
该方法通过回溯的方法实现了数独的一个完整的棋盘的生成,效率有待提高(ps:只是个逻辑部分,没上传完整实现)
本文给大家介绍mysql全局id生成方法,涉及到mysql全局id相关知识,感兴趣的朋友一起学习吧
用PDM生成数据字典，是项目管理者的好工具
暂无评论