研究论文

具有非确定性事件的反应性软件的系统测试：LG电烤箱案例研究

作者:

穆恩佐基姆,

Junhee公司赵作者信息和声明

ICSE’15：第37届国际软件工程会议记录-第2卷

页29-38

出版:2015年5月16日出版历史

获取访问权限

摘要

大多数家用电器设备，如电炉无功系统它通过事件处理程序重复接收用户输入/事件，根据输入更新其内部状态，并生成输出。测试反应式程序的一个挑战是检查程序是否正确地对各种非确定性事件序列，因为意外的事件序列可能会使系统由于主循环和异步事件处理程序之间的竞争条件而失败。因此，通过控制与主循环执行相关的事件顺序和事件发生的相对时间，系统地生成/测试各种事件序列非常重要。在本文中，我们报告了我们的行业经验，通过开发一个基于协调测试技术的系统事件生成框架来解决上述问题。我们已将该框架应用于LG电烤箱，并检测到几个关键错误，其中一个错误使烤箱由于非法状态转换而忽略用户输入。

工具书类

[1]

J.伯尼姆。CREST-C的自动测试生成工具。http://code.google.com/p/crest/。

[2]

S.Chandra、P.Godefroid和C.Palm。软件模型检查实践：一个工业案例研究。在ICSE公司, 2002.

数字图书馆

[3]

Orit Edelstein、Eitan Farchi、Yarden Nir、Gil Ratsaby和Shmuel Ur。多线程Java程序测试生成。在爪哇岛ACM-ISCOPE会议（JGI）, 2001.

数字图书馆

[4]

P.戈德弗里德。Verisoft：一种自动分析并发反应式软件的工具。在CAV汽车, 1997.

数字图书馆

[5]

C.Hammer、J.Dolby、M.Vaziri和F.Tip。原子集可序列化性冲突的动态检测。在ICSE公司, 2008.

数字图书馆

[6]

G.霍尔兹曼。旋转模型检查器。威利，纽约，2003年。

数字图书馆

[7]

G.J.Holzmann和M.H.Smith。一种验证事件驱动软件的实用方法。在ICSE公司, 1999.

数字图书馆

[8]

M.Kim、Y.Kim和Y.Choi。闪存存储平台软件多扇区读取操作的简明测试。计算的形式方面（FAC）, 24(2), 2012.

[9]

M.Kim、Y.Kim和Y.Jang。嵌入式软件共性测试的工业应用：案例研究。在ICST公司, 2012.

数字图书馆

[10]

Y.Kim、M.Kim、Y.Kin和Y.Jang。调和试验方法的工业应用：使用CREST-BV和KLEE对libexif的案例研究。在ICSE SEiP轨道, 2012.

数字图书馆

[11]

Y.Kim、Y.Kin、T.Kim、G.Lee、Y.Jang和M.Kim。使用协调测试对大型工业嵌入式软件进行自动化单元测试。在ASE体验轨道, 2013.

数字图书馆

[12]

J.Kotker、D.Sadigh和S.A.Seshia。上下文边界下中断驱动程序的时序分析。在FMCAD公司, 2011.

数字图书馆

[13]

B.Křena、Z.Letko、T.Vojnar和S.Ur。基于搜索的并发软件测试平台。在帕达德, 2010.

数字图书馆

[14]

S.Qadeer和D.Wu。吻：保持简单有序。在PLDI公司, 2004.

数字图书馆

[15]

J.雷格尔。中断驱动软件的随机测试。在EMSOFT公司, 2005.

数字图书馆

[16]

K.Sen、D.Marinov和G.Agha。CUTE：一个用于C.In的协和单元测试引擎ESEC/FSE, 2005.

数字图书馆

[17]

电子产品采购策略。2014年8月，微控制器市场出现反弹。http://electronicspurchasingstrategies.com/2014/08/14/microcontroller-market-boarbounds-2014/。

引用人

停车场M张HByun T公司崔Y罗瑟梅尔GBae D公司(2020)使用加速软件在环模拟对LG家用电器进行基于性能的测试ACM/IEEE第42届软件工程国际会议论文集：软件工程实践10.1145/3377813.3381346(120-129)在线发布日期：2020年6月27日
https://dl.acm.org/doi/10.1145/3377813.3381346
金·Y李·D贝克·J金·M夏普H威伦·M(2019)在汽车行业中，进行高测试覆盖率和减少人力的和谐测试第41届软件工程国际会议论文集：软件工程实践10.1109/ICSE-SEIP.2019.00024(151-160)在线发布日期：2019-05-27
https://dl.acm.org/doi/10.1109/ICSE-SEIP.2019.00024
金·Y崔Y金·MChaudron M公司克伦科维奇一世Chechik M公司哈曼M(2018)使用扩展单元和符号报警过滤对C程序进行精确协调单元测试第40届国际软件工程会议论文集10.1145/3180155.3180253(315-326)在线发布日期：2018年5月27日
https://dl.acm.org/doi/10.1145/3180155.3180253
显示更多引用者

