测试动作相关论文
作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支......
针对飞机总装线地面人工综合测试效率低、周期长、一致性差等问题,提出了基于JSON数据交换技术的自动化测试系统。通过将复杂的测......