Filters








185,556 Hits in 6.2 sec

Protocol specification for OSI

Gregor V Bochmann
1990 Computer networks and ISDN systems  
The presentation is placed within the context of the general protocol and software development life cycle.  ...  In this context, the protocol specifications are of particular importance, since they represent the standards which are the basis for the implementation and testing of compatible OSI systems.  ...  It is important to note that specifications are not only important for communication protocols, but also in general for software and hardware development.  ... 
doi:10.1016/0169-7552(90)90132-c fatcat:avhuude4dbclfiz5j5yellrqkm

Model-based software engineering for an optical navigation system for spacecraft

T. Franz, D. Lüdtke, O. Maibaum, A. Gerndt
2017 CEAS Space Journal  
Furthermore, the C++ code for the exchange of data between the modules and the scheduling of the software tasks is created automatically.  ...  The ATON model covers a graphical description of the modules, their parameters and communication patterns. Type and consistency checks on this formal level help to reduce errors in the system.  ...  Thus, to provide an efficient modeling tool for our use case, we developed a domain-specific modeling language based on SysML and UML.  ... 
doi:10.1007/s12567-017-0173-5 fatcat:2op6gf4ffrc3jo6lcj53uxdjzi

Model Driven Testing of Web Applications Using Domain Specific Language

Viet-Cuong Nguyen
2015 International Journal of Advanced Computer Science and Applications  
We introduce WTML -a domain specific language for modeling web pages and provide automatic code generation with a web-testing framework.  ...  Model-driven testing is a promising paradigm for the automation of software testing.  ...  ACKNOWLEDGMENT This work has been supported by the Department of Computer Science and Engineering, Faculty of Electrical Engineering and by the grant of Czech Technical University in Prague number SGS14  ... 
doi:10.14569/ijacsa.2015.060103 fatcat:tmgdvdtmlfdjdmjkugtynu3pqm

KVEST: Automated Generation of Test Suites from Formal Specifications [chapter]

Igor Burdonov, Alexander Kossatchev, Alexander Petrenko, Dmitri Galter
1999 Lecture Notes in Computer Science  
KVEST -Kernel VErification and Specification Technology -is based on automated test generation from formal specifications in the RAISE specification language.  ...  As of 1999, the methodology and toolset have been applied in three industrial project dealing with verification of large-scale telecommunication software.  ...  "Kernel Verification"; Lynn Marshall, who supervises and helps us; Marc Granic, Henri Balter, Brian Brummund and Victor Ivannikov, who provide senior management support; Richard Krol and John Shannon,  ... 
doi:10.1007/3-540-48119-2_34 fatcat:uilkrwce2jaifd7elj5tpzvr5e

The Pros and Cons of Using SDL for Creation of Distributed Services [chapter]

Anders Olsen, Didier Demany, Elsa Cardoso, Fiona Lodge, Mario Kolberg, Morgan Björkander, Richard Sinnott
1999 Lecture Notes in Computer Science  
This paper reports on the experience gained in the Service Creation projects SCREEN and TOSCA on use of the language SDL for efficient service creation.  ...  In a competeative market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues.  ...  One specific advantage of the SDL data concept is the standardised (in [Z.105]) relation to ASN.1 (a language suitable for description of protocol data).  ... 
doi:10.1007/3-540-48888-x_33 fatcat:pakg3n3b2zh2vfr2xk5lvg5boa

A Framework for Electrical Test Engineering Automation [chapter]

Gilson I. Wirth, Ricardo Wartchow, James Petterson, Sergio Bampi
1995 Electronic Design Automation Frameworks  
The test engineer carries out physical experiments, which embody measurements and data acquisitions, and proceeds data processing, visualization and analYSis. ii) The needs of the software tools developer  ...  This work deals with software environments for autoTfUltic test and characterization of electroelectronical devices, components and circuits.  ...  A tool used to implement a specific test vector generation algorithm, should model and implement just the specific test vector generation methodology it represents.  ... 
doi:10.1007/978-0-387-34880-3_18 fatcat:3mskkklxljgljoc5ymkxcbqkwm

Using TTCN-3 for Testing Platform Independent Models [chapter]

Gabor Batori, Domonkos Asztalos
2005 Lecture Notes in Computer Science  
However, MDA supporting tools provide only limited means for describing model level test procedures so a framework for model testing is indispensable.  ...  The TTCN-3 has a special language element, the template, that provides sophisticated means for describing test data.  ...  The test module contained 25 type definitions and 30 template specifications for the data types.  ... 
doi:10.1007/11430230_21 fatcat:65uqe6l6x5hajjb4dee7rbit2e

Survey on test data generation tools

