退出
我的积分:
中文文献批量获取
外文文献批量获取
李希合; 沈苏彬;
中国计算机学会;
江苏省计算机学会;
南京邮电大学;
构件化协议; 通信有限状态机; 会话初始协议; 测试序列;
机译:用于生成EFSM指定的协议测试序列的启发式转换可执行性分析方法
机译:基于SAT算法的通信协议测试序列生成方法
机译:UIO_E:使用过渡可执行性分析(TEA)的协议测试序列生成方法
机译:一种二部图方法来生成最佳测试序列,以使用Wp方法进行协议一致性测试
机译:一种针对AHPL(硬件编程语言)描述的同步顺序电路的测试序列生成的启发式搜索方法,
机译:为了对复杂环境样品中的物种进行准确的分子鉴定:测试序列过滤和聚类方法的性能
机译:使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析:自动生成正式协议规范的测试序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。
机译:生成测试序列的方法和生成测试序列的设备
机译:测试电子部件的方法,包括生成测试序列并将测试序列提供给电子部件,其中通过将响应信号与预定阈值进行比较来进行错误检测。
机译:程序的操作特性,例如执行时间,评估方法,例如芯片卡,涉及使程序经受测试选择和测试序列,这些测试选择和测试序列基于对程序静态分析的测试要求进行参数化
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。