研究论文

一个适用的数据流测试标准族

作者:

P.G.公司。弗兰克尔和

E.J.公司。韦尤克作者信息和声明

IEEE软件工程汇刊,体积14,问题10

页1483-1498

https://doi.org/10.1109/32.6194

出版:1988年10月1日出版历史

发布者网站

摘要

作者扩展了先前引入的数据流测试标准系列的定义，以应用于用Pascal的一个大子集编写的程序。然后，他们定义了一系列称为可行数据流测试标准的充分性标准，这些标准源自数据流测试准则。可行的数据流测试标准通过要求测试数据仅执行那些可执行的定义使用关联来规避数据流测试准则不适用的问题。结果表明，数据流测试准则之间的关系和可行数据流测试标准之间的关系存在显著差异。作者讨论了路径通过程序单元的可执行性的广义概念。其中包括一个使用数据流测试工具ASSET的测试会话脚本。

工具书类

[1]

{1} L.A.Clarke、A.Podgurski、D.J.Richardson和S.J.Zeil，《数据流路径选择标准的比较》程序。第八届IEEE国际会议软件工程。，英国伦敦，1985年8月，第244-251页。

数字图书馆

[2]

{2} P.G.Frankl、S.N.Weiss和E.J.Weyuker，《资产：选择和评估测试的系统》程序。IEEE配置软件工具1985年4月，纽约。

[3]

{3} P.G.Frankl和E.J.Weyuker，“数据流测试工具”，in程序。IEEE软件展览会II1985年12月，加利福尼亚州旧金山。

数字图书馆

[4]

{4} P.G.Frankl，ASSET用户手册，折旧计算。科学。Courant Inst.数学。科学。，纽约大学，纽约，技术代表#3181987年9月。

[5]

{5} P.G.Frankl，“使用数据流信息选择和评估软件测试数据”，纽约大学博士论文，纽约，1987年10月。

数字图书馆

[6]

{6} M.R.Girgis和M.R.Woodward，“使用弱突变和数据流分析进行程序测试的集成系统”程序。第八届IEEE国际会议软件工程。，英国伦敦，1985年8月，第313-319页。

数字图书馆

[7]

{7} J.B.Goodenough和S.L.Gerhart，“走向测试数据选择理论”IEEE传输。软件工程。1975年6月，第SE-1卷，第156-173页。

数字图书馆

[8]

{8} M.S.Hecht，计算机程序的流分析荷兰阿姆斯特丹：北荷兰，1977年。

数字图书馆

[9]

{9} P.M.Herman，“程序测试的数据流分析方法，”澳大利亚计算。J。第8卷第3期，1976年11月。

[10]

{10} W.E.Howden，“路径分析测试策略的可靠性”IEEE传输。软件工程。第SE-2卷，第3期，第208-215页，1976年。

数字图书馆

[11]

{11} W.E.Howden，“动态分析方法综述”教程：软件测试和验证技术E.Miller和W.E.Howden，Eds.Los Alamitos，CA：IEEE计算机学会，1978年。

[12]

{12} J.C.Huang，“程序测试方法”ACM计算。Surv公司。1975年9月，第7卷，第3期，第113-128页。

数字图书馆

[13]

{13} B.Korel和J.Laski，“面向数据流的程序测试工具”，in程序。IEEE软件展览会II1985年12月，加利福尼亚州旧金山。

数字图书馆

[14]

{14} J.W.Laski和B.Korel，“面向数据流的程序测试策略”IEEE传输。软件工程。第SE-9卷，第347-354页，1983年5月。

数字图书馆

[15]

{15} E.F.Miller，Jr.、M.R.Paige、J.P.Benson和W.R.Wisehart，《程序验证的结构技术》挖掘。康普康加利福尼亚州旧金山，1974年春季，第161-164页。

[16]

{16} S.Ntafos，“关于所需元件测试”IEEE传输。软件工程。第SE-10卷，第795-803页，1984年11月。

数字图书馆

[17]

{17} L.J.Osterweil和L.D.Fosdick，“DAVE——Fortran程序的验证错误检测和文档系统”软件实践经验第473-486页，1976年10月至12月。

[18]

{18} S.Rapps和E.J.Weyuker，《程序测试数据选择的数据流分析技术》程序。第六届国际会议软件工程。，日本东京，1982年9月，第272-278页。

数字图书馆

[19]

{19} S.Rapps和E.J.Weyuker，“使用数据流信息选择软件测试数据”IEEE传输。软件工程。1985年4月，第SE-11卷，第367-375页。

数字图书馆

[20]

{20} M.Schaeffer，全局规划优化的数学理论Englewood Cliffs，NJ：普伦蒂斯·霍尔出版社，1973年。

数字图书馆

[21]

｛21｝E.J.Weyuker，“测试数据选择的数据流标准的复杂性，”通知。处理信函。，第19卷，第2期，第103-109页，1984年8月。

数字图书馆

[22]

{22}E.J.Weyuker，“公理化软件测试数据充分性”IEEE传输。软件工程。，第SE-12卷，第1128-1138页，1986年12月。

数字图书馆

[23]

{23}M.R.Woodward、D.Hedley和M.A.Hennell，“程序的路径分析和测试经验，”IEEE传输。软件工程。，第SE-6卷，第278-286页，1980年5月。

数字图书馆

引用人

