计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2005年
17期
123-125,138
,共4页
魏臻%周霞%鲍红杰%韩进
魏臻%週霞%鮑紅傑%韓進
위진%주하%포홍걸%한진
软件安全性%Petri网%联锁软件%测试用例
軟件安全性%Petri網%聯鎖軟件%測試用例
연건안전성%Petri망%련쇄연건%측시용례
安全是铁路运输生产永恒的主题.联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安全性具有举足轻重的作用.文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用.
安全是鐵路運輸生產永恆的主題.聯鎖軟件是保障鐵路車站列車或機車(以下簡稱列機車)作業安全的關鍵軟件,充分的測試對于保證其安全性具有舉足輕重的作用.文章在分析文獻[1][5][6]的聯鎖軟件安全性需求故障樹模型的基礎上建立瞭聯鎖軟件安全性需求的Petri網模型,提齣瞭一種基于十字鏈錶的Petri網的存儲結構,給齣瞭一種求解割集的算法實現;接著簡述瞭安全性測試用例的自動生成方法;最後給齣瞭該方法在HJ04A繫統聯鎖軟件安全性測試中的應用.
안전시철로운수생산영항적주제.련쇄연건시보장철로차참열차혹궤차(이하간칭렬궤차)작업안전적관건연건,충분적측시대우보증기안전성구유거족경중적작용.문장재분석문헌[1][5][6]적련쇄연건안전성수구고장수모형적기출상건립료련쇄연건안전성수구적Petri망모형,제출료일충기우십자련표적Petri망적존저결구,급출료일충구해할집적산법실현;접착간술료안전성측시용례적자동생성방법;최후급출료해방법재HJ04A계통련쇄연건안전성측시중적응용.
