首页> 外文OA文献 >FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

【2h】

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

机译：FLAME：用于通过自动规格测试验证的软件产品线的自动分析的正式框架

页面导航

摘要
著录项
相似文献
相关主题

摘要

Artículo publicado on-line el 14/12/2015.

机译：文章于2015年12月14日在线发布。

著录项

作者
Durán Toro Amador; Benavides Cuevas David Felipe; Segura Rueda Sergio; Trinidad Martín Arroyo Pablo; Ruiz Cortés Antonio;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing [J] . Duran Amador, Benavides David, Segura Sergio, Software and systems modeling . 2017,第4期

机译：FLAME：一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
2. Specification and automated validation of staged reconfiguration processes for dynamic software product lines [J] . Lochau Malte, Buerdek Johannes, Hoelzle Stefan, Software and systems modeling . 2017,第1期

机译：动态软件产品线的阶段性重新配置过程的规范和自动验证
3. Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements [J] . Hassan R., Eltoweissy M., Bohner S., Software, IET . 2010,第2期

机译：工程安全的形式化分析和设计，可从面向目标的安全要求中自动得出正式的软件安全规范
4. AN AUTOMATED MODEL-DRIVEN TESTING FRAMEWORK - For Model-Driven Development and Software Product Lines [C] . Beatriz Perez Lamancha, Macario Polo Usaola, Mario Piattini International Conference on Evaluation of Novel Approaches to Software Engineering . 2010

机译：一种自动模型驱动的测试框架 - 用于模型驱动的开发和软件产品线
5. Improving effectiveness of automated software testing in the absence of specifications. [D] . Xie, Tao. 2005

机译：在没有规范的情况下提高自动化软件测试的效率。
6. qBase relative quantification framework and software for management and automated analysis of real-time quantitative PCR data [O] . Jan Hellemans, Geert Mortier, Anne De Paepe, 2007

机译：qBase相对定量框架和软件用于实时定量PCR数据的管理和自动分析
7. Automated network protocol reachability analysis with supertrace algorithm and TESTGEN : automated generation of test sequence for a formal protocol specification [O] . Basaran Cuneyt 1994

机译：使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析：自动生成正式协议规范的测试序列
8. Automated Network Protocol Reachability Analysis with Supertrace Algorithm and TESTGEN: Automated Generation of Test Sequence for a Formal Protocol Specification. [R] . Basaran, C. 1994

机译：使用supertrace算法和TEsTGEN进行自动网络协议可达性分析：自动生成正式协议规范的测试序列。

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

摘要

著录项

相似文献

相关主题

期刊订阅