序列程序相关硕士博士期刊学术论文 - 搜论网

序列程序相关论文

基于控制流的形式化程序测试

为避免现有产生测试用例过程中隐含的不可行路径和状态爆炸问题，提出一种对基于流的序列程序产生测试用例的形式化方法。该方法定义......

期刊

软件测试序列程序形式化方法 software testing sequential programs formal method

序列设计的比较研究

1.导言如果两种治疗方法的疗效差别是大的,那么,通过使用舍位的序列程序来比较两种疗法的优越性,就可早期中止一个临床试验。这种......

期刊

序列设计临床试验序列程序序列概率比二项分布马尔克夫链舍位期望损失函数试验时期优越性

看过本文同时还关注