This paper shows Extended Place/transition Net with Attributed Tokens Operational Profile (EPNATOP) for verifying software designs from the viewpoint of the quality of use. It consists of a weighted EPNAT model and actor state machines. Its structure and interpretation are discussed with an example.

This paper shows a technique to construct VDM++ specifications from ESTDs (Extended Screen Transition Diagrams) for validation of Web applications that are based on MVC model and microservices architectures. The notation of ESTDs is further extended so as to support microservices architectures, and then a basic structure of VDM++ specifications is discussed by using a simplified example. The behavior of microservices is described in VDM++, which will be useful to find services in which errors occur and their root causes.

This paper shows a STT (State Transition Tuple) coverage criterion for extended place/transition net-based testing. A STT as a measuring object consists of state transitions whose execution may trigger a target failure. The test efficiency is evaluated based on the ratio of STTs executed by test cases.

This paper shows an EDCFG (extended differential control flow graph) to improve the accuracy of UCNs (update complexity numbers) that are utilized for the selection of existing test cases in regression testing.

This paper shows a PDCG (partially developed coverability graph) in order to summarize and visualize test case execution histories in place/transition net-based software testing. The PDCG is generated from a traditional coverability graph and test case execution histories.

This paper shows an extended mutation score to evaluate a test suite for concurrent software in model-driven development. It is calculated based on a weighted PN (place/transition net) that consists of two elements. One is a PN that is constructed based on specifications of SUT (software under test), and another is the weights that are calculated based on software metrics.

This paper shows ICT operational models to view the actual usage of teachers' desk systems (TDS). The TDS which consist of several ICT devices have been developed and installed to give effective lectures in classrooms of our university. In this study, authors construct ICT operational models from the execution logs of the TDS, and then discuss the adequacy of their specifications and application which is implied by the models.

This paper shows a new technique to select effective test cases for regression testing of software. In the technique, an UCN (update complexity number) of each module of software under test is calculated based on a differential control flow graph, and then test cases that execute modules with larger UCNs are selected automatically.

This paper proposes new operational profiles which include users' total operate time, average operate time and frequency in addition to users' operate probability for complex combinations of functions. Also, this paper describes the method to create test suite based on operational profiles for combination test of status by using example system. The method which this paper discribes can create test suite based on strategy which engineer in charge of test make.

In order to effectively apply operational profile-based testing to GUI software, this paper shows the overview of graphical operational profiles that are basically generated from execution history of the software and include input conditions and expected results based on GUI screen images of the software.

This paper shows a framework for a PNBMT (place/transition net-based mutation testing technique) that consists of three tools, that is, a mutant PN generator, a negative test case generator, and a mutation analyzer.

In this paper, we propose a DTOP (Decision Table-based Operational Profile) that is a novel operational profile constructed by giving probability distributions to a decision table, and then discuss test strategies using the DTOP in order to effectively apply OPBT (Operational Profile-Based Testing) to software that includes complex logical relationship among inputs and outputs.

This paper shows a model-based testing technique using a PN (place/transition net) that is a kind of Petri net in order to improve the reliability of concurrent software. In this technique, a PN representing the expected behavior of software under test is used for generating a special tree called an ECT (extended coverability tree), which gives test cases that satisfy a criterion called ECT-N transition coverage. This technique focuses on the number of resources that behave concurrently in order to concentrate test engineers' effort on an important aspect of concurrent behavior by using a realistic number of test cases. This paper includes basic notions, a test case generation algorithm, and an example for considering the effectiveness of this technique.

A go-back (GB) function for canceling recent user or system operations and going back to and resuming of previous state(s) is very often used regardless of the application domain. Therefore, faulty handling of them can cause severe damages in those applications. This paper proposes a mutation-based approach to testing GB functions modeled by pushdown automata. Novel mutation operators, recent coverage criteria, and a new algorithm for test case generation are introduced. A case study validates the approach and discusses its characteristics.

Software test using HAYST method is a combination test method related to usage condition of software based on orthogonal array. Though the basic technique is already released, it is difficult to apply in manual procedure for large scale testing. Therefore, we developed HAYST method tool. In this study, design policy, features, algorithm of HAYST method tool is described, and in the end comparative evaluation with Pairwise (PICT) is described.

A GB (go back) function of software for canceling recent user operations and going back to previous states is indispensable to realize usability, and is implemented in much software regardless of its application domain. This paper shows GB coverage criteria that measure the progress of GB function testing based on a PDA (pushdown automaton). They are the extensions of existing coverage criteria based on a state machine, such as a state and N-switch.

Statistical testing is a method for evaluating software reliability. Test cases are generated according to a usage model that represents the behavior of users. Accuracy of a usage model is an important factor since effectiveness of statistical testing (i.e., accuracy of software reliability) depends on it. This paper shows the usage model construction method using high-order Markov chains in order to construct accurate usage models. It is illustrated that the usage models constructed by this method are more accurate than traditional ones based on a simple or time-homogeneous Markov chain and can be constructed automatically. Some problems for more effective statistical testing are then found.

In statistical testing, testcases are generated using a usage model which defines usage of software as probability distribution on a state machine diagram. The aim of this study is to automatically construct a usage distribution from operational data, which assists construction of a reasonable usage model at low cost. This paper shows that applying source code generation methods based on a state machine diagram makes it possible. The prototype system has been developed to support the presented method.