用于测试目标计算机系统的操作的方法和系统技术方案

本公开涉及一种用于测试受定时需求的集合约束的目标计算机系统的操作的方法(50)，该方法包括对于所述集合的多个子集中的每一个，进行迭代：

【技术实现步骤摘要】
【国外来华专利技术】用于测试目标计算机系统的操作的方法和系统


[0001]本公开涉及计算机系统的需求工程，更具体地，涉及一种通过使用定时需求来测试目标计算机系统的操作的方法和系统。

技术介绍

[0002]在开发计算机系统的过程中，需求工程包括定义、记录和维护计算机系统需要遵从的需求。需求可具有不同的性质，但是在计算机系统中，定时需求很重要。基本上，定时需求对应于计算机系统的输出与所述计算机系统的输入之间包括定时约束的约束。实践中，定时需求将是计算机系统的设计和开发的基础。另外，一旦开发，定时需求将部分地驱动一系列测试以便检查实际计算机系统是否确实遵从它们。
[0003]当然，最重要的是设计一致(即，不矛盾)的定时需求，使得符合所述定时需求的实现方式确实是可能的并且可以设计和开发。
[0004]在科学文献中，存在为实时系统的定时需求定义的不同的一致性概念。
[0005]例如，实时一致性(又名rt
‑
consistency)[PHP11]要求尚未违反某种定时需求的所有有限执行序列具有满足其全部的延伸。换言之，这意味着如果实现方本文档来自技高网...

【技术保护点】

【技术特征摘要】
【国外来华专利技术】1.一种用于测试目标计算机系统的操作的计算机实现的方法，所述目标计算机系统的所述操作受定时需求的集合约束，其中，所述方法包括定义所述集合的定时需求的子集，并且对于多个子集中的各个子集，迭代以下步骤：搜索所述目标计算机系统的执行序列，称为见证痕迹，满足用于检测所述子集的定时需求之间的冲突的标准；当找到见证痕迹时：在所述集合的不存在于所述子集中的所述定时需求当中搜索矛盾定时需求，该矛盾定时需求在与所述子集一起考虑时阻止所述见证痕迹发生；当找到矛盾定时需求时：通过将所述矛盾定时需求包括在所述子集中来扩充所述子集；其中，当对于至少一个子集找到见证痕迹并且对于所述见证痕迹没有找到矛盾定时需求时，检测到所述目标计算机系统的受所述定时需求的集合约束的所述操作的不一致性。2.根据权利要求1所述的方法，其中，仅利用矛盾定时需求扩充所述子集直至预定数量的定时需求。3.根据权利要求1或2所述的方法，其中，当检测到实时不一致性时或者当检测到部分不一致性时，满足用...

【专利技术属性】
技术研发人员：野口玲哉，T，
申请(专利权)人：三菱电机株式会社，
类型：发明
国别省市：