论文研究 航空电子FC不同拓扑和服务类的实时性测试.pdf
针对通信软件的模型驱动测试框架中出现的测试生成问题,对MSC测试模型的测试生成方法进行改进,获得有效的系统测试集。采用符号执行和程序分析相结合的方法,收集生成的约束、测试脚本变量与被测系统变量之间的映射关系,据此生成测试模型,进一步进行模型验证和测试生成。这种方法可以对原有的测试集合进行半自动的扩展,对关心的程序路径进行测试覆盖,从而提高测试集合的有效性和完备性。
用户评论
推荐下载
-
图片上传Android端和服务端
包含Android端上传图片app源码和服务器端源码,希望能帮助到大家哈!
33 2019-05-28 -
androidpn客户端和服务端
完整版的androidpn,包含客户端和服务端,运行即可看到结果,需要更完善的客户端可以联系我,包括断线重连的功能。
20 2019-06-04 -
RHEL7启动配置和服务管理
内容是RHEL7启动顺序、设置启动级别、grub加密,以及RHEL7的服务管理配置
22 2019-07-28 -
UDP客户端和服务器
演示如何通过UDP自动寻找局域网内的服务器,程序源码有两部分,一个为UDP客户端,主要功能是发送广播,寻找服务器;另一个为服务器源码,主要用于接收客户端的消息并作出回应。
32 2019-07-04 -
IOCP客户端和服务端
包含了IOCP的客户端,和IOCP服务器,以及心跳机制
47 2019-05-03 -
FTP客户端和服务端
当前流行的FTP客户端-ChineseFTP;当前流行的FTP服务端-ha_Serv-U6406;简单易用经的住时间考验,你也可以拥有。
35 2019-05-07 -
管理Exchange组织和服务器.zip
管理Exchange组织和服务器,微软TECHNET教程
27 2019-05-28 -
AndroidPn客户端和服务端
AndroidPn 框架的服务器和客户端;
19 2019-06-21 -
tftp客户端和服务器
Tftp client and server
22 2019-06-22 -
NLB群集和服务器群集PPT
文档是北大青鸟的关于NLB群集和服务器群集的说明,希望可以对大家有所帮助。
33 2018-12-09
暂无评论