论文部分内容阅读
针对实时软件传统测试方法的不足 ,提出了用TimePetri网来生成测试方案的方法。该方法很好地处理了与时间有关的不确定性问题 ,具体例子说明了其在实时软件测试中的应用。
Time Petri网在实时软件测试中的应用
【摘 要】
：
针对实时软件传统测试方法的不足 ,提出了用TimePetri网来生成测试方案的方法。该方法很好地处理了与时间有关的不确定性问题 ,具体例子说明了其在实时软件测试中的应用。
【机 构】
：
海军航空工程学院军械工程系海军航空工程学院学员旅
【出 处】
：
计算机应用与软件
【发表日期】
：
2003年12期
其他文献
通过对管理思想演化过程的简要回顾,阐明了针对当前企业面临的现状,提出动态管理、协同管理和多学科综合集成管理的思想,以期对现代企业管理有所启迪和帮助.
阐述了军队档案信息网络安全保密建设新的理念,确立新的保密安全观、新的保密管理观、新的安全保密技术观、新的安全保密人才观.指出军队档案信息网络安全保密建设面临的威胁
通过对社会体育指导员继续教育的现况分析和专业继续教育对社会体育指导员的影响,提出了如何提高单位培训机构的教学质量和提升社会体育指导员学习效率的建议,其理论为社会体
明代的东林书院有一副大家耳熟能详的对联：风声雨声读书声声声入耳,家事国事天下事事事关心。这是东林党人对家国情怀的抒发。旧时的书院从来就是家国情怀萌芽生根的地方,是联
在两会期间，全国人大代表林文透露：我省近年来伪造、变造武装部队车辆号牌问题十分严重，不法分子利用伪造、变造的武装部队车辆号牌进行违法犯罪相当突出，严重损害了部队的形象，更
通过对比结合丙烯腈含量和门尼粘度相近的3个牌号丁腈橡胶(NBR)的分子结构参数、加工性能和硫化胶性能,研究NBR支化程度对其性能的影响。结果表明:采用橡胶加工分析仪对生胶
在财务审计实践中,采用传统方法获取数据、管理数据,已经难以满足审计工作的现实需求。鉴于此,在大数据背景下,针对传统审计技术、审计方法遭受的严峻挑战,在多个层面探讨财
系统前端采用微信小程序开发工具实现,后台采用thinkPHP5进行搭建,并运用Javascript技术进行研发,系统主要实现了约课管理、课表管理、用户管理、商城管理等功能,为瑜伽从业
准噶尔盆地车排子地区东北部石炭系火山岩溶蚀孔洞发育，是主要的油气储集空间。综合利用岩心描述、薄片观察、成像测井等资料，在成像测井图上识别出溶蚀孔洞并标定到常规测井中
'一桥飞架南北,天堑变通途',这是一句多么豪迈的诗句,曾几何时,这豪迈的诗句又曾激起了无数中华儿女对实现'天涯若比邻,归家的路不再遥远'的殷切期待和梦想