电子科技
電子科技
전자과기
IT AGE
2014年
5期
127-131
,共5页
状态图%体系结构%性能需求%业务需求
狀態圖%體繫結構%性能需求%業務需求
상태도%체계결구%성능수구%업무수구
给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证.模型在实现前就被验证,可减少目标系统的测试周期.文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证.按照语义规范和性能需求的标准验证状态图的体系结构.另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程.并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证.最终通过实验验证了该方法的有效性和可行性.
給SysML賦予形式化語義,可在目標繫統生成前,對繫統的模型進行閤理性驗證.模型在實現前就被驗證,可減少目標繫統的測試週期.文中用SysML狀態圖錶示繫統的行為模型,通過體繫結構和業務需求兩方麵對行為模型進行驗證.按照語義規範和性能需求的標準驗證狀態圖的體繫結構.另一方麵,在體繫結構正確性的基礎上,執行帶有動作規約語言的狀態圖,可得到狀態圖對象的行為過程.併通過判斷該行為過程與人們所期望的是否一緻,再對業務需求進行驗證.最終通過實驗驗證瞭該方法的有效性和可行性.
급SysML부여형식화어의,가재목표계통생성전,대계통적모형진행합이성험증.모형재실현전취피험증,가감소목표계통적측시주기.문중용SysML상태도표시계통적행위모형,통과체계결구화업무수구량방면대행위모형진행험증.안조어의규범화성능수구적표준험증상태도적체계결구.령일방면,재체계결구정학성적기출상,집행대유동작규약어언적상태도,가득도상태도대상적행위과정.병통과판단해행위과정여인문소기망적시부일치,재대업무수구진행험증.최종통과실험험증료해방법적유효성화가행성.