米兰达B贝尔托利诺A(2020)与使用范围相关的测试软件工程及方法论学报10.1145/338912629:3(1-24)在线发布日期：2020年6月1日
https://dl.acm.org/doi/10.1145/3389126
马丁·T科马托夫N普雷沃斯托五世Lemerre M公司(2020)数据流标准的污染测试目标检测集成形式化方法10.1007/978-3-030-63461-2_18(337-345)在线发布日期：2020年11月16日
https://dl.acm.org/doi/10.1007/978-3-030-63461-2-18
马哈茂德A文卡塔吉里R艾哈迈德·K米塞洛维奇S马里诺夫D弗莱彻C副标题S巴哈尔一世赫利希·M维切尔E勒贝克A(2019)牛头怪第二十四届国际编程语言和操作系统体系结构支持会议记录10.1145/3297858.3304050(1087-1103)在线发布日期：2019-04-04
https://dl.acm.org/doi/10.1145/3297858.3304050
显示更多引用者

索引术语

一系列适用的数据流测试标准
1. 概述和参考
  1. 交叉计算工具和技术
    1. 验证
2. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认

建议

分支测试和数据流测试有效性的实验比较

本文讨论了一个实验，比较了通用测试数据充分性准则和全边缘测试数据充足性准则的有效性。该实验旨在克服以前软件测试实验的一些不足。大量测试集。。。
阅读更多信息
评估研究和教育中的测试工具

根据三种软件工程工具在研究和教育环境中的使用情况，对其进行了评估。这三种测试工具分别是Mothra（变异测试工具）、Asset（数据流测试工具）和ATAC（数据流检测工具）。。。
阅读更多信息
分支测试的可证明改进

本文对几种软件测试数据充分性准则的故障检测能力进行了比较，结果表明，如果C/sub 1/恰当地覆盖C/sub 2/，那么C/sub 1/1在检测故障方面肯定比C/sub 2/更好，这是一种有效的方法。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片IEEE软件工程汇刊

IEEE软件工程汇刊第14卷第10期

1988年10月

155页

ISSN公司：0098-5589

编辑：
维克托·巴西利

版权所有©1988 IEEE版权所有。保留所有权利。

出版商

IEEE出版社

出版历史

出版：1988年10月1日

作者标记

限定符

研究文章

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

156
引文总数
查看引文
0
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

米兰达B贝尔托利诺A(2020)与使用范围相关的测试软件工程及方法论学报10.1145/338912629:3(1-24)在线发布日期：2020年6月1日
https://dl.acm.org/doi/10.1145/3389126
马丁·TKosmatov N公司普雷沃斯托五世Lemerre M公司(2020)数据流标准的污染测试目标检测集成形式化方法10.1007/978-3-030-63461-2_18(337-345)在线发布日期：2020年11月16日
https://dl.acm.org/doi/10.1007/978-3-030-63461-2-18
马哈茂德A文卡塔吉里R艾哈迈德·K米塞洛维奇S马里诺夫D弗莱彻C副标题S巴哈尔一世赫利希·M维切尔E勒贝克A(2019)牛头怪第二十四届国际编程语言和操作系统体系结构支持会议记录10.1145/3297858.3304050(1087-1103)在线发布日期：2019-04-04
https://dl.acm.org/doi/10.1145/3297858.3304050
平移M陈S裴勇俊张T李X马特里J布尔坦T惠特尔J(2019)不可预测和抢占中断驱动系统的简单建模和验证第41届国际软件工程会议记录10.1109/ICSE.2019.00037号(212-222)在线发布日期：2019年5月25日
https://dl.acm.org/doi/10.109/ICSE.2019.00037
Su T公司吴凯（Wu K）苗WPu G公司何J陈毅苏Z(2017)数据流测试综述倒排索引综述10.1145/302026650:1(1-35)在线发布日期：2017年3月10日
https://dl.acm.org/doi/10.1145/3020266
(2017)上下文感知软件系统的特性测试方法系统与软件杂志10.1016/j.jss.2017.05.048131：C(1-21)在线发布日期：2017年9月1日
https://dl.acm.org/doi/10.1016/j.jss.20127.05.048
米兰达B贝尔托利诺A(2017)用于软件重用的范围辅助测试优先级、选择和最小化系统与软件杂志10.1016/j.jss.2016.06.058131：C(528-549)在线发布日期：2017年9月1日
https://dl.acm.org/doi/10.1016/j.jss.2016.06.058
桑托斯一世安德拉德R罗查L马塔隆加Sde Oliveira K公司特拉瓦索斯G(2017)上下文软件应用程序的测试用例设计信息和软件技术10.1016/j.infsof.2017.03.00888：C(1-16)在线发布日期：2017年8月1日
https://dl.acm.org/doi/10.1016/j.infsof.2017.03.008
米兰达B贝尔托利诺A巴德尼克C弗雷泽GLonetti F公司(2016)代码覆盖率是否为基于操作概要文件的测试提供了良好的停止规则？第十一届软件测试自动化国际研讨会论文集10.1145/2896921.2896934(22-28)在线发布日期：2016年5月14日
https://dl.acm.org/doi/10.1145/2896921.2896934
德纳罗G玛加拉A佩泽姆Vivanti M公司贝尔托利诺A坎福拉G埃尔鲍姆S(2015)面向对象系统的动态数据流测试第37届国际软件工程会议记录第1卷10.5555/2818754.2818868(947-958)在线发布日期：2015年5月16日
https://dl.acm.org/doi/10.5555/2818754.2818868网址
显示更多引用者

视图选项

查看选项

媒体

数字

其他

桌子

查看问题目录