功能性验证相关论文
随着软件系统的日益庞大,对软件的要求也越来越高,对软件模型的验证和性能的度量,受到前所未有的关注,同时基于统一建模语言(Unifi......
多媒体技术为人类提供了重要的信息来源,但有限的带宽一直是其广泛应用的瓶颈,随之而出现的视频压缩编解码技术成为重大的突破口,......
学位
在目前功能性睦证技术中通常使用的是基于约束的随机测试。这只是解决了验证测试平台中的输入激励问题,但存在难以定位错误的缺点,在......