首页> 中文会议>中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会 >基于代数规约黑盒测试中测试用例自动生成技术研究

基于代数规约黑盒测试中测试用例自动生成技术研究

页面导航

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

摘要

基于代数规约的软件测试是软件黑盒测试研究的一个重要内容.本文对当前基于代数规约面向对象测试中测试用例的生成技术及相关工作进行了分析,在可观察分类扩展定义和良构规约的基础上,提出了一个基于代数规约由公理的等价项基本对产生测试用例的方法.该方法适用于黑盒测试过程,保证了test oracle的有效性,同时使测试执行结果的评估工作得到了极大的简化.

著录项

来源
《中国科学院计算技术研究所第九届计算机科学与技术研究生学术讨论会》|2006年|457-463|共7页
会议地点青岛
作者
孔良;
展开▼
作者单位

中国科学院计算技术研究所;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类软件工程;
关键词
软件测试; 黑盒测试; 代数规约; 测试用例; test oracle;

相似文献

中文文献
外文文献
专利

1. 基于形式规约的软件测试用例自动生成技术研究 [J] . 邹北骥 ,张保国 ,李军义 . 湖南大学学报（自然科学版） . 2004,第003期
2. 基于树型模型的黑盒测试用例自动生成 [J] . 孙淑香 ,侯秀萍 ,蔡文涛 . 计算机技术与发展 . 2009,第002期
3. 一种基于组合覆盖的黑盒测试用例自动生成方法 [J] . 张卫祥 ,刘文红 . 飞行器测控学报 . 2008,第005期
4. 基于LKJ软件测试用例自动生成的技术研究 [J] . 李冠军 ,杨清祥 ,白鸿钧 . 铁路计算机应用 . 2019,第007期
5. 基于随机方法和优化的DPLL算法的测试用例自动生成技术研究 [J] . 查敬芳 ,白涛 ,胡立生 . 化工自动化及仪表 . 2016,第009期
6. 基于黑盒测试的车载影音娱乐系统测试用例设计方法 [C] . Qiu Cheng ,邱程 ,Wu Xiaolu . 2016中国汽车工程学会年会 . -1
7. 基于代数规约的Web服务测试用例生成技术研究 [A] . 何娟娟 . 2018

基于代数规约黑盒测试中测试用例自动生成技术研究

摘要

著录项

相似文献

相关主题

期刊订阅