互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

面向安全苛求软件的测试用例自动生成


□ 章文婷 徐中伟 喻 刚

  (同济大学 电子与信息工程学院 信通系, 上海 201804)
  
  摘 要:测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。
  关键词:安全苛求软件; 测试用例自动生成; 安全覆盖准则
  中图分类号:TP311.56 文献标志码:A
   文章编号:10013695(2009)01014003
  
  Automated test data generation for safety critical software
  ZHANG Wenting, XU Zhongwei, YU Gang
  
  (Dept. ofInformation & Communication, School of Electronics & Information Engineering, Tongji University, Shanghai 201804, China)
  
  Abstract:Automated test data generation is the most crucial technology to evaluate safetycritical software. However, the current thesis are not fully considered the safety requirement of safetycritical software, therefore the paper presented an automated test data generation strategy for safetycritical software using safety coverage criteria. At last applied the strategy to the railway station computer interlocking software. Compared with all nodes coverage criteria, it shows that has higher safety guarantee to critical transition.
  Key words:safety critical software; automated test data generation; safety coverage criteria ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017