计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2013年
7期
31-35,39
,共6页
模型检验%构件组合%抽象精化%测试用例生成
模型檢驗%構件組閤%抽象精化%測試用例生成
모형검험%구건조합%추상정화%측시용례생성
model checking%component composition%abstraction refinement%test case generation
模型检验是一种自动化验证技术,其应用主要的困难在于状态空间爆炸问题.针对构件组合形成的状态空间爆炸问题,结合构件抽象组合原理及反例引导的抽象精化框架,提出了一种测试用例自动生成的方法.根据某个待集成构件抽象已集成的其他构件,并通过组合各个抽象构件生成抽象组合模型.利用模型检验工具对组合模型进行集成测试,生成抽象测试用例,再通过精化得到原模型对应的具体测试用例.实验结果表明该方法减小了状态空间,在一定程度上减缓了状态空间爆炸的问题.
模型檢驗是一種自動化驗證技術,其應用主要的睏難在于狀態空間爆炸問題.針對構件組閤形成的狀態空間爆炸問題,結閤構件抽象組閤原理及反例引導的抽象精化框架,提齣瞭一種測試用例自動生成的方法.根據某箇待集成構件抽象已集成的其他構件,併通過組閤各箇抽象構件生成抽象組閤模型.利用模型檢驗工具對組閤模型進行集成測試,生成抽象測試用例,再通過精化得到原模型對應的具體測試用例.實驗結果錶明該方法減小瞭狀態空間,在一定程度上減緩瞭狀態空間爆炸的問題.
모형검험시일충자동화험증기술,기응용주요적곤난재우상태공간폭작문제.침대구건조합형성적상태공간폭작문제,결합구건추상조합원리급반례인도적추상정화광가,제출료일충측시용례자동생성적방법.근거모개대집성구건추상이집성적기타구건,병통과조합각개추상구건생성추상조합모형.이용모형검험공구대조합모형진행집성측시,생성추상측시용례,재통과정화득도원모형대응적구체측시용례.실험결과표명해방법감소료상태공간,재일정정도상감완료상태공간폭작적문제.
