| 基于SPEC#的自动测试方法 |
| |
| 引用本文： | 陈玲,杨宗源.基于SPEC#的自动测试方法[J].计算机应用与软件,2007,24(11):89-91. |
| |
| 作者姓名： | 陈玲 杨宗源 |
| |
| 作者单位： | 华东师范大学计算机科学系软件工程实验室 上海200062 |
| |
| 摘 要： | 测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段.基于(SPEC# NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法.这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例.这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能.
|
| 关 键 词： | SPEC# 形式规范 测试用例 测试框架 谓词断言 SPEC 自动化 测试方法 SOFTWARE SYSTEM TESTING 思想 指导 设计 复杂数据 中间状态 模拟对象 空间 测试用例 搜索 标准判断 谓词 形式化 使用 面向对象软件 平台 |
| 修稿时间： | 2005-09-12 |
AN APPROACH TO TESTING OBJECT-ORIENTED SOFTWARE SYSTEM |
| |
| Chen Ling,Yang Zongyuan.AN APPROACH TO TESTING OBJECT-ORIENTED SOFTWARE SYSTEM[J].Computer Applications and Software,2007,24(11):89-91. |
| |
| Authors: | Chen Ling Yang Zongyuan |
| |
| Affiliation: | Software Engineering Lab,Department of Computer Science, East China Normal University,Shanghai 200062, China |
| |
| Abstract: | Test is the direct guarantee of the softwares quality.Writing test code manually is not only labor-intensive but also remains a lot of problems.The research on the software automatic test is still at the stage of academic study.A practical approach to testing object-oriented software system is presented based on the(SPEC# NUnit)platform.This approach can simulate the mid-state of the object,generate the complicated structural test cases automatically,and generate the test oracles by the formal predicates.The implementation of the automatic testing framework makes it possible that the test should absolutely reflect the design and the whole process of the test phase should be thoroughly directed by the design. |
| |
| Keywords: | SPEC# Formal specifications Test cases Test framework Formal predicates |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
