From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2389 invoked by alias); 2 Jul 2014 19:37:30 -0000 Mailing-List: contact ecos-discuss-help@ecos.sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: ecos-discuss-owner@ecos.sourceware.org Received: (qmail 2343 invoked by uid 89); 2 Jul 2014 19:37:26 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=2.0 required=5.0 tests=AWL,BAYES_50,SPF_PASS,T_RP_MATCHES_RCVD,URIBL_DBL_ABUSE_REDIR,URIBL_DBL_REDIR autolearn=ham version=3.3.2 X-HELO: mails.cs.uwaterloo.ca Received: from mails.cs.uwaterloo.ca (HELO mails.cs.uwaterloo.ca) (129.97.167.217) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-SHA encrypted) ESMTPS; Wed, 02 Jul 2014 19:37:24 +0000 Received: from [129.97.171.195] (swag12.cs.uwaterloo.ca [129.97.171.195]) (authenticated bits=0) by mails.cs.uwaterloo.ca (8.14.4/8.14.4/Debian-2ubuntu2.1) with ESMTP id s62JbLua056377 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Wed, 2 Jul 2014 15:37:22 -0400 Message-ID: <53B45F71.2080600@uwaterloo.ca> Date: Wed, 02 Jul 2014 19:37:00 -0000 From: Sarah Nadi User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 MIME-Version: 1.0 To: ecos-discuss@sourceware.org Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-IsSubscribed: yes Subject: [ECOS] Questions about CDL dependencies in eCos X-SW-Source: 2014-07/txt/msg00001.txt.bz2 Hi everyone, I am a researcher at the University of Waterloo, Ontario, Canada. As part of a research team with members from both the University of Waterloo and Carnegie Mellon University, USA, we are interested in creating automated tools for large configurable software. We are currently working on automatically reverse engineering configuration dependencies from code such that all dependencies between configuration features are documented (similar to those documented in CDL files). This is useful to automatically identify dependencies that need to be enforced in the configuration files. These tools can also help with consistency checks between the code and the dependencies specified in configuration files (such as CDL files). We have tested our infrastructure on four different open-source systems, including eCos, and can already recover many of the existing dependencies [1]. We are now doing a qualitative investigation of dependencies from the perspective of developers. We want to understand the sources of such configuration dependencies as well as the general reasons why developers enforce dependencies in practice. To improve our tools, and to better understand the configuration dependencies enforced, we are interested in talking to developers who are familiar with CDL dependencies and/or who use the configuration features during coding (e.g., through #ifdef macro). This can take place through an online questionnaire and/or phone/Skype interviews. Either of these would take 15 min of your time. We would discuss when you enforce dependencies in CDL, your usage of #ifdefs in the code, as well as concrete examples of dependencies we could not automatically recover. If you are willing to participate, please fill in the questionnaire found at http://bit.ly/1mjy326 and/or reply to this email to set up an interview time. Thanks, Sarah Nadi University of Waterloo, ON, Canada snadi@uwaterloo.ca http://cs.uwaterloo.ca/~snadi [1] Sarah Nadi, Thorsten Berger, Christian Kästner, Krzysztof Czarnecki. Mining Configuration Constraints: Static Analyses and Empirical Results. In ICSE'14: Proceedings of the 36th International Conference on Software Engineering, Hyderabad, India, 2014. -- Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss