【摘 要】
：
针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统
【基金项目】
：
国家自然科学基金项目（61303031）
论文部分内容阅读
针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统,基于时间相关标记迁移系统和用例规约生成测试用例,测试用例的生成满足执行动作覆盖准则、路径覆盖准则和时间约束覆盖准则,给出测试用例的选择策略。基于网上订票系统的分析结果表明,该方法能够为时间相关并发系统有效地生成测试用例,通过p-π的验证方法,保证了产生的测试用例的正确性。
其他文献
数据维数对计算复杂度产生较大影响,降维会导致图像模式的拓扑和几何特征信息丢失,为提高降维后的数据保真度,提出一种基于塔式随机映射广义主成分分析(GPCA)的张量线性子空间图像模式低秩识别方法。在理论上给出塔式变换与随机映射特性分析,推导出随机映射是一个线性和拓扑保持的降维映射;在模式张量的线性降维中,对图像模式识别映射情形进行研究,利用迭代最小二乘算法进行GPCA步骤设计;基于塔式变换降维、随机映
波兰是欧洲农业大国，其小黑麦，马铃薯，水果，蔬菜，猪肉，牛肉，牛奶等产品的产量都居世界前列。波兰的农产品也以质优价廉而驰名欧洲。为了持续提高波兰农业的竞争力．波兰政府采取了一系
印度科技与海洋开发部部长西巴尔先生近日宣布，印度将挑选印度最杰出的科学家和英国在一系列的高瑞研究领域进行新的合作。这些合作项目的经费大约达到百万英镑。
脑膜瘤是一种原发性颅内肿瘤疾病,其发病原因复杂,治疗方法有所不同,治愈难度较大。临床上治疗脑膜瘤的方法包括:手术切除、手术辅助放疗、术前血管栓塞联合手术治疗及化疗和
为获取三维超声扫查的点云数据截面线,提出一种获取该点云截面线的方法。使用切片技术提取点云的截面数据,使用谱聚类算法将截面数据点划分成多个不相交的群集,将点云集分割
目的观察红黄光联合刺络拔罐治疗面部激素依赖性皮炎的疗效。方法 46例面部激素依赖性皮炎患者随机分成两组,治疗组24例给予红黄光联合刺络拔罐治疗,对照组22例给予依巴斯汀
多年来,美国实施的高技术人才开发战略主要包括两个方面:一是自行培养和造就具有创新意识的科技人才;二是从全球范围积极引进高技术人才,并把引进人才视为维持国际竞争力的重
1.农耕地及农村人口现状韩国国土面积99 408平方公里,其中山地占65.7%、河川占7.1%、宅地占2.3%、工业用地占0.5%、农耕地占21.7%(21 748平方公里);
在空分行业,为了方便存储,终端产品往往是低温液体,然后用槽车运输至不同的场所进行使用。在很多工厂,这些低温液体充装是由操作人员手工完成,效率很低。本文主要阐述如何通