搜索筛选:
搜索耗时2.3395秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：章靠,
来源：浙江理工大学 年份：2007
并发程序的测试一直是软件测试中的关注点。所谓并发程序是指两个或多个进程(或线程)协同完成一个任务。每个进程是一个序列程序执行一串语句。进程间的交流是通过信息传递来...
[期刊论文] 作者：章靠,丁佐华,
来源：四川大学学报：工程科学版 年份：2007
通过事件图来产生用于并发程序的测试用例。通过对事件图事件状态迁移的分析产生子事件图。每一个子图对应一个测试用例。该方法有如下特点:1)在用例执行过程中,能够实时监控...
[期刊论文] 作者：章靠,丁佐华,
来源：浙江理工大学学报 年份：2008
为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义了条件和循环覆盖准则后，通过条件演算对序列......
[期刊论文] 作者：吴正志,章靠,丁佐华,
来源：计算机工程与应用 年份：2009
基于连续Petri网模型，用一组常微分方程来描述程序，通过研究微分方程的解来研究程序的性能。每个微分方程描述程序状态的变化，每个状态可由介于0和1之间的数来度量，显示程序到达......
相关搜索：
