论文部分内容阅读
软件测试是保证软件质量的最重要的手段,它代表了规约、设计和编码的最终评审.空中交通管制系统除了满足功能上的需求外,还必须满足时间约束,所以要搭建特殊的测试环境,以保证其实时性要求.
ATC系统测试方法研究与实现
【摘 要】
：
软件测试是保证软件质量的最重要的手段,它代表了规约、设计和编码的最终评审.空中交通管制系统除了满足功能上的需求外,还必须满足时间约束,所以要搭建特殊的测试环境,以保
【机 构】
：
四川大学计算机学院
【出 处】
：
中国民航飞行学院学报
【发表日期】
：
2004年5期
其他文献
徐培喜：您在2014年3月14日做出重要决定，将IANA职能的监管权（oversight）从美国商务部移交给全球多利益相关方……施特里克林：更正一下，我们不用“监管权”（oversight）这个词。我们用
新的政府监管模式更多地强调社会组织在监管中的作用。“三方代表制”理论和发达国家的食品安全监管实践，充分证明了社会组织在食品研究、标准制定、风险评估和检测、产品认证
宗教与社会生活之间联系的紧密程度无论怎样形容都不过分,反倒是有些论述显得相对保守和滞后,未能充分揭示出宗教对于社会发展和稳定的重要性。社会性是宗教最为本质的属性。
徐培喜：您曾经写道各国政府日益痛恨美国政府在IANA职能管理权方面扮演的特殊角色，并且认为斯诺登泄密事件是压倒骆驼的最后一棵稻草??戴尔比安科：我的确说过这些。但是，相信我，斯
从飞行进程单的发展历程着手,深入浅出地介绍了飞行进程单的定义、纸进程单的工作方式、电子进程单的格式、电子进程单的状态以及电子进程单的优点等内容,使读者对飞行进程单
目的研究原核类泛素(Pup)-蛋白酶体系统对分枝杆菌生长活力的影响。方法分别敲除耻垢分枝杆菌Pup-蛋白酶体系统中pup和蛋白酶体β亚基基因(prcB)。选取待敲除基因的上下游侧翼序列设计引物，构建自杀性载体，靶基因同源序列和菌株基因组发生同源重组后获得基因敲除的菌株。分别连续测定野生型和基因敲除株在正常及低氧和厌氧应激培养条件下的吸光度值，比较菌株生长活力的变化。结果正确构建敲除pup和prcB
在所有书体中,草书最能抒发书家的浪漫情性,是精神艺术的高度化,是书家最高情绪境界的表现。书家在草书创作过程中,如果达到情境契合,进入既遵循法度又超越规矩的情境状态,就
潮州《陈氏秋溪世家延华堂族谱》对明代秋溪陈氏移居笔山的记载存在着若干疑点,通过田野调查,以新出土的碑刻资料,与族谱进行比较,解读明代潮州笔山陈氏的移居过程,以及族谱