微型机与应用
微型機與應用
미형궤여응용
MICROCOMPUTER & ITS APPLICATIONS
2015年
9期
29-31
,共3页
实时系统%区域分解%时间自动机%状态空间%测试用例
實時繫統%區域分解%時間自動機%狀態空間%測試用例
실시계통%구역분해%시간자동궤%상태공간%측시용례
实时系统是指与运行环境的交互行为存在时间约束的系统.由于时间约束的无穷状态空间问题,增加了实时系统测试难度.本文基于时间自动机,利用时间区域分解的方法,将无穷状态空间的时钟区域在时钟数量对应的坐标图中等价划分为各个类,在生成的测试路径中取到相应的点坐标,简化取点的个数,有效减少测试用例的生成数量,进而相对减少状态空间爆炸的可能性,为实时系统功能、安全性验证提供理论基础.
實時繫統是指與運行環境的交互行為存在時間約束的繫統.由于時間約束的無窮狀態空間問題,增加瞭實時繫統測試難度.本文基于時間自動機,利用時間區域分解的方法,將無窮狀態空間的時鐘區域在時鐘數量對應的坐標圖中等價劃分為各箇類,在生成的測試路徑中取到相應的點坐標,簡化取點的箇數,有效減少測試用例的生成數量,進而相對減少狀態空間爆炸的可能性,為實時繫統功能、安全性驗證提供理論基礎.
실시계통시지여운행배경적교호행위존재시간약속적계통.유우시간약속적무궁상태공간문제,증가료실시계통측시난도.본문기우시간자동궤,이용시간구역분해적방법,장무궁상태공간적시종구역재시종수량대응적좌표도중등개화분위각개류,재생성적측시로경중취도상응적점좌표,간화취점적개수,유효감소측시용례적생성수량,진이상대감소상태공간폭작적가능성,위실시계통공능、안전성험증제공이론기출.
