论文部分内容阅读
介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时,能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。
基于模型的有限状态机软件动态测试方法
【摘 要】
：
介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时,能够通过对旧状
【机 构】
：
北京理工大学计算机科学技术学院
【出 处】
：
北京化工大学学报(自然科学版)
【发表日期】
：
2007年S1期
其他文献
随着信息技术的发展和同业问竞争的加剧，新的电子营销渠道在金融服务或者金融产品分销中得到了广泛应用。比如网上银行、电话银行等等。银行日益丰富的服务渠道为客户获取金融
动物专名研究是传统语言学中名物研究的重要组成部分。本文以《尔雅》后五篇《释虫》《释鱼》《释鸟》《释兽》《释畜》为研究对象，以其所收录的动物专名为资料，通过对动物名称
半导体TiO2光催化氧化技术在污水处理、空气净化、抗菌、防雾和自洁净玻璃等领域具有广阔的应用前景。本论文针对TiO2在实际应用中存在的各种问题，重点在高活性纳米TiO2光催化
目的：超声检查恶性肿瘤化疗后病人的肝脏时常发现肝脏回声增强致密，类似脂肪肝的声像图表现。有学者认为此为化疗性脂肪肝，但大多数肿瘤科医生对此持有异议。为明确应用化疗药后
喉癌的发展 ,表现为局部肿瘤浸润、区域淋巴结转移、远处扩散这一临床过程。在这一过程中 ,自始至终地存在着宿主的免疫系统 ,尤其是细胞免疫系统与肿瘤细胞之间的相互作用。
今年入夏以来，我院先后收治因头痛、头晕、恶心、呕吐、发热入院的患者30余例。其中6例病情严重，表现为高热、昏迷、抽搐、二便失禁而收入ICU，经过鉴别诊断，排除夏季引起高热的其
多酸化合物主要是由一些前过渡元素（Mo，W，V，Nb，Ta等）的含氧酸根阴离子缩合而成，以其酸性、氧化-还原性及可调控的催化性能受到广泛重视，一些以多酸为催化剂的反应已经实现工业化。目
<正>电视记录片《舌尖上的中国》创下了很高的收视率,电视综艺栏目《星光大道》近年来也一直得到全国观众的喜欢,有什么奥秘吗?在笔者看来还是大道至简,它们用的还是老办法—
对防火幕的耐火极限要求进行了介绍,对防火幕幕体进行了设计,并对非稳态温度场理论进行了分析。通过有限元仿真与试验,对防火幕的耐火性能进行了研究,确认幕体温度的变化规律