主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
孙昌爱.基于约束的软件失效域识别与特征分析.软件学报,2012,23(7):1688-1701
基于约束的软件失效域识别与特征分析
A Constraint-Based Approach to Identifying and Analyzing Failure-Causing Regions
投稿时间:2011-01-26  修订日期:2011-08-23
DOI:10.3724/SP.J.1001.2012.04126
中文关键词:  软件测试  测试用例  软件失效  软件缺陷  程序分析
英文关键词:software testing  test case  software failure  software defect  program analysis
基金项目:国家自然科学基金(60903003); 北京市自然科学基金(4112037); 国家教育部博士点基金(2008000401051); 中国科学院软件研究所计算机科学国家重点实验室开放课题(SYSKF1105); 中央高校基本科研业务费资助项目(FRF-SD-12-015A)
作者单位E-mail
孙昌爱 北京科技大学 计算机与通信工程学院,北京 100083
中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190 
casun@ustb.edu.cn 
摘要点击次数: 2825
全文下载次数: 3312
中文摘要:
      随机测试是实践中广泛采用的一种黑盒测试方法.近年来提出的适应性随机测试方法改进了随机测试的不足,仿真实验结果表明,改进效果取决于软件失效域的特征.提出以测试约束刻画软件失效域在输入域上的分布,探讨了基于现有的程序分析技术构造测试约束的过程,讨论了基于测试约束的软件失效域的特征分析方法.以一个实例软件验证所提出的测试约束构造过程及其软件失效域特征分析方法.测试约束揭示了软件故障的触发与传播的内在机制,基于测试约束的软件失效域的特征分析方法有助于改进测试用例的设计质量以及评价适应性随机测试方法的适用性.
英文摘要:
      Random testing is a widely practiced black-box testing technique. Recently, adaptive random testing has been proposed to improve the random testing, and simulation results show that the improvements depend on the characteristic of failure-causing regions of program under test. This paper presents the concept of test constraints and employs them to specify the distribution of failure-causing regions within the input domain of program under test. Characteristic analysis of failure-causing regions can be conducted on the base of their test constraints, which are derived using the available program analysis techniques. To evaluate the proposed technique, a case study on a real-life application was conducted, and the results show that the proposed test constraint provides an insight into how a failure is triggered and propagated, and the constraint-based analysis helps to improve the quality of test case design and assess the applicability of the adaptive random testing.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利