-
题名从Rose的规约文件自动生成测试用例
被引量：3
- 1
-
-
作者
张毅坤
施凤鸣
-
机构
西安理工大学计算机科学与工程学院
-
出处
《计算机应用》
CSCD
北大核心
2003年第12期12-15,共4页
-
基金
陕西省教育厅科研基金项目 (0 0JK2 6 5)
-
文摘
对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。
-
关键词
面向对象
基于状态的测试
测试用例
UML
状态图
有限状态机
-
Keywords
Object-Oriented
state-based testing
test cases
UML
state diagram
FSM
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于状态的类测试研究
- 2
-
-
作者
屈亮
华继学
冯增辉
-
机构
三原
-
出处
《计算机测量与控制》
CSCD
北大核心
2010年第4期792-794,797,共4页
-
文摘
类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误。
-
关键词
OSD模型
基于状态的测试
类测试
-
Keywords
OSD model
state-based testing
class testing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一个C/C++程序集成测试平台的设计与实现
被引量：3
- 3
-
-
作者
毛澄映
卢炎生
谢晓东
江胜
顾海波
-
机构
华中科技大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第6期1037-1043,共7页
-
基金
国家"十五"科技预研项目(413150902
10104010201)
湖北省自然科学基金项目(2005ABA266)资助
-
文摘
研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.
-
关键词
静态分析
结构性测试
基于状态的类测试
测试驱动器
聚类分析
-
Keywords
static analysis
structural testing
state-based class testing
test driver
clustering analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
