论文部分内容阅读
基于有向图理论对程序正文进行解析,同时对软件的使用模型做了初步的探讨,分析了具有Markov随机性质的软件使用过程和软件测试中的测试路径的选择策略,并对测试结果做出评价,给出软件的可靠性.
基于使用模型的软件测试路径选择及其性能分析
【摘 要】
：
基于有向图理论对程序正文进行解析,同时对软件的使用模型做了初步的探讨,分析了具有Markov随机性质的软件使用过程和软件测试中的测试路径的选择策略,并对测试结果做出评价,
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2003年18期
【基金项目】
：
日本富士通公司资助项目
其他文献
将硅烷偶联剂改性后的偏高岭土应用于水泥基材料中，研究了改性偏高岭土对混凝土工作性能、力学性能和渗透性的影响。并运用压汞和SEM等方法对其影响机理进行了探讨。结果表明，
以平面五杆柔顺并联机构为研究对象，从机构位形的对称性出发寻找机构的稳态特性．针对五杆机构存在两个柔顺关节的情况进行分析，研究其多稳态特征．将五杆机构简化成伪刚体模型，通过
实际生产中，经常会涉及到螺纹的检测和测量。螺纹的检测包括对螺纹合格性的综合性检验和确定某一几何参数量值的单一测量。下面对这两种方法分别进行分析。
城乡关系一直是人类社会关系中的一个重要方面,也是马克思主义研究的重要领域。马克思认为,城乡关系的变化深刻影响着整个社会的变化。中国共产党也十分重视新中国的城乡关系
<正> 目前,我公司为临工系列装载机生产配件——动臂,由于生产设备的限制,动臂加工只能在加工中心进行。动臂包括三大类型六个系列,如果每一系列使用一种夹具,不仅给夹具的制
【正】 膝关节软骨全层缺损的恢复能力很差,它会发展为骨关节炎并需做全关节替代。作者们在23名膝关节深层软骨缺损病人做了自体软骨细胞移植。病人年龄为14至48岁,其全层软
<正> 我厂生产的LW_3—101Ⅱ型电动机构产品中有一驱动板零件,形状如图1,材料为铸钢件。对于孔内键槽的加工,原来一直是在线切割设备上加工的,但因加工耗时,而使制造成成本增
针对大体积混凝土收缩开裂的特点,研究了煅烧菱镁矿所得MgO膨胀剂组成、微观结构、水化活性及膨胀变形性能,探讨了煅烧制度与MgO膨胀剂的微观结构、水化活性及膨胀性能的关系
同乡会是民国时期兴起的以地缘为纽带的新型同乡组织。抗战爆发以后,国民政府迁都重庆,沦陷区数百万人也随之涌入。各地旅渝同乡会本着为被难同乡服务的宗旨,纷纷开展救济难
Influence of Temperature on Equilibrium, Kinetic and Thermodynamic Parameters of Biosorption of Cr(V
In this work the potential of fish scales as a suitable biosorbent for removal of Cr(VI) ions from aqueous solutions was investigated at various temperatures. T