计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
25期
105-110
,共6页
基于模型的测试%时序逻辑%约束事件%测试用例生成%测试目的
基于模型的測試%時序邏輯%約束事件%測試用例生成%測試目的
기우모형적측시%시서라집%약속사건%측시용례생성%측시목적
提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束.阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成.缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集.这说明了TLCE作为测试目的描述的有效性.
提齣瞭帶約束事件的時序邏輯TLCE,用于描述繫統運行中輸入/輸齣事件之間的時序關繫以及對事件參數的數據相關性約束.闡述瞭一種基于模型的併髮繫統測試框架,採用TLCE描述測試目的以引導測試用例生成.緩存一緻性協議和會議協議的實例研究中所生成的測試用例集顯著優于隨機測試用例集.這說明瞭TLCE作為測試目的描述的有效性.
제출료대약속사건적시서라집TLCE,용우묘술계통운행중수입/수출사건지간적시서관계이급대사건삼수적수거상관성약속.천술료일충기우모형적병발계통측시광가,채용TLCE묘술측시목적이인도측시용례생성.완존일치성협의화회의협의적실례연구중소생성적측시용례집현저우우수궤측시용례집.저설명료TLCE작위측시목적묘술적유효성.