索引术语

非确定性事件下反应式软件的系统测试——以LG电烤箱为例
1. 软件及其工程
  1. 软件创建和管理
    1. 软件验证和确认
      1. 软件缺陷分析
        软件测试和调试
2. 计算理论
  1. 计算模型
    1. 并发
      1. 并行计算模型

建议

使用确定性状态测试的负载测试软件
ISSTA’93：1993年ACM SIGSOFT软件测试和分析国际研讨会论文集

本文介绍了一种新的负载测试技术，称为确定性马尔可夫状态测试，并报告了其应用。我们的方法被称为“确定性”，因为测试用例的执行顺序是在计划时间设置的，并且“状态……”。。。
使用确定性状态测试的负载测试软件

本文介绍了一种新的负载测试技术，称为确定性马尔可夫状态测试，并报告了其应用。我们的方法被称为“确定性”，因为测试用例的执行顺序是在计划时间设置的，并且“状态……”。。。
基于模型的反应系统变异测试：从语义到自动测试用例生成
程序设计理论与形式化方法

在本文中，我们概述了我们将基于模型的测试和突变测试相结合的工作。基于模型的测试是一种黑盒测试技术，它避免了手动编写数百个测试用例的劳动，而是提倡。。。

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ICSE’15：第37届国际软件工程会议记录-第2卷

2015年5月

1058页

总主席：
安东尼娅·贝托利诺
意大利ISTI-CNR
,
项目主席：
杰拉尔多·坎福拉
意大利桑尼奥大学
,
塞巴斯蒂安·埃尔鲍姆
内布拉斯加州大学林肯分校

赞助商

计算机协会
SIGSOFT:ACM软件工程特别兴趣小组
IEEE-CS\DATC:IEEE计算机学会
TCSE：IEEE计算机学会软件工程技术委员会。

出版商

IEEE出版社

出版历史

出版：2015年5月16日

检查更新

限定符

研究文章

会议

2015年ICSE

赞助商：

ACM公司
SIGSOFT公司
IEEE-CS\DATC
TCSE公司

ICSE’15：第37届国际软件工程会议

2015年5月16日至24日

意大利佛罗伦萨

接受率

总体接受率：1856份提交文件中的276份，15%

即将召开的会议

ICSE 2025年

2025 IEEE/ACM第46届国际软件工程会议

2025年4月26日至5月3日

渥太华，打开，加拿大

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

4
引文总数
查看引文
124
总下载次数

下载量（最近12个月）2
下载次数（最近6周）0

反映截至2024年9月22日的下载量

其他指标

查看作者指标

引文

引用人

停车场M张HByun T公司崔Y罗瑟梅尔GBae D公司(2020)使用加速软件进行基于性能的LG家用电器测试ACM/IEEE第42届软件工程国际会议论文集：软件工程实践10.1145/3377813.3381346(120-129)在线发布日期：2020年6月27日
https://dl.acm.org/doi/10.1145/3377813.3381346
金·Y李·D贝克·J金·M夏普H威伦·M(2019)在汽车行业中，进行高测试覆盖率和减少人力的和谐测试第41届软件工程国际会议论文集：软件工程实践10.1109/ICSE-SEIP.2019.00024(151-160)在线发布日期：2019年5月27日
https://dl.acm.org/doi/10.1109/ICSE-SEIP.2019.00024
金·Y崔Y金·MChaudron M公司克伦科维奇一世Chechik M公司哈曼M(2018)使用扩展单元和符号报警过滤对C程序进行精确协调单元测试第40届国际软件工程会议论文集10.1145/3180155.3180253(315-326)在线发布日期：2018年5月27日
https://dl.acm.org/doi/10.1145/3180155.3180253
Hong S公司李B夸克TJeon Y（Jeon Y）Ko B公司金·Y金·M科恩·M格伦斯克L威伦·M(2015)基于变异的真实多语言程序故障定位第30届IEEE/ACM自动化软件工程国际会议论文集10.1109/ASE.2015.14(464-475)在线发布日期：2015年11月9日
https://dl.acm.org/doi/10.1109/ASE.2015.14

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

使用联机查看电子阅读器.

电子阅读器

媒体

数字

其他

桌子