基于目标语句占优关系的软件可测试性转化

姚香娟; 巩敦卫

doi:10.3969/j.issn.0372-2112.2013.12.033

您当前的位置：

首页 >

文章列表页 >

基于目标语句占优关系的软件可测试性转化

科研通信 | 更新时间：2025-07-16

- 基于目标语句占优关系的软件可测试性转化
- Testability Transformation Based on Dominant Relation of Target Statements
- 电子学报 2013年41卷第12期页码：2523-2528
- 作者机构：
  
  1. 中国矿业大学理学院,江苏,徐州,221116
  2. 中国矿业大学信息与电气工程学院,江苏,徐州,221116
  3. 软件工程国家重点实验室,湖北,武汉,430072
  4. 中国矿业大学理学院,江苏,徐州,221116
  5. 中国矿业大学信息与电气工程学院,江苏,徐州,221116
  6. 软件工程国家重点实验室,湖北,武汉,430072
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.61203304，No.61075061）;高等学校博士学科点专项科研基金 (博士生导师类） (No.20100095110006）;江苏省自然科学基金 (No.BK2012566，No.BK2010187）;中央高校基本科研业务专项资金 (No.212QNA41）
- DOI：10.3969/j.issn.0372-2112.2013.12.033
  中图分类号： TP311.5
- 纸质出版：2013
- 稿件说明：
移动端阅览
姚香娟, 巩敦卫. 基于目标语句占优关系的软件可测试性转化[J]. 电子学报, 2013,41(12):2523-2528.

YAO Xiang-juan, GONG Dun-wei. Testability Transformation Based on Dominant Relation of Target Statements[J]. Acta Electronica Sinica, 2013, 41(12): 2523-2528.
姚香娟, 巩敦卫. 基于目标语句占优关系的软件可测试性转化[J]. 电子学报, 2013,41(12):2523-2528. DOI： 10.3969/j.issn.0372-2112.2013.12.033.

YAO Xiang-juan, GONG Dun-wei. Testability Transformation Based on Dominant Relation of Target Statements[J]. Acta Electronica Sinica, 2013, 41(12): 2523-2528. DOI： 10.3969/j.issn.0372-2112.2013.12.033.

摘要

标记变量问题是基于搜索的软件测试数据生成的关键问题之一.本文提出一种基于目标语句占优关系的软件可测试性转化理论与方法，思想是：对于涉及标记变量问题的目标语句，如果存在另一目标语句（集），使得该目标语句（集）占优原有目标语句，则用新的目标语句（集）代替原有目标语句生成测试数据，从而消除标记变量的不利影响.将本文方法应用于典型被测程序，实验结果表明，该方法可以有效解决标记变量问题，从而提高测试数据的生成效率.

Abstract

Flag problem is a key problem in search based software test data generation.This study proposed a testability transformation method based on the dominant relationship of target statements.The basic idea is that:for a target statement involving flag variables

if another target statement (or target statement set) dominates the original one

then the original target statement is substituted with the new one to generate test data.Experimental results showed that the proposed method can effectively solve the flag problem

therefore improve the efficiency of generating test data.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向模分复用系统的遗传-MIMO均衡参数优化技术

覆盖整个UHF频段的吸波结构

基于联盟链的可靠边缘计算任务卸载方法

基于关键边概率与路径层接近度的多路径覆盖测试

一种针对QCA电路自动布局布线的混合策略研究