【摘 要】
：
针对基于UML的面向对象程序设计方法及着色Petri网的特点，提出了一种基于着色Petri网的测试用例生成方法，该方法将UML的时序图描述转化为着色Petri网的形式化描述，通过深度优先
论文部分内容阅读
针对基于UML的面向对象程序设计方法及着色Petri网的特点，提出了一种基于着色Petri网的测试用例生成方法，该方法将UML的时序图描述转化为着色Petri网的形式化描述，通过深度优先遍历着色Petri网找出系统的测试路径，对给出的测试数据采用爬山法进行测试用例的选择，最后，根据路径覆盖的原则产生完整的测试用例．
其他文献
一、社会集资的具体做法 我市社会集资活动,是随着经济体制的改革和商品经济的发展而开展起来的。当时,我们面临着这样几个现实:一是一九八五年国家实行宏观控制,银根抽紧,贷
随着人民物质文化生活的提高,对农业生产提出了新的要求。首先是要求粮食保持合理的增长速度,以适应人口增长和人民生活改善对粮食转化的肉、禽、蛋、奶、鱼和粮食复制品的需
运用文献资料、问卷调查及数理统计等研究方法，对云南省5所高校的949名学生进行问卷调查，了解云南省高校学生参与体育活动的现状．研究表明：云南省大学生大多是喜欢体育锻炼的，但没
最近,我们对厦门经济特区利用外资的情况进行了一些调查。从我们了解到的情况看,引进外资,对厦门特区的经济发展起了重要的促进作用。 一、厦门市利用外资概况 从1980年国务
<正>厦门市农业银行从1980年恢复以来,为促进厦门特区建设发挥了重大作用,同时也加速了自身的开拓与发展.目前,厦门市农村金融分支机构已增至312个,遍布城乡各地,其中在特区
企业计划是按“市场引导企业”的观点来进行的。经验证明:企业计划在生产经营活动中,起着“龙头”作用。企业的产品从开发、设计、生产、经营到服务,每一环节的计划、控制、
随着城乡人民生活水平的提高,人们对畜产品需求不断增加,国家取消了某些约束畜牧业发展的因素,取消统派购,放开了畜产品价格,建立以市场调节为主,国家计划指导为辅的新的畜产
自从经济体制改革以来,企业每年都碰到预测来年制订年计划这个头疼而棘手的大问题。由于国家计划体制的改革,原材料由国家统一分配改为市场调剂,原料计划供应部分缩小,议价部
<正>三明市农行为了适应经济发展的要求.正确运用信贷杠杆,通过聚集和分配信贷资金,调整信贷投向,大力支持了乡镇企业的发展.1986年,乡镇企业贷款累计放出8229.5万元,比1985
<正>我行在“双增双节”运动中,注意从以下几方面广筹资金,内部挖潜:一、广开资金来源渠道,增强资金自给能力.加强对存款工作的领导与管理,存汇、会计、计划、信贷等部门与支