论文部分内容阅读
本文提出了一种新型的测试模型一基于类型理论的构造性软件测试模型。程序构造与程序设计同时进行开发，而测试过程把类型和程序不加区分。构造出的程序便是测试器。
基于类型理论的构造性软件测试模型
【摘 要】
：
本文提出了一种新型的测试模型一基于类型理论的构造性软件测试模型。程序构造与程序设计同时进行开发，而测试过程把类型和程序不加区分。构造出的程序便是测试器。
【机 构】
：
黑龙江大学,哈尔滨工业大学计算机系
【出 处】
：
黑龙江电子技术
【发表日期】
：
1996年1期
其他文献
随着经济休制改革逐步从传统的计划经济体制向社会主义市场经济体制转变，投资领域中中央与地方的关系也开始发生变化。这就是：中央投资项目管理权不断下放，地方政府投资管理权不
随着加入世界贸易组织的鼓点咚咚临近．我国企业正面临着竞争的对手更为强大、竞争的形式更为高级化、竞争的领域更加广阔和竞争的手段更为多样化的严峻局面。如何提高我国企业
0 问题的提出信息时代正在改变着人们的思维方式和获取信息的方法 ,人们不仅要听、要看 ,而且要求同时接受视觉与听觉的全方位、交互式感官信息技术的提供。多媒体技术列为
期刊
以儒家思想为主导的中国传统文化对教育的重视程度，是世界上任何民族都无法比拟的，德育是儒家教育的核心，在二千多年的德育实践中总结出来的教学方法，不仅在文化传播和发展上发挥
从胆酸(CA)合成了2'-甲基丙烯酰氧基乙基-3α,7α,12α-三甲基丙烯酰氧基-5β-胆酸-24-酯(CAGE4MA),并应用光聚合方法将其制成了高分子树脂.实验选用商业单体2,2'-二