章靠
- 作品数：5 被引量：1H指数：1
- 供职机构：浙江理工大学更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于事件图的并发软件测试
- 通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,...
- 章靠丁佐华
- 关键词：软件测试并发程序事件图
- 文献传递
- 基于流语言的并发软件测试
- 并发程序的测试一直是软件测试中的关注点。所谓并发程序是指两个或多个进程(或线程)协同完成一个任务。每个进程是一个序列程序执行一串语句。进程间的交流是通过信息传递来完成。然而由于与生俱来的不确定性(使用了不确定性语句，过程...
- 章靠
- 关键词：测试用例生成
- 文献传递
- 基于事件图的并发软件测试
- 2007年
- 通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。
- 章靠丁佐华
- 关键词：软件测试并发程序事件图
- 基于控制流的形式化程序测试被引量：1
- 2008年
- 为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。
- 章靠丁佐华
- 关键词：软件测试形式化方法
- 基于微分方程的程序性能分析
- 2009年
- 基于连续Petri网模型,用一组常微分方程来描述程序,通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化,每个状态可由介于0和1之间的数来度量,显示程序到达状态的程度。该方法的好处在于在做程序分析时,可避开状态爆炸问题。
- 吴正志章靠丁佐华
- 关键词：性能分析连续PETRI网微分方程
