研究论文

测试方法故障检测能力的形式化分析

作者:

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

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

IEEE软件工程汇刊,体积19,问题三

页202-213

https://doi.org/10.109/32.221133

出版:1993年3月1日出版历史

发布者网站

摘要

研究了软件测试标准之间的几个关系，每个关系都是由相应的子域多集合之间的关系导出的。作者讨论了根据各种故障检测能力的概率度量，对于每一个关系R和每一对准则，C/sub 1/和C/sub 2/，R（C/sub 1/1，C/sub2/）是否保证C/sub 1/2比C/sub 2/更善于检测故障。结果表明，C/sub1/包含C/sub2/这一事实并不能保证C/sub1/更善于检测故障。介绍了增强包含关系和对故障检测能力影响更大的关系。

工具书类

[1]

{1} J.W.Duran和S.C.Ntafos，“随机测试的评估”IEEE传输。软件工程。，第SE-10卷，第7期，第438-444页，1984年7月。

数字图书馆

[2]

{2} P.G.Frankl和S.N.Weiss，《通用和边缘充分性标准有效性的实验比较》程序。第四交响曲。软件测试、分析和验证ACM出版社，1991年10月，第154-164页。

[3]

{3} P.G.Frankl和E.J.Weyuker，“适用的数据流测试标准系列”IEEE传输。软件工程。第14卷，第10期，第1483-1498页，1988年10月。

数字图书馆

[4]

{4} P.G.Frankl和E.J.Weyuker，“评估测试方法的故障检测能力”，inACM SIGSOFT’91关键系统配置软件ACM出版社，1991年12月，第77-91页。

[5]

{5} P.G.Frankl和E.J.Weyuker，“几种测试策略的分析比较”，技术代表PUCS-100-92，理工大学计算机科学系，纽约布鲁克林，1992年7月。

[6]

{6} J.S.Gourlay，“测试研究的数学框架”IEEE传输。软件工程。1983年11月，第SE-9卷，第6期，第686-709页。

数字图书馆

[7]

{7} D.Hamlet和R.Taylor，“分区测试不会激发信心，”IEEE传输。软件工程。第16卷，第12期，第1402-1411页，1990年12月。

数字图书馆

[8]

{8} P.Herman，“程序测试的数据流分析方法”南方的。计算机J。第8卷，第3期，第92-96页，1976年11月。

[9]

{9} B.Jeng和E.J.Weyuker，“分区测试的一些观察”，in程序。ACM SIGSOFT第三交响曲。软件测试、分析和验证ACM出版社，1989年12月，第38-47页。

数字图书馆

[10]

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

数字图书馆

[11]

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

数字图书馆

[12]

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

数字图书馆

[13]

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

数字图书馆

[14]

{14} E.J.Weyuker和B.Jeng，“分析分区测试策略”IEEE传输。软件工程。，第17卷，第7期，第703-711页，1991年7月。

数字图书馆

[15]

{15} E.J.Weyuker、S.N.Weiss和D.Hamlet，“程序测试策略的比较”，in程序。第4次研讨会。软件测试、分析和验证ACM出版社，1991年10月，第1-10页。

引用人

米兰达B贝尔托利诺A(2020)与使用范围相关的测试软件工程及方法论学报10.1145/338912629:3(1-24)在线发布日期：2020年6月1日
https://dl.acm.org/doi/10.1145/3389126
克拉克·P戴维斯D昌劳R国王T(2017)在WReSTT支持的本科生软件测试课程中使用工具的影响美国计算机学会计算机教育汇刊10.1145/306832417:4(1-28)在线发布日期：2017年8月26日
https://dl.acm.org/doi/10.1145/3068324
胫骨DJee E（Jee E）Bae D公司(2016)利用突变体综合分析FBD测试覆盖标准软件和系统建模（SoSyM）10.1007/s10270-014-0428年15:3(631-645)在线发布日期：2016年7月1日
https://dl.acm.org/doi/10.1007/s10270-014-0428-y
显示更多引用者

