计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2011年
3期
988-990,994
,共4页
曾一%徐攀登%柴艳欣%邹明%丁娜
曾一%徐攀登%柴豔訢%鄒明%丁娜
증일%서반등%시염흔%추명%정나
对象约束语言%可扩展标记语言%类图%状态图%测试线索%约束冲突
對象約束語言%可擴展標記語言%類圖%狀態圖%測試線索%約束遲突
대상약속어언%가확전표기어언%류도%상태도%측시선색%약속충돌
提出一种带OCL约束的状态图测试线索的自动生成方法.该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对一事件约束集合生成带OCL约束的测试线索.实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的.实验结果证明了该方法的可行性和有效性.
提齣一種帶OCL約束的狀態圖測試線索的自動生成方法.該方法自動解析類圖和帶OCL約束的狀態圖的XML模型文件,穫取相應的狀態節點鄰接錶,再結閤狀態對一事件約束集閤生成帶OCL約束的測試線索.實例研究錶明,通過OCL約束遲突判斷可避免不可行測試線索的生成,減少測試用例數目,達到降低測試成本的目的.實驗結果證明瞭該方法的可行性和有效性.
제출일충대OCL약속적상태도측시선색적자동생성방법.해방법자동해석류도화대OCL약속적상태도적XML모형문건,획취상응적상태절점린접표,재결합상태대일사건약속집합생성대OCL약속적측시선색.실례연구표명,통과OCL약속충돌판단가피면불가행측시선색적생성,감소측시용례수목,체도강저측시성본적목적.실험결과증명료해방법적가행성화유효성.
