77,336 Hits in 7.2 sec

A practical approach for model based slicing

Rupinder Singh
2013 IOSR Journal of Computer Engineering  
Test cases can be designed at model level of software development. But to visualize the software model or architecture is difficult due to its large and complex structure.  ...  Software testing is an activity that will aim at evaluating an attribute or capability of system and determine that whether it meets required expectations.  ...  According to ANSI/IEEE 1059 standard [1, 2] , Testing can be defined as -A process of analyzing a software item to detect the differences between existing and required conditions (that is defects/errors  ... 
doi:10.9790/0661-1241826 fatcat:qzhx6k73jnef7fj22bpctkt4dm

Software testing at the architectural level

Debra J. Richardson, Alexander L. Wolf
1996 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops -  
We propose several architecture-based test criteria based on the Chemical Abstract Machine model of software architecture.  ...  An architectural integration test plan, developed by applying selected of these criteria, can be used to assess the architecture itself or to test the implementation's conformance with the architecture  ...  Relationships between faultbased criteria have been analyzed as well 15 . More recently, structural criteria have been developed based on speci cations see, for example, 4 .  ... 
doi:10.1145/243327.243605 fatcat:3smcru7frne4taywiztmb6st6u

Literature Analysis on Model based Slicing

Rupinder Singh, Vinay Arora
2013 International Journal of Computer Applications  
One way to ease this is program slicing technique that decomposes the large programs into smaller ones and another is model based slicing that decomposes the large software architecture model into smaller  ...  To understand and test a large software product is very challenging task.  ...  apply the slicing technique on software architecture precisely.  ... 
doi:10.5120/12155-8185 fatcat:grjopbfjkja47ajvtdhryhleia

Systematic Testing of Software Architectures in the C2 Style [chapter]

Henry Muccini, Marcio Dias, Debra J. Richardson
2004 Lecture Notes in Computer Science  
The topic of software architecture (SA) based testing has recently raised some interest.  ...  In this context, on previous papers, we have analyzed: i) how suitable test cases can be "selected" from the SA specification and ii) how they may be "refined" into concrete tests executable at the code  ...  In Step 1, a software architect, by looking at the software architecture dynamics from different viewpoints, defines various testing criteria [5] .  ... 
doi:10.1007/978-3-540-24721-0_22 fatcat:qguusker3jeo5mft3lkfzvphya

Generation of Test Cases from Sliced Sequence Diagram

Manpreet Kaur, Rupinder Singh
2014 International Journal of Computer Applications  
Keywords Software Testing, Sequence diagram, Model based slicing.  ...  Test cases can be planned at design level of software development life cycle. But to visualize the system model or architecture is hard due to its bulky and complex structure.  ...  For such huge system architectures, it becomes extremely complicated to understand and analyze these models. For huge system architectures, it is very difficult to test the entire system in one pass.  ... 
doi:10.5120/17006-7157 fatcat:iqvymks3efe6jlxxoocdtiuoaq

Modeling and Analyzing Publish Subscribe Architcture using Petri Nets

Junhua Ding, Dongmei Zhang
2015 Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering  
Formally modeling and analyzing software architecture is an effective way to ensure the correctness of software architecture.  ...  Software architecture is the foundation for the development of software systems. Its correctness is important to the quality of the software systems that have been developed based on it.  ...  Model-based software testing is an approach to bridge the gap between testing of a software model and its implementation, where models are used for guiding the test generation.  ... 
doi:10.18293/seke2015-232 dblp:conf/seke/DingZ15 fatcat:rmeyypbyfzhv3oktrmbpxwory4

Edge Coverage Analysis for Software Architecture Testing

Lijun Lun, Xin Chi, Xuemei Ding
2012 Journal of Software  
Software architecture is perceived as one of the most important artifacts created during a system's design, to control software complexity, improve system quality, support software development and reuse  ...  To compute test coverage, the paper presents a new concept -coverage about edge based on C2-style architecture.  ...  ACKNOWLEDGMENT Currently, she is an associate professor, and teaches and conducts research in the areas of software engineering, neural network, and one-class classification, etc.  ... 
doi:10.4304/jsw.7.5.1121-1128 fatcat:yjt54pphxrdsjplerbhvqolhia

A model-based testing technique for component-based real-time embedded systems

Jing Guan, Jeff Offutt
2015 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)  
By using a graph-based test model, this paper presents a noval family of test adequacy criteria that help generate effective test cases and new algorithms to facilitate automate generation of the test  ...  Therefore, they should be considered while testing embedded software behavior. This paper addresses problems that emerge during the integration of component-based real-time embedded software.  ...  [24] analyzed test elements that are critical to testing component-based software and proposed a group of UML-based test elements and test adequacy criteria to test component-based software.  ... 
doi:10.1109/icstw.2015.7107407 dblp:conf/icst/GuanO15 fatcat:4flkz2y7arhthievysgc35anky

