形式化的软件测试模型研究

被引：4

作者：

赖祥伟

张为群

邱玉辉

周彦晖

机构：

[1] 西南师范大学计算机与信息科学学院

[2] 西南师范大学计算机与信息科学学院重庆

[3] 重庆

来源：

关键词：

软件测试模型; 形式化方法; 断言测试; UML; RSL;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。

引用

页码：169 / 173

页数：5

共 5 条

[1]

基于UML的形式化面向对象软件测试用例辅助生成技术.[D].赖祥伟.西南师范大学.2003, 03

[2] 形式化与可视化结合的FDOOM软件开发方法 [J].

周彦晖 ;

张为群 .

[3] 软件形式化与可视化软件模型的转换 [J].

周彦晖 ;

张为群 .

[4] 基于消息序列的形式化面向对象软件测试技术 [J].

赖祥伟 ;

张为群 .

[5] UML statecharts的测试用例生成方法 [J].

李留英 ;

王戟 ;

齐治昌 .