论文部分内容阅读
阐述了一种自动生成结构性测试用例的设计方法与实现过程.采用广义表数据结构作为源程序的中间表示,在辅助实现结构性测试主要功能的同时,兼顾程序结构可视化.讨论了怎样以适当代价尽量高效全面地生成测试用例,并且提供较易用的使用界面.已经在一个可视化集成开发环境中的程序测试模块得到应用.
结构性自动软件测试的设计方法与实现
【摘 要】
：
阐述了一种自动生成结构性测试用例的设计方法与实现过程.采用广义表数据结构作为源程序的中间表示,在辅助实现结构性测试主要功能的同时,兼顾程序结构可视化.讨论了怎样以适
【机 构】
：
广东工业大学
【出 处】
：
计算机工程与设计
【发表日期】
：
2006年8期
其他文献
赛灵思公司公布了专门为支持“适应未来”的可编程无线基站而设计的一整套芯片、软件和IP解决方案。赛灵思灵活经济的解决方案可以替代传统的ASIC(专用集成电路)解决方案，通过
对于基于角色的访问控制（RBAC）已经出现大量的研究，作为特权管理设施（PMI）的另一种解决方案基于策略服务器的研究甚少，难点之一是策略协议设计与策略授权管理过于复杂。设计身份认
XML已经成为互联网中数据表示和数据交换事实上的标准。实现专门对于XML数据的有效存储和查询变得十分重要。报告了当前Native XML数据库在国内外的发展情况，讨论了一种Native
XML以其结构性、标签性、可扩展性和可移植性成为网络数据交换方面的标准技术，广泛地应用于计算机软件，尤其是电子商务应用领域。但目前数据存储和管理的主流手段仍是成熟而稳
为了提高科技文档中几何作图的效率,在科技文档字处理软件ScienceWord中实现了一种基于约束的平面几何作图系统。为了构建基于约束的作图系统,对约束的相关理论作了研究,讨论
开发一个连接Matlab数值仿真和HLA分布仿真的中间件Matlab_RTI,其主要功能包括数据映射、命令交互和仿真同步.使用XML作为数值模型的配置文件格式,无需重新编译中间件程序就
<正>引言:如今数字化浪潮正席卷几乎所有传统行业,到2020年,预计有500亿个设备将连接到网络,根据ITU最新报告,2020年每人每秒钟创建的数据量达到1.7M。面对这么超量的数据,我