国家高技术研究发展计划(2006AA01Z165)
- 作品数：3 被引量：2H指数：1
- 相关作者：章靠丁佐华珺小明张乃孝更多>>
- 相关机构：浙江理工大学华东师范大学北京大学更多>>
- 发文基金：国家高技术研究发展计划上海市科学技术委员会基础研究重点项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于事件图的并发软件测试
- 通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,...
- 章靠丁佐华
- 关键词：软件测试并发程序事件图
- 文献传递
- 基于事件图的并发软件测试
- 2007年
- 通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控观察状态的变迁;2)由于每个子图都是具体的一条执行路径,即一次模拟,所以所有的用例都是有效的;3)由于事件图中的状态是有限的,所以在生成用例的过程中不会出现状态爆炸。
- 章靠丁佐华
- 关键词：软件测试并发程序事件图
- 基于控制流的形式化程序测试被引量：1
- 2008年
- 为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题,提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后,通过条件演算对序列程序生成测试用例。程序执行是基于程序语义进行,避免了隐含的不可行路径,复杂度分析表明该方法可以避免状态爆炸问题。
- 章靠丁佐华
- 关键词：软件测试形式化方法
- Garden：一种面向领域语言的集成开发环境被引量：1
- 2008年
- 随着计算机技术的发展,通用语言已经不能满足各种领域应用程序开发的需要.由于领域语言提供领域专用术语和符号的概念,支持该领域中的各种处理,能够简洁、有效地构造该领域应用程序,因此,领域语言成为当前计算机语言研究中的热点.文中在面向模型的变换型软件开发方法和语言的抽象与封装机制研究的基础上,设计与实现了一种面向语言的领域语言的集成开发环境Garden,它包括软件开发环境和程序开发环境.软件开发环境以GarAda解释器为核心,用于支持领域语言开发的各过程;程序开发环境以领域语言编译器为核心,用于支持领域用户程序开发的各过程.Garden的研制成功,为领域语言的自动生成探索了一条切实可行的途径.
- 张乃孝珺小明孙猛
- 关键词：GARMENTGARDEN领域语言自动生成
