汇编程序覆盖测试中分支路径数的计算

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

汇编程序覆盖测试中分支路径数的计算

唐科, 汪文勇, 向渝, 罗光春

文章导航 > 电子科技大学学报 > 2005 > 34(2): 236-239

唐科, 汪文勇, 向渝, 罗光春. 汇编程序覆盖测试中分支路径数的计算[J]. 电子科技大学学报, 2005, 34(2): 236-239.

引用本文:

唐科, 汪文勇, 向渝, 罗光春. 汇编程序覆盖测试中分支路径数的计算[J]. 电子科技大学学报, 2005, 34(2): 236-239.

TANG Ke, WANG Wen-yong, XIANG Yu, LUO Guang-chun. An Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing[J]. Journal of University of Electronic Science and Technology of China, 2005, 34(2): 236-239.

Citation:

TANG Ke, WANG Wen-yong, XIANG Yu, LUO Guang-chun. An Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing[J]. Journal of University of Electronic Science and Technology of China, 2005, 34(2): 236-239.

汇编程序覆盖测试中分支路径数的计算

1.
电子科技大学计算机科学与工程学院成都 610054

作者简介:
唐科(1969-),男,硕士生,工程师,主要从事网络计算及应用、软件工程方面的研究;汪文勇(1967-),男,副教授,主要从事网络计算技术、软件工程方面的研究.

唐科(1969-),男,硕士生,工程师,主要从事网络计算及应用、软件工程方面的研究;汪文勇(1967-),男,副教授,主要从事网络计算技术、软件工程方面的研究.

中图分类号: TP311.56

An Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing

1.
School of Computer Science and Engineering,UEST of China Chengdu 610054

摘要: 说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准确地计算出给定汇编程序的分支路径数。
- 覆盖测试 /
- 基本块 /
- 程序流图 /
- 存储矩阵 /
- 邻接表
Abstract: Coverage testing is a basic method for dynamic software testing. An algorithm is proposed for calculating the branch routes of an embedded assembly program in software coverage testing. The correctness of the algorithm is verified on a sample assembly program and it's time complexity is analyzed also.
- coverage testing /
- basic block /
- program flow graph /
- storage matrix /
- adjacency list

