首页> 中文会议>2004年全国理论计算机科学学术年会 >基于STGA的并发程序测试

基于STGA的并发程序测试

页面导航

摘要
著录项
相似文献
相关主题

摘要

带赋值符号迁移图(SymbolicTransitionGraphwithAssignment,简称STGA)用符号化方法解决了传值问题,STGA图中的状态和迁移都可以带有参数.本文将阐述如何从STGA图中生成同步序列,并且提出若干覆盖率标准来指导同步序列的选择,最后通过一个实例来研究这种方法的测试效率,并且与基于LTS的同步序列生成方法进行比较.

著录项

来源
《2004年全国理论计算机科学学术年会》|2004年|60-61|共2页
会议地点武汉
作者
唐江峻;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序设计;
关键词
带赋值符号迁移图; 并发程序测试; 同步序列;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的并发程序测试用例产生方法 [J] . 霍敏霞 ,丁晓明 . 计算机科学 . 2011,第009期
2. 基于EE-CSPE约束的并发程序测试 [J] . 卢炎生 ,王静 ,谢晓东 . 小型微型计算机系统 . 2007,第007期
3. 一种基于并发错误模式的Java并发程序动态测试方法 [J] . 杨楷 ,刘超 ,金茂忠 . 计算机工程与科学 . 2006,第0z2期
4. 并发程序变异测试研究综述 [J] . 田甜 ,巩敦卫 . 电子学报 . 2020,第011期
5. 控制系统多重中断并发程序测试动态工具设计 [J] . 梁昊 ,艾云峰 ,陈丽容 . 计算机工程与设计 . 2015,第007期
6. 一种基于并发错误模式的Java并发程序动态测试方法 [C] . 杨楷 ,刘超 ,金茂忠 . 中国计算机学会软件工程专委会2006年年会 . 2006
7. 并发程序测试——基于扩展同步序列的Java多线程程序可达性测试方法 [A] . 王艳臣 . 2007

基于STGA的并发程序测试

摘要

著录项

相似文献

相关主题

期刊订阅