孙继荣
- 作品数:24 被引量:61H指数:5
- 供职机构:四川广播电视大学更多>>
- 发文基金:国家科技型中小企业技术创新基金四川省科技攻关计划四川省青年软件创新工程基金更多>>
- 相关领域:自动化与计算机技术文化科学航空宇航科学技术政治法律更多>>
- 基于需求覆盖和切片技术的软件错误定位
- 在某个测试用例GTC的驱动下,程序的执行结果与预期结果不符,需进行错误定位.首先根据测试用例与测试需求的关系,得到和GTC覆盖相同需求最多的3个成功测试用例和1个失败用例;然后引入程序切片技术,按照代码在各切片中出现的可...
- 孙继荣李志蜀殷锋倪建成
- 关键词:测试用例集程序切片
- 文献传递
- 基于“互联网+”翻转课堂资源建设与教学模式探究被引量:2
- 2019年
- 针对当前高校传统教学模式存在的诸如教学效果差、学生自控能力弱、学习兴趣低等棘手的问题,提出基于"互联网+"的翻转课堂教学模式。该模式采用互联网与教育的高度融合,建构基于翻转课堂教学所需的软件与硬件条件,激发学生学习兴趣,培养学生自主学习能力。
- 许晓莉孙继荣
- 关键词:资源建设教学模式
- 着色问题在测试用例集约简中的研究
- 基于I/O关系的黑盒测试用例集约简技术能够保证约简后的测试集Tred具有和原完全组合测试集相同的检错能力.该文提出了Red(I)和Red(O)两个对问题空间(I,O)约简的算法;构建了I/O关系图,将问题空间(I,O)划...
- 孙继荣李志蜀吴江倪建成李宝林
- 关键词:着色问题贪心算法
- 文献传递
- 基于基路径的测试程序控制流路径集生成方法
- 本发明属程序测试中的路径测试。通过引入数学上“基”的概念来定义程序控制流基路径的概念,首先使用编译器模块获得表示源程序片程序结构的数据结构,然后通过遍历该数据结构,使用控制流路径生成算法生成基于基路径的程序控制流路径子集...
- 李志蜀金虎王莉孙继荣陈宇郑燕妮李宝林
- 文献传递
- 全媒体数字教材的构建与设计探索被引量:4
- 2019年
- 全媒体数字教材是数字化时代阅读与学习方式的变革,其将"教学内容+教学管理平台+阅读终端"三要素集成一体,不仅改变了教学内容的媒体呈现,更重要的是改变了学生、教师、教学内容三者之间的交互方式,实现教、学、测、评、管、服、研的全部教学活动。研究揭示全媒体数字教材的本质特征,分析其意义,深入剖析全媒体数字教材下教学方式与学习方式的变革,构建全媒体数字教材的课程设计。
- 孙继荣屈静许晓莉
- 关键词:全媒体数字教材碎片化个性化学习
- 基于基路径的测试程序控制流路径集生成方法
- 本发明属程序测试中的路径测试通过引入数学上“基”的概念来定义程序控制流基路径的概念,首先使用编译器模块获得表示源程序片程序结构的数据结构,然后通过遍历该数据结构,使用控制流路径生成算法生成基于基路径的程序控制流路径子集编...
- 李志蜀金虎王莉孙继荣陈宇郑燕妮李宝林
- 文献传递
- 程序切片技术在软件测试中的应用被引量:19
- 2007年
- 基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。
- 孙继荣李志蜀王莉殷锋金虎
- 关键词:程序切片软件测试数据依赖测试数据自动生成
- 树突状细胞分化模型在人工免疫系统中的应用研究被引量:7
- 2008年
- 树突状细胞(Dendritic Cell,DC)是先天性免疫系统的重要组件,其分化机制是正确引发与调节适应性免疫响应的关键.首先,在描述DC分化的生物机理基础上,抽象出了DC的信息处理过程.其次,在阐释DAMP等四类外部信号的含义与功能、信号融合过程的基础上,定义了未成熟、完全成熟与半成熟DC Agent,刻画了它们的分化数学模型与演化过程.最后,论证了各类DC Agent数量与生存周期之间的关系.实验结果表明DC分化机制对降低入侵检测误报率、实现自我调节和进一步增强计算机系统安全具有重要的理论意义与应用价值.
- 倪建成李志蜀孙继荣周利平
- 关键词:人工免疫树突状细胞
- 着色问题在测试用例集约简中的研究被引量:1
- 2007年
- 基于I/O关系的黑盒测试用例集约简技术能够保证约简后的测试集Tred具有和原完全组合测试集相同的检错能力。该文提出了Red(I)和Red(O)两个对问题空间(I,O)约简的算法;构建了I/O关系图,将问题空间(I,O)划分为若干子问题(Ii,Oi);并引入着色问题得到每个子图的同色等价类,进一步得到其基类Ii′,然后实施等价类替换和运用算法Red(O);进而运用贪心算法求解覆盖每个子问题空间的测试用例集Treid;最后水平拼接各Treid构成问题空间(I,O)的约简测试用例集Tred。这样得到的测试集不仅保持了检错能力,而且规模较小,同时又降低了贪心算法的时空复杂度。
- 孙继荣李志蜀吴江倪建成李宝林
- 关键词:着色问题
- 塔台模拟机微机版视景位的设计和实现
- 2004年
- 主要介绍了如何在微机上实现对窗外视景的实时仿真,我们创造性的提出了视景服务器和从视景位的概念, 以从视景位来模拟单个通道,完成某个角度的场景的渲染;以视景服务器来模拟SGI工作站并协调各个从视景位的同步 和通讯,重点介绍了视景服务器的设计和实现.
- 孙继荣李志蜀殷锋秦燕
- 关键词:塔台模拟机