云南高校图书馆联盟文献共享服务平台- 数据流测试

数据流测试: 作品数：15被引量：27H指数：4; 导出分析报告; 相关领域：自动化与计算机技术电子电信更多>>; 相关作者：张鹏程吉顺慧曾红卫马魏缪淮扣更多>>; 相关机构：河海大学上海大学北京邮电大学华中科技大学更多>>; 相关期刊：《软件导刊》《计算机工程与应用》《计算机科学与探索》《通信学报》更多>>; 相关基金：国家自然科学基金国防科技技术预先研究基金上海市教育委员会重点学科基金上海市自然科学基金更多>>

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

模型检验在构件数据流测试中的应用被引量：5: 《计算机科学与探索》2010年第12期1121-1130,共10页曾红卫缪淮扣; 国家自然科学基金No.60970007;61073050;上海市自然科学基金No.09ZR1412100;上海市科学技术委员会项目No.10510704900;上海市重点学科建设项目No.J50103~~; 模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述构件的外部行为,用带有变量定义和使用标记的Kripke结构描述构件状态迁移中的数据流信息;给出了从构件状...; 关键词：构件数据流测试模型检验陷阱性质