-
题名基于Petri网的联锁软件测评仿真建模
被引量：5
- 1
-
-
作者
宫杰
陈邦兴
-
机构
同济大学电子与信息工程学院信通系
-
出处
《计算机应用与软件》
CSCD
2009年第2期11-13,52,共4页
-
基金
国家自然科学基金项目(60674004)
-
文摘
车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例。该模型有助于提高铁路联锁软件测试系统的安全性与精确性。
-
关键词
联锁
软件测试
建模
PETRI网
-
Keywords
Interlocking Software test Modelling Petri-Net
-
分类号
TP391.9
[自动化与计算机技术—计算机应用技术]
TM711
[电气工程—电力系统及自动化]
-
-
题名面向安全苛求软件的测试用例自动生成
被引量：1
- 2
-
-
作者
章文婷
徐中伟
喻刚
-
机构
同济大学电子与信息工程学院信通系
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第1期140-142,174,共4页
-
基金
国家自然科学基金资助项目(60674004)
-
文摘
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
-
关键词
安全苛求软件
测试用例自动生成
安全覆盖准则
-
Keywords
safety critical software
automated test data generation
safety coverage criteria
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