Stefan J. Galler, Bernhard K. Aichernig
2013 International Journal on Software Tools for Technology Transfer (STTT)  
For the evaluation we defined 31 benchmark tests, which check the tools capabilities to generate test data that satisfies a given specification: 24 primitive type benchmarks and 7 non-primitive type and  ...  This survey gives an overview of state-ofthe art test data generation tools, either academic or commercial. The survey focuses on white-and gray-box techniques.  ...  Steirische Wirtschaftsförderungsgesellschaft mbH (SFG), and the city of Vienna in terms of the center for innovation and technology (ZIT).  ... 
doi:10.1007/s10009-013-0272-3 fatcat:4s2uiabp5vfd5bsiwvh5dgczqi

Practical Approach to Specification and Conformance Testing of Distributed Network Applications [chapter]

Victor V. Kuliamin, Nickolay V. Pakoulin, Alexander K. Petrenko
2005 Lecture Notes in Computer Science  
Specifications are developed in an extension of C language that makes them clear and useful for industrial developers and decreases greatly test construction effort.  ...  The resulting method was used to specify distributed applications and to develop conformance test suites for them in automated manner.  ...  IPMP-2 specification uses Syntax Definition Language [4] for defining syntax of messages and IPMP-related data in content.  ... 
doi:10.1007/11560333_6 fatcat:hicqas3ij5e3zp3xgqk553vrte

COMDEVALCO framework - the modeling language for procedural paradigm

Bazil Pârv, Ioan Lazăr, Simona Motogna
2008 International Journal of Computers Communications & Control  
Its constituents are: a modeling language, a component repository and a set of tools.  ...  This work is part of a series referring to COMDEVALCO - a framework for Software Component Definition, Validation, and Composition.  ...  tools in all the phases: building, validating, and using software component models; • the modeling language allows automatic code generation for components in a concrete programming language, according  ... 
doi:10.15837/ijccc.2008.2.2386 fatcat:npflhfxyqffqjknduy3btbabvm

A Domain-Specific Language Based Architecture Modeling Approach for Safety Critical Automotive Software Systems

Stefan Schlichthärle, Klaus Becker, Sebastian Sperber
2020 Software Engineering  
The complexity and novelty of the customer functions and the hardware and software platforms demands for an agile development methodology.  ...  In this paper, we introduce why and how we at BMW apply a Treat Architecture like Code approach for the software development for automated driving.  ...  To enable our tool chain we introduced deployment specifications to describe SOME/IP and IPC communication, as well as runtime parameters of Adaptive AUTOSAR applications and diagnostic communication.  ... 
dblp:conf/se/SchlichtharleBS20 fatcat:gdicju3gnzgbxbpylhaorjhmte

Development of a Model Driven ACSI Conformance Testing for IEC 61850-Based IED

Byungtae Jang, Alidu Abubakari, Namdae Kim
2018 Smart Grid and Renewable Energy  
There are many test tools available in the market today to test the compliance of the IEC 61850 communications specifications to the IED.  ...  The IEC 61850-10 presents test items for diagnosing communication specification conformance.  ...  By running the initializations, all default values and IED specific data reference required for the test are generated and stored.  ... 
doi:10.4236/sgre.2018.910014 fatcat:bsj6hbwmorcalkvrf3aohnptfu

Test generation for radiotherapy accelerators

Kenneth J. Turner
2004 International Journal on Software Tools for Technology Transfer (STTT)  
To make test generation practicable, specifications are annotated with event constraints using PCL (Parameter Constraint Language) as a means of stating test purposes.  ...  A typical specification and set of test purposes yields 256 test cases that can be executed manually or automatically.  ...  Ji He implemented most of the test generation tool. The author thanks Dr. Jan Tretmans (University of Nijmegen) for his insights into test generation.  ... 
doi:10.1007/s10009-004-0148-7 fatcat:pgfyfkckabepphfxokst4lje7y

Descriptive Study of Software Testing & Testing Tools
ENGLISH

Shalini Gautam, Bharti Nagpal
2016 International Journal of Innovative Research in Computer and Communication Engineering  
And for future work we will try to focus on a Particular testing tool so that it can be specifically used to calculate whether which testing is time saving and more efficient.  ...  Testing automation tools enables developers and testers to effortlessly computerize the complete practice of difficult in software progress.  ...  Automation software testing tools helps in generating the test cases from the specification of the program or from its real text data.  ... 
doi:10.15680/ijircce.2016.0406006 fatcat:spsnyrsdvjaqhfa3g2n4zmne6e

Integration of software technologies into a test system

Ron Yazma
2009 2009 IEEE AUTOTESTCON  
Test applications often require the integration of many different software technologies.  ...  This paper provides an overview of how several Windows-based technologies can be incorporated into a single application by employing a common software framework and architecture.  ...  Specifically, the framework needs to support the following attributes and functionality of a DLL: • Calling conventions (i.e. stdcall or cdecl) • Parameter type support and support for simple data types  ... 
doi:10.1109/autest.2009.5314008 fatcat:4gurxqnqwrgyfgpbs2sgntnayi
« Previous Showing results 1 — 15 out of 185,556 results