索引术语

测试方法故障检测能力的形式化分析
1. 计算数学
  1. 离散数学
2. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 软件缺陷分析
        软件测试和调试

索引项已通过自动分类分配给内容。

建议

分支测试的可证明改进

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

Weyuker和Jeng研究了影响分区测试性能的条件，并对分区测试和随机测试的故障检测能力进行了分析比较。本文对他们的一些观点进行了扩展和概括。。。
阅读更多信息
MCDC和RCDC测试标准的正式分析：研究文章

修改后的条件决策覆盖率（MCDC）测试标准是根据DO-178B标准测试航空电子软件的强制性要求。本文对三种不同形式的MCDC进行了形式化分析。此外，a。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片IEEE软件工程汇刊

IEEE软件工程汇刊第19卷第3期

1993年3月

108页

国际标准编号：0098-5589

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

出版商

IEEE出版社

出版历史

出版：1993年3月1日

作者标记

限定符

研究文章

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

59
引文总数
查看引文
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
克拉克·P戴维斯D昌劳R国王T(2017)WReSTT支持的本科生软件测试课程中使用工具的影响美国计算机学会计算机教育汇刊10.1145/306832417:4(1-28)在线发布日期：2017年8月26日
https://dl.acm.org/doi/101145/3068324
胫骨DJee E（Jee E）Bae D公司(2016)利用突变体综合分析FBD测试覆盖标准软件和系统建模（SoSyM）10.1007/s10270-014-0428年15:3(631-645)在线发布日期：2016年7月1日
https://dl.acm.org/doi/10.1007/s10270-014-0428-y
萨加纳R门迪布鲁AInza一号洛扎诺J(2014)通过多维监督分类辅助搜索启发式选择信息科学：国际期刊10.1016/j.ins.2013.09.050258(122-139)在线发布日期：2014年2月1日
https://dl.acm.org/doi/10.1016/j.ins.2013.09.050
斯特雷克J备忘录A(2012)测试技术评估中缺陷特征的说明软件工程及方法论学报10.1145/2211616.221162021:3(1-43)在线发布日期：2012年7月3日
https://dl.acm.org/doi/10.1145/2211616.2211620
库莱斯扎T伯内特·MStumpf S公司Wong W（王伟）达斯S格罗斯AShinsel甲比塞F麦金托什K(2011)我的智能助理的错误在哪里？系统测试方法第三届终端用户发展国际会议记录10.5555/2022939.2022959(171-186)在线发布日期：2011年6月7日
https://dl.acm.org/doi/10.5555/2022939.2022959
Staats M公司惠伦M海姆达尔M泰勒·R加尔HMedvidovićN(2011)程序、测试和预言第33届国际软件工程会议记录10.1145/1985793.1985847(391-400)在线发布日期：2011年5月21日
https://dl.acm.org/doi/10.1145/1985793.1985847
卡瓦拉A(2011)一种测试多代理ASM的数据流方法计算的形式方面2007年10月7日/00165-009-0134-723:1(21-41)在线发布日期：2011年1月1日
https://dl.acm.org/doi/10.1007/s00165-009-0134-7
Staats M公司佩切尔C安德鲁斯·J迪尼托E(2010)多个工件对软件测试有效性的影响第25届IEEE/ACM自动化软件工程国际会议论文集10.1145/1858996.1859100(517-522)在线发布日期：2010年9月20日
https://dl.acm.org/doi/10.1145/1858996.1859100
古普塔A贾洛特·P(2008)软件测试覆盖标准有效性和效率的实验评估方法国际技术转让软件工具杂志10.5555/3220900.322111210:2(145-160)在线发布日期：2008年3月1日
https://dl.acm.org/doi/10.5555/3220900.3221112
显示更多引用者

视图选项

查看选项

媒体

数字

其他

桌子

查看问题目录