论文部分内容阅读
本文分析了UML交互图和状态图中的消息提取机制，构造了使用形式化描述语言RAISE对UML图中提取的消息进行描述、规约和精华，最终生成测试用例的测试流程，提出了基于消息序列的面向对象软件自动测试方法，并么在此基础上提出了检测OO系统容借能力的测试用例构造方法。
基于消息序列的形式化面向对象软件测试技术
【摘 要】
：
本文分析了UML交互图和状态图中的消息提取机制，构造了使用形式化描述语言RAISE对UML图中提取的消息进行描述、规约和精华，最终生成测试用例的测试流程，提出了基于消息序列的面
【机 构】
：
西南师范大学计算机与信息科学学院重庆400715
【出 处】
：
计算机科学
【发表日期】
：
2002年10期
其他文献
基于概率知识表达的信度网,已成为人工智能非精确知识表达与推理领域近10几年来研究的热点.目前国外的许多研究机构都对信度网进行了深入的研究.这些研究主要集中在以下三个
1.引言近年来,计算机知识与技能考试逐渐向自动化方向发展,其中所涉及的核心技术之一是试题自动阅卷.计算机知识与技能考试的试题类型主要包括客观题(如选择、判断、填空、识
<正> 1 引言过去数十年中,大规模的计算机网络日益普及。不幸的是,实际用于广域网中构筑大规模分布式应用的技术远不如构筑该网络本身的技术成熟。例如,当前基于中间件的主流
"波动”一词从程序设计出现就已经产生.在程序中,各个语句之间不是孤立的,一个语句执行后的不同结果可能使另一个语句执行时得到不同的结果,或者决定了另一个语句执行或者不
1.背景 当今时代，电子商务已经遍及世界各地，并大有愈演愈烈的趋势。综观全球电子商务的发展历史，不难发现在其背后正是新技术的不断涌现在推动电子商务不断前进。从宏观的角度
1引言 一直以来,从逻辑系统到算术系统的转换都依赖于人工的描述,没有自动转换系统.例如,逻辑系统中已有以下信息:某班学生中选修数据结构课程的有50人,选修软件工程课程
期刊
一前言 Action演算簇(action calculi)作为描述一大类并发交互行为模型的数学框架[1,2],是具有某些相同特性的一类演算的集合,其中一个具体的演算称为action演算.Action演
期刊
With the development of e-commerce, digital product has been the main format of multimedia product onthe Internet. At the same time, the problem of copyright pr