The Automated Testing and Load Analysis System (ATLAS) formalizes a concept of model-referenced testing for large software systems. A directed graph model of the software under test, describing the sequential stimulus-response behavior of the software system, forms the basis of the approach. The objective of ATLAS is to certify the software under test against the model. This objective is met by components of ATLAS that automatically identify, generate, apply, and verify the set of tests required to establish that the software has correctly realized the model. The system has been successfully employed in testing over 40,000 instructions of Bell Laboratories large No. 4 ESS software package. Usage data and experience from this application and a critique of the approach are given.
自动测试和负载分析系统(ATLAS)正式定义了针对大型软件系统的模型参考测试的概念。被测软件的有向图模型描述了软件系统的顺序刺激响应行为,构成了该方法的基础。 ATLAS的目的是根据模型对测试中的软件进行认证。 ATLAS的组件可以自动识别,生成,应用和验证为确定软件已正确实现模型所需的一组测试,从而达到了这一目标。该系统已成功用于测试贝尔实验室4号大型ESS软件包的40,000条指令。给出了此应用程序的使用数据和经验以及对该方法的评论。 P>
机译:使用自动化软件评估系统测试大型软件
机译:自动化测试系统测试程序软件 - 使看不见的可见
机译:自动化软件测试系统使用多功能系统特征方法
机译:集成产品团队在选择软件和更换老化的自动测试系统导弹测试时吸取的教训
机译:工业监督控制和数据采集(SCADA)软件系统的自动化测试。
机译:心房颤动的自动风险评估(AURAS-AF)-促进抗凝和降低中风风险的自动化软件系统:一项集群随机对照试验的研究方案
机译:异步系统的自动化软件测试