【摘 要】
：
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展
【机 构】
：
内蒙古大学计算机学院; 内蒙古大学网络信息中心;
【基金项目】
：
国家自然科学基金项目(61163011);教育部春晖项目(Z2007-1-01032);内蒙古自然科学基金项目(2011MS0912)
论文部分内容阅读
为了提高Web应用的质量和可靠性,避免对Web应用进行测试时才发现其工作流程不合理,提出了在Web应用开发前先建立其工作流程的CPN模型,并基于CPN模型的状态空间给出了一个扩展-深度优先遍历算法,可以在满足状态覆盖和变迁覆盖的前提下减少测试序列的冗余度.为了展示该方法的有效性,以物流管理系统中的下订单业务为例,使用CPN对工作流建模,并对CPN模型进行正确性验证,之后采用扩展-深度优先遍历算法得到下订单业务的测试序列集,进而证实了扩展-深度优先遍历算法可以减少测试序列的冗余.
其他文献
本文主要运用文献资料法、问卷调查法、深入访谈法和数理统计法等研究方法对信息平台中的主体——学生和体育教师进行调查研究。本文通过学生和体育教师对信息平台应用的认识
《引子与塔兰泰拉》是萨拉萨蒂的经典代表作品之一,作品中蕴含着丰富的音乐内涵和演奏技术。本首作品具有浪漫主义末期的民族风格特点,整曲曲风欢快,情绪热烈,至今为止仍是世
输卵管扭转是指输卵管以其自身轴线旋转,不伴有同侧卵巢扭转的一种妇科急腹症,发病率极低,仅为1/150万。其临床症状不典型,易造成误诊。妊娠期输卵管扭转更是罕见,占输卵管扭
[郑成思:知识产权保护更要保护源] 知识产权界的领军人物,全国人大代表、中国社会科学院知识产权研究中心主任郑成思说,在我们以现有的由发达国家决定框架的"知识产权"为基础
自主创新能力是科技竞争力的核心和国家竞争力的基石,我国历来都非常重视科学技术及创新能力的提高。在2006年年初的全国科学技术大会上,明确提出了到2020年我国要进入创新型
分析了非接触电能传输系统中耦合谐振电路的特性，着重探讨了谐振状态对提高传输功率和传输效率所起的重要作用，进而提出了基于锁相环的自适应谐振控制策略。通过对逆变器输出电
随着经济全球化、信息全球化的不断推进,文化大发展大繁荣的时代背景下,国家文化软实力的提法也被更多的人所熟知和关注。综合国力的比拼依靠传统的硬实力已经远远不够,各个
毛泽东是中国杰出的思想家和政治家,他的理论思想对当今政府管理和社会发展有着相当大的借鉴意义。中华苏维埃时期,共产党人号召和激励广大劳苦大众投身中国革命和建设,取得
马克思主义“需要”思想是马克思主义关于人的发展思想中的重要组成部分之一。因此,结合中国当前的社会现实,及以人为本的发展思想,运用文本梳理研究马克思主义“需要”思想