论文部分内容阅读
白盒测试是检验程序正确性的重要方法。代码的覆盖度量是保证白盒测试的充分性的主要准则。现今，泛型编程技术已经在程序设计中占据了重要地位，而泛型程序设计的特点，则给传统白盒测试中的代码覆盖度量法则带来了新的挑战。针对泛型技术的特点，该文提出了一种增强的覆盖度量方法，该方法可用于泛型程序的白盒测试。
关于泛型程序的覆盖度量方法的探讨
【摘 要】
：
白盒测试是检验程序正确性的重要方法。代码的覆盖度量是保证白盒测试的充分性的主要准则。现今，泛型编程技术已经在程序设计中占据了重要地位，而泛型程序设计的特点，则给传统白
【机 构】
：
上海交通大学软件学院,上海交通大学计算机科学与工程系
【出 处】
：
计算机工程
【发表日期】
：
2004年B12期
其他文献
在大量应用中,空间数据的采集和使用都是通过其空间位置进行的.在大小有限的屏幕上显示大量的空间数据常会因为邻结点的高度重叠而导致较差的视觉效果.该文提出一种可视化大
我国的电力工业正在蓬勃发展,为了提高线路的输电能力和经济性能,我国的电网正在大力建设超高压和特高压输电线路,但是超高压和特高压电网线路较长且电压等级较高,因此超高压
1-131是一种裂变产物,是核电厂发生核事故时,向环境释放的主要特征核素。同时,它也是核医学应用中用量最大的核素之一。1-131释放到空气后会形成放射性气溶胶,并以气态碘和微粒碘两种形式存在。1-131容易被人体甲状腺吸收,超过一定量后会对人们产生危害。因此,测量气溶胶中1-131浓度是辐射环境监测的重要内容。对核事故的预警、事故状况以及事故的公众剂量评价具有重要作用,同时也是核医学应用场所辐射环
背景:原发性肥大性骨关节病(primary hypertrophic osteoarthropathy,PHO),是一种累及骨骼和皮肤的罕见遗传性疾病。临床表现以杵状指(趾)和管状骨骨膜增生为特征,伴有头面部
最近，记者收到了大量读者反馈的关于iPhone 4S手机无法识别移动手机卡的问题。虽然他们的手机卡在无锁版iPhone 4上都能正常使用，即使是在有锁的美版、日版（通过卡贴解锁）上亦使用正常，但换到无锁的港版、美版以及加拿大版iPhone 4S上就无法识别了。而他们的手机在遇到联通手机卡时却能正常无误地使用。 目前，移动已经大量使用128K的Micro SIM卡（可以直接使用）和256K的Min
含氮杂环化合物具有广泛的生物活性,在药物化学研究领域中占有重要的地位。环加成反应是构建含氮杂环化合物高效简洁的方法。作为重要的有机合成砌块,噁唑酮的反应取向具有多
文章针对统计数据审核要求，提出了一种基于规则的统计数据审核解决方法。介绍了统计审核规则的分类和表示方法，并给出了构造审核规则解释器的方案。
针对燃气采暖热水炉的冷凝换热器(管壳式换热器,烟气走壳程,水走管程,换热管采用波纹管),采用Fluent软件模拟不同烟气进气角下冷凝换热器烟气温度场、传热系数、进出口烟气压
虽然“有问题，百度一下”可以为用户解决大部分常识性问题，但如果自己的问题专业性较强或比较偏门，那么使用搜索引擎还是无法在短时间内获得满意的答复。而若是通过真实的现金悬