Using software architecture for code testing

H. Muccini, A. Bertolino, P. Inverardi
2004 IEEE Transactions on Software Engineering  
Next, a relation between these abstract SA tests and more concrete, executable tests needs to be established, so that the architectural tests derived can be refined into code-level tests.  ...  Our research deals with the use of Software Architecture (SA) as a reference model for testing the conformance of an implemented system with respect to its architectural specification.  ...  In [47] , the authors define six architectural-based testing criteria, adapting specification-based approaches; in [7] , the authors analyze the advantages in using SAlevel testing for reuse of tests  ... 
doi:10.1109/tse.2004.1271170 fatcat:dbxwo73amrbwti4gijqleg6enq

An Architecture-Based Verification Technique for AADL Specifications [chapter]

Andreas Johnsen, Paul Pettersson, Kristina Lundqvist
2011 Lecture Notes in Computer Science  
The objective and criteria (test-selection) of the verification technique is derived from traditional integration testing.  ...  In this paper, we propose an architecture-based verification technique covering the entire development process by adapting a combination of model-checking and model-based testing approaches to AADL specifications  ...  It is a textual and graphical language used to model, specify and analyze software-and hardware-architectures of real-time embedded systems.  ... 
doi:10.1007/978-3-642-23798-0_11 fatcat:p2psfqlx5jfknoxrlq455sipny

An Architecture-Centric Approach for Producing Quality Systems [chapter]

Antonia Bertolino, Antonio Bucchiarone, Stefania Gnesi, Henry Muccini
2005 Lecture Notes in Computer Science  
Software architecture has been advocated as an effective means to produce quality systems.  ...  Hence we propose an architecture-centric approach which, by combining different technologies and tools for analysis and testing, supports a seamless tool-supported approach to validate required properties  ...  Our Proposal Outline Previous SA-based processes have provided guidelines on how to move from one stage to another and on how to analyze a software architecture.  ... 
doi:10.1007/11558569_4 fatcat:gk3rqbrrqbe7rhncujdb4jorwe

An Automated Sequence Model Testing (ASMT) for Reducing Test Suit Size

Priya Purohit
2013 International Journal of Computer Applications  
in literature with great emphasis on dependency relation.  ...  Once all the information is being gathered we evaluate the result through injecting some fault in software & analyze our ASMT architecture for these fault detection Once the information is extracted we  ... 
doi:10.5120/13480-1174 fatcat:rmkn3jtuh5esdg7ygzprgpg7wm

Formal Methods in Testing Software Architectures [chapter]

Antonia Bertolino, Paola Inverardi, Henry Muccini
2003 Lecture Notes in Computer Science  
To identify the test sequences, we derive abstract views of the LTS, called the ALTSs, to focus on relevant classes of architectural behaviors and hide away uninteresting interactions.  ...  We also briefly discuss the relation of our approach with some recent research in exploiting the standard UML notation as an Architectural Description Language, and in conformance testing of reactive systems  ...  We are indebted to Antonio Bucchiarone, who provided the CW case study, and to Thierry Jeron for his constructive help in applying the TGV tool on the CW.  ... 
doi:10.1007/978-3-540-39800-4_7 fatcat:42xcmo6azrdmdkzmimofb6nwim

Automated Software Test Data Generation: Direction of Research

Hitesh Tahbildar, Bichitra Kalita
2011 International Journal of Computer Science & Engineering Survey  
In this paper we are giving an overview of automatic test data generation. The basic objective of this paper is to acquire the basic concepts related to automated test data generation research.  ...  The future challenges and problems of test data generation are explained.  ...  Depending on test information requirements, test data generation methods, different program analyzers are used. The mapping between program analyzers and test data generators can help in this regard.  ... 
doi:10.5121/ijcses.2011.2108 fatcat:q2yko5bryfh67nhwpnyilcov6a

A New Approach to Derive Test Cases from Sequence Diagram

Muthusamy MD, Badurudeen GB
2014 Journal of Information Technology & Software Engineering  
We then traverse the sequence diagram graph and generate test cases based on path coverage, functional coverage criteria. An algorithm is proposed for generating test cases.  ...  The traceability between the models is provided by using Relational Definition Language. [17] between the models, which ever constructing from the UML can be done easily.  ... 
doi:10.4172/2165-7866.1000128 fatcat:nxddf6ndunekvnjm7w4ud4hqru
« Previous Showing results 1 — 15 out of 77,336 results