-
题名面向安全苛求软件的测试用例自动生成
被引量：1
- 1
-
-
作者
章文婷
徐中伟
喻刚
-
机构
同济大学电子与信息工程学院信通系
-
出处
《计算机应用研究》
CSCD
北大核心
2009年第1期140-142,174,共4页
-
基金
国家自然科学基金资助项目(60674004)
-
文摘
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
-
关键词
安全苛求软件
测试用例自动生成
安全覆盖准则
-
Keywords
safety critical software
automated test data generation
safety coverage criteria
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名“智安卫士”扩散式气体检测仪
- 2
-
-
作者
田云飞
章文婷
-
机构
华北科技学院
-
出处
《包装工程》
CAS
北大核心
2024年第14期I0012-I0012,共1页
-
文摘
设计说明:本研究为“智安卫士”扩散式气体检测仪设计。该款产品可用于社区、居家、仓储、工厂等对空气环境安全性要求较高的场所,即时检测空气中的有害气体及可燃气体,并进行实时浓度显示。产品与手机端、环境空间实现智能互联,通过区域无线网络进行信息传输,当危险气体浓度达到一定阈值时,产品启动声光报警机制,并于手机端警示,同时给出应急处理选项,可实现24小时气体监测,以守护空气环境安全。
-
关键词
可燃气体
声光报警
智能互联
气体检测仪
气体监测
扩散式
设计说明
空气环境
-
分类号
TH702
[机械工程—精密仪器及机械]
-
