论文部分内容阅读
提出一种数据民控制流相结合的测试方法，在Ｐｅｔｒｉ网模型对上于控制流选定操作符覆盖标准，对于数据流采用ａｌｌ－ｄｅｆｓ标准，最后给出一既考虑数据流标准又考虑控制流标准的求测试序的算法。
基于Petri网的数据流与控制流相结合的协议测试
【摘 要】
：
提出一种数据民控制流相结合的测试方法，在Ｐｅｔｒｉ网模型对上于控制流选定操作符覆盖标准，对于数据流采用ａｌｌ－ｄｅｆｓ标准，最后给出一既考虑数据流标准又考虑控制流标准的求测试序的算法。
【机 构】
：
内蒙古大学计算机学院
【出 处】
：
内蒙古大学学报：自然科学版
【发表日期】
：
1998年5期
【基金项目】
：
国家自然科学基金
其他文献
概述了我国录井行业四大发展阶段，从录井技术在油气勘探过程中的作用、录井设备和技术发展与应用以及国内外录井技术主要差距等几个方面阐述了录井技术现状，提出了录井技术的发
未来两年,由于中东地区局势将保持相对稳定、世界石油需求增长平稳、OPEC继续实施严格的限产保价措施,国际油价仍将在较高价位波动;面对新的挑战,世界能源工业应加强国际合作
介绍了国内润滑油市场的供需情况，对竞争态势和产品结构特点进行了研究，分析了国内基础油供应情况，对“十一五”期间国内润滑油市场的发展情况进行了预测。
香蕉束顶病毒为直径１８－２０ｎｍ的球形粒子，其，基因组至少含有六个约１．０ｋｂ的单链环状ＤＮＡ分子。
本文提出了一种面向对象软件的集成测试方法．主要讨论了类测试后，集成的策略并给出了集成测试过程及产生测试例的方法．
分析了2006年第三季度国际油价的走势及要因。根据影响国际油价的主要因素，分析预测了四季度国际油价的可能变化趋势。
用原子吸收分光光度法测定了脓疮草中的微量元素铁、锌、铜、锰的含量；用硅胶Ｇ薄层层析分离了脓疮草中的生物碱、用聚酰胺薄膜层析分离了脓疮草中的黄酮类有效成分。
<正>2005年是国际油价跌宕起伏、屡创新高的一年,也是世界经济复苏、国际能源地缘政治格局发生深刻变化的一年。在这一年里,中国的石油石化企业克服了“价格倒挂”、“炼制行
期刊
阐述了油田与员工、生态环境及地方之间和谐发展的关系，指出了油田可持续发展面临的问题，提出了油田可持续发展的对策。
评述了ＤＮＡ核苷酸关联的几种研究途径。重点研究了偏好模分析方法，讨论了它与信息参数的联系，发现了编码区偏好用Ｓ－Ｗ（强弱键）语言，而非编码区偏好用Ｒ－Ｙ（嘌呤嘧啶）语言，解释了这种区分的意义，找到