首页> 外文期刊>ACM transactions on software engineering and methodology >Oracles for Testing Software Timeliness with Uncertainty
【24h】

Oracles for Testing Software Timeliness with Uncertainty

机译:用于不确定性测试软件及时性的Oracle

获取原文
获取原文并翻译 | 示例

摘要

Uncertainty in timing properties (e.g., detection time of external events) is a common occurrence in embedded software systems, since these systems interact with complex physical environments.Such time uncertainty leads to non-determinism. For example, time-triggered operations may either generate different valid outputs across different executions or experience failures (e.g., results not being generated in the expected time window) that occur only occasionally over many executions. For these reasons, time uncertainty makes the generation of effective test oracles for timing requirements a challenging task.To address the above challenge, we propose Stochastic Testing with Unique Input Output Sequences, an approach for the automated generation of stochastic oracles that verify the capability of a software system to fulfill timing constraints in the presence of time uncertainty. Such stochastic oracles entail the statistical analysis of repeated test case executions based on test output probabilities predicted by means of statistical model checking. Results from two industrial case studies in the automotive domain demonstrate that this approach improves the fault detection effectiveness of tests suites derived from timed automata compared to traditional approaches.
机译:时序属性的不确定性(例如外部事件的检测时间)在嵌入式软件系统中很常见,因为这些系统与复杂的物理环境相互作用,这种时间的不确定性导致不确定性。例如,时间触发的操作可能会在不同的执行过程中生成不同的有效输出,也可能会遇到仅偶尔在许多执行过程中发生的故障(例如,未在预期的时间窗口中生成结果)。由于这些原因,时间的不确定性使得为时序要求而生成有效的测试预言书成为一项具有挑战性的任务。为解决上述挑战,我们提出了具有唯一输入输出序列的随机测试,这是一种自动生成随机预言书的方法,可以验证在时间不确定的情况下满足时序约束的软件系统。这样的随机预言者需要基于通过统计模型检查预测的测试输出概率,对重复的测试用例执行进行统计分析。来自汽车领域的两个工业案例研究的结果表明,与传统方法相比,该方法提高了定时自动机派生的测试套件的故障检测效率。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号