基于SPEC#的自动测试方法

陈玲; 杨宗源

首页> 中文期刊> 《计算机应用与软件》 >基于SPEC#的自动测试方法

基于SPEC#的自动测试方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段.基于(SPEC#+NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法.这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例.这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能.

著录项

来源
《计算机应用与软件》 |2007年第11期|89-91|共3页
作者
陈玲; 杨宗源;
展开▼
作者单位

华东师范大学计算机科学系软件工程实验室;

上海;

200062;

华东师范大学计算机科学系软件工程实验室;

上海;

200062;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
SPEC#; 形式规范; 测试用例; 测试框架; 谓词断言;

相似文献

中文文献
外文文献
专利

1. 基于目标优化的自动驾驶决策规划系统自动化测试方法 [J] . 邢星宇 ,吴旭阳 ,刘力豪 . 同济大学学报（自然科学版） . 2021,第008期
2. 基于HIL台架的ADAS自动化仿真测试方法研究 [J] . 韦圆盛 ,宋亚伟 ,付广 . 汽车周刊 . 2022,第1期
3. 基于RTDS的馈线自动化策略的测试方法研究 [J] . 蔡小辰 ,杨洪涛 ,李卫良 . 广西电力 . 2021,第002期
4. 基于ECU-TEST和Jenkins的自动化测试方法研究 [J] . 宋茜 ,吴速超 ,耿宗起 . 汽车电器 . 2021,第005期
5. 基于行为树模型的Android应用GUI自动随机测试方法 [J] . 佘学文 ,陈向宇 ,刘东启 . 计算机应用与软件 . 2021,第005期
6. 基于大数据的单片机通信接口干扰源自动测试方法 [C] . FENG Xianyong ,冯现永 . 2019年西南三省一市自动化与仪器仪表学术年会 . 2019
7. 基于办公自动化的卫星自动测试方法的设计和实现 [A] . 赵瑞峰 . 2010

基于SPEC#的自动测试方法

摘要

著录项

相似文献

相关主题

期刊订阅