[1]	傅家旗, 郭强, 刘建国. 基于有限信息的网络邻接关系识别研究 . 电子科技大学学报, 2019, 48(5): 794-800. doi: 10.3969/j.issn.1001-0548.2019.05.021
[2]	于秦, 王伟东, 李龙江, 钱艇. 混合传感网络覆盖洞修复改进算法研究 . 电子科技大学学报, 2017, 46(4): 534-539, 599. doi: 10.3969/j.issn.1001-0548.2017.04.010
[3]	段翰聪, 向小可, 吕鹏程. MUSE:一种面向云存储系统的高性能元数据存储引擎 . 电子科技大学学报, 2016, 45(2): 221-226.
[4]	任飞, 刘贤洪, 秦志光. 智能电视安全存储数据访问方法 . 电子科技大学学报, 2014, 43(1): 144-148. doi: 10.3969/j.issn.1001-0548.2014.01.024
[5]	郑长友, 刘晓明, 姚奕, 任正平. 基于Petri网的面向测试的工作流系统建模方法 . 电子科技大学学报, 2014, 43(1): 119-124. doi: 10.3969/j.issn.1001-0548.2014.01.020
[6]	巩道福, 刘粉林, 罗向阳, 汪萍. 基于矩阵编码和多重水印的JPEG图像块级认证算法 . 电子科技大学学报, 2014, 43(3): 426-431. doi: 10.3969/j.issn.1001-0548.2014.03.019
[7]	牛骏, 赵志钦, 杨伟, 陈祝明, 刘昱朗. 非均匀等离子体覆盖下目标流场的透射特性研究 . 电子科技大学学报, 2014, 43(2): 194-197. doi: 10.3969/j.issn.1001-0548.2014.02.006
[8]	魏玲, 李强. 面向属性概念格基于覆盖的压缩 . 电子科技大学学报, 2012, 41(2): 299-304. doi: 10.3969/j.issn.1001-0548.2012.02.024
[9]	陈世杰, 连可, 王厚军. 采用多信号流图模型的雷达接收机故障诊断方法 . 电子科技大学学报, 2009, 38(1): 87-91.
[10]	王茂琰, 徐军, 魏兵, 葛德彪. 双负介质覆盖导体球宽带散射特性分析 . 电子科技大学学报, 2007, 36(5): 880-882.
[11]	任云韬, 李毅超, 曹跃. 基于注册表Hive文件的恶意程序隐藏检测方法 . 电子科技大学学报, 2007, 36(3): 621-624.
[12]	王德松, 舒兰. 粗集决策表与决策表简化的可信度比较 . 电子科技大学学报, 2004, 33(5): 611-613.
[13]	杨鹏, 冉瑞生, 黄廷祝. 非奇块H矩阵的充分条件 . 电子科技大学学报, 2004, 33(2): 204-207.
[14]	邓生华. 矩阵代数的态空间 . 电子科技大学学报, 2003, 32(6): 775-778.
[15]	高中喜, 黄廷祝. 块H-矩阵的刻画 . 电子科技大学学报, 2002, 31(3): 316-319.
[16]	晏华, 袁海东, 尹立孟. 代码自动插装技术的研究与实现 . 电子科技大学学报, 2002, 31(1): 62-66.
[17]	王广彬, 黄廷祝. 逆H矩阵的性质 . 电子科技大学学报, 2001, 30(2): 192-194.
[18]	陆鑫. 在SYBASE应用系统中使用临时表 . 电子科技大学学报, 1999, 28(1): 74-77.
[19]	丁志强. 基于对象数据流图的可复用方案 . 电子科技大学学报, 1999, 28(3): 306-310.
[20]	黄廷祝, 蒲和平. (块) H矩阵与亚正定矩阵 . 电子科技大学学报, 1998, 27(2): 216-218.

WeChat

点击查看大图

计量

文章访问数: 4024
HTML全文浏览量: 113
PDF下载量: 60
被引次数: 0

汇编程序覆盖测试中分支路径数的计算

1. 电子科技大学计算机科学与工程学院成都 610054

作者简介:
唐科(1969-),男,硕士生,工程师,主要从事网络计算及应用、软件工程方面的研究;汪文勇(1967-),男,副教授,主要从事网络计算技术、软件工程方面的研究.

唐科(1969-),男,硕士生,工程师,主要从事网络计算及应用、软件工程方面的研究;汪文勇(1967-),男,副教授,主要从事网络计算技术、软件工程方面的研究.

收稿日期: 2004-11-25
刊出日期: 2005-04-15

中图分类号: TP311.56

关键词:

摘要: 说明了覆盖测试是软件测试中的重要方法,是软件动态测试的基本手段。并提出通过基本块存储矩阵和邻接表来处理汇编语言程序流图,从而计算其分支路径数的算法并验证其正确性,为进一步的分支覆盖率计算奠定基础。实验证明,该方法能高效准确地计算出给定汇编程序的分支路径数。

English Abstract

唐科, 汪文勇, 向渝, 罗光春. 汇编程序覆盖测试中分支路径数的计算[J]. 电子科技大学学报, 2005, 34(2): 236-239.

引用本文:

唐科, 汪文勇, 向渝, 罗光春. 汇编程序覆盖测试中分支路径数的计算[J]. 电子科技大学学报, 2005, 34(2): 236-239.

TANG Ke, WANG Wen-yong, XIANG Yu, LUO Guang-chun. An Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing[J]. Journal of University of Electronic Science and Technology of China, 2005, 34(2): 236-239.

Citation:

TANG Ke, WANG Wen-yong, XIANG Yu, LUO Guang-chun. An Algorithm for Calculating the Branch Routes of an Assembly Program in Software Coverage Testing[J]. Journal of University of Electronic Science and Technology of China, 2005, 34(2): 236-239.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发