作者:
付修锋,陈丽容
关键词:
软件测试 ; 多重中断 ; 不确定性 ; 并发错误 ; 共享资源
摘要:
为了解决多重中断的执行不确定性带来的测试困难问题,在多重中断产生并发错误的特点的基础上,提出了一种多重中断程序测试框架。该测试框架通过从外部加载一组合适的中断信号序列控制中断处理程序的执行过程,迫使中断程序经历待测序列,避免了构造复杂的运行时控制环境。实验结果表明,相对于一般的中断错误分析方法,该测试框架能够对顺序程序多重中断环境下可能产生并发错误的时序环境和具体原因进行较为准确地分析。
在线下载