【摘 要】
：
针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩
【机 构】
：
西北大学信息科学与技术学院,中航工业西安航空计算技术研究所,西安电子科技大学计算机学院
【基金项目】
：
国家自然科学基金资助项目(61502365)
论文部分内容阅读
针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。
其他文献
采用纳米级β-SiC粉末、Si粉末、C粉末以及微米级TiH2粉末为原料,利用热等静压原位合成工艺制备了SiC–TiC复相陶瓷,研究了不同原位合成反应和烧结工艺对复相陶瓷微观组织及
充分利用装置生产过程中的余热来产生蒸汽,达到降低蒸汽能耗的目的。分析废热锅炉运行中出现的一起列管爆管事故,查找引起爆管及锅炉水水质发生异常的原因,找出解决办法。改
2016年1月12日，内燃机再制造产业联盟（以下简称联盟）一届四次理事会议在北京召开。原机械工业部部长何光远、再制造技术国家重点实验室徐滨士院士等联盟顾问，中国内燃机工业协会
EC-301汽轮机高压侧汽封蒸汽泄漏原因分析、解决方法和改造带来的经济效益。结果表明,改造项目不仅解决了汽轮机高压侧汽封蒸汽泄漏问题,还节省了检修成本。
目的:研究消毒供应中心护士核心能力训练模式。方法资料选取2010年6月~2012年6月在消毒供应中心的16例护士作为研究对象,一组采用传统训练模式(传统组)。另外一组选择优质训
目的:通过观察术前使用帕瑞昔布钠对术后镇痛泵使用情况、镇痛情况及不良反应的影响,评价帕瑞昔布钠在宫颈癌手术中的超前镇痛效果。方法选择宫颈癌全身麻醉下手术患者80例,
曾国藩修身为本的道德自我完善之道,成功地避免了程朱理学的空洞说教,继承和发展了王船山思想,其“修身为本”的道德自我完善之道来自以儒家为核心的中国文化。曾国藩一生追
目的:掌握在临床护理过程中产生不良事件的原因、种类、容易发生的人群以及容易产生的科室,给采取有效的解决措施做好基础保障,争取从整体上提高我院临床护理的水平。方法通
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
2010年10月发布的《2010美国心脏协会(AHA)心肺复苏(CPR)及心血管急救(ECC)指南》(简称《2010心肺复苏指南》)[1]是全球心肺复苏的最新标准。而呼吸心跳骤停的发生是院前与临