程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

程序的调试技巧

该文简要介绍编程中常见的错误类型,通过黑箱测试法、白箱测试法、等价分类法、边界分析法和错误推测法对程序错误进行分析判断和定位。     

基于对比环境的黑箱测试技术研究

本文好一种用于铁路信号控制微机联锁软件系统再确认测试的黑箱测试平台，并重点讨论了该平台中的对比环境的系统设计，实现技术等有关问题。     

程序的调试技巧

该文简要介绍编程中常见的错误类型，通过黑箱测试法、白箱测试法、等价分类法、边界分析法和错误推测法对程序错误进行分析判断和定位。     

基于接口参数的黑箱测试用例自动生成算法

测试用例的选择与生成技术是软件测试尤其是黑箱测试的一个重要研究领域，测试用例的质量将直接决定软件测试的科学性和有效性．该文在一般的测试用例选择方法的基础上，提出了一种基于对接口参数进行组合覆盖的黑箱测试用例自动生成算法模型，据此可以生成一个对所有接口参数进行两两组合覆盖的测试用例表．并证明了该方法产生的测试用例具有数量少、能实现对接口参数最大限度组合覆盖的特点，从而可以在提高软件测试质量的同时，降低成本，提高效率．最后介绍了该算法在作者研究开发的测试数据生成工具中的实际效果．     

基于Python的程序评分软件的设计与实现

随着Python越来越受到编程爱好者的青睐,普通高中信息技术教材都采用了Python作为编程语言。但在实际教学过程中,学生编写了很多Python程序,教师如果都进行手工批改,工作量就很大。作者提出使用基于Python的评分软件,可以大大提高教师的工作效率,体现信息技术的优势。     

博士考考你

正~~     

软件系统的黑箱测试

笔者有幸主持了2002年天津市人民政府信息化办公室全额拨款项目——“市级会议会务管理系统”,该项目是使用“非接触式IC卡”实现会议签到、就餐、分房、派车、文件发放五大功能,开发周期为两个月。项目的使用单位包括“天津市委的党代会、全会”,每年一次的“天津市人民代表大     

基于遗传算法的黑箱测试用例自动生成模型

介绍基于遗传算法的测试用例自动生成技术,研究了利用动态调试技术和静态反汇编技术计算遗传算法中适应度函数的方法,设计了基于遗传算法的黑箱测试用例自动生成模型。该模型可直接对可执行文件自动生成测试用例,避免对程序进行源代码插装,降低对程序源代码的要求,扩展了基于遗传算法的测试用例自动生成技术的应用范围。     

定制化轨道车载监测技术

1功能概述轨道交通行业作为国家重要基础设施、国民经济大动脉和大众化交通工具,其关键设备运行的安全性和可靠性得到越来越多的重视。列车的运行环境较为苛刻,存在较强的电磁干扰信号、振动和冲击、列车内外环境温度变化较大;同时为全面监测列车的运行情况,需要采集多种类型传感器信号,以及